ISO / IEC / IEEE 29148-2011 / 2018を使用した要件の策定
ISO/IEC/IEEE 29148標準を使用していくつかの要件を定式化しようとしています。基準によれば、以下が正しいことを知っています。
システム[件名]は[停止]ボタンが押されたときにのみ[アクション]を停止します[条件]。
私は同じことをしようとしていますが、次のように2つの条件があります。
システムは、どちらか停止ボタンが押されたとき、またはx-thingに達したときにのみ停止します。
私はこれが正しいとは思わないが、たぶんそれは正しいのか？標準で私の質問に対する簡単な答えを見つけることができませんでしたが、おそらくここの誰かが正式な要件を書いた経験がありますか？
優れた要件の特徴の1つは、それがアトミックであることです。つまり、要件は1つだけの動作を定義します。唯一の方法ではありませんが、論理積（「and」、「or」、「nor」など）を伴う要件は、アトミックではない傾向があるため、書き直す必要があります。
ボタンが押されたときに停止するという条件と、条件に達したときに停止するという2つの条件は、2つの個別の要件として指定する必要があります。それぞれが要件に追跡可能であり（単一の上位レベルの要件または両方をカプセル化するユーザーのニーズがある可能性があります）、検証可能またはテスト可能で、他の要件と整合性がある、などです。
余談ですが、「のみ」のように言い換えると、テスト容易性に問題がある可能性があります。発生する可能性のあるさまざまな状況や状況を踏まえて、特定の状況でのみ何かが発生することをどのように証明しますか？常に 適切な要件の特性 を考慮してください。