要求仕様の漏れ・抜け検証の手法について

(1)

(2)

自己紹介

■株式会社NTTデータMSE

ソリューションサービス事業部

統括本部長兼事業部長

■キャッツ株式会社

取締役

■ISO15508／AutomotiveSPICE アセッサー

NTTデータMSE

(3)

ＩＮＤＥＸ

１．仕様の漏れ・抜け対策としてのＳＴＭ

２．ＳＴＭを用いた仕様の漏れ・抜け検証

３．入力となる要求仕様の漏れ・抜け検証

４．検証事例

(4)

(5)

1.1 仕様の漏れ・抜け対策

■複雑な仕様をＡＴＶで検証

(6)

1.2 現場では

ＳＴＭまで展開できれば非常に効果的であるが、

状態とイベントの抽出は属人的になっている。

ＳＴＭへの展開スキルをもった

人材の育成が難しい。

仕様書を機械的にＳＴＭへ展開しても、

仕様書に漏れがあったら見つけられない。

(7)

1.3 状態遷移表で検出できる項目

■ 条件の記載がない箇所

■ 処理、遷移先の記載がない箇所

状態遷移表“そのもので検出できる”項目

状態遷移表“作成過程で検出される”項目

■ 状態／契機／条件等の記載がない箇所

■ 抽象度が高く細分化が必要な箇所

(8)

(9)

2.1 仕様のモレ・ヌケに関する例題

タイマー機能付き電気ポットの要求仕様書抜粋）タイマー機能例

要求番号

要求事項

１ タイマボタンを押すことで、時間を分で設定し、タイマを起動できる。

1-1

タイマが起動している／していないにかかわらず、タイマボタンを押す度にタイ

ムアップまでの残り時間に1分加算し、タイマ値に設定する。

1-2

設定したタイマ値を分単位でタイマ残り時間表示窓に表示する。

1-3

タイマが起動していない場合は、タイマ値を設定し終え、タイマボタンから手を

離して1秒経過したらタイマが始動する。

1-4

蓋が閉じているときのみ、タイマボタンを有効にする。

２ タイマボタンを長く押すことで、タイマをリセットし、タイマを停止できる。

2-1

タイマが起動している場合、タイマボタンを長押ししたら、ブザーを1回鳴らした

後、タイマ値はリセットされ、タイマが停止する。

３ ユーザが指定した時間がきたら、ブザーを鳴らして知らせる。

3-1

タイマアップしたら、ブザーを3回鳴らす。

(10)

2.2 ＳＴＭへ展開

「長押しした場合」の時は？

(11)

2.3 ＳＴＭから仕様書へフィードバック

要求番号

要求事項

１ タイマボタンを押すことで、時間を分で設定し、タイマを起動できる。

1-1

タイマが起動している／していないにかかわらず、タイマボタンを押す度にタイム

アップまでの残り時間に1分加算し、タイマ値に設定する。

1-2

設定したタイマ値を分単位でタイマ残り時間表示窓に表示する。

1-3

タイマが起動していない場合は、タイマ値を設定し終え、タイマボタンから手を離

して1秒経過したらタイマを始動する。

1-4

蓋が開いている場合、タイマボタンを操作無効にする。

２ タイマボタンを長く押すことで、タイマをリセットし、タイマを停止できる。

2-1

タイマが起動している場合、タイマボタンを長押ししたら、ブザーを1回鳴らした

後、タイマ値はリセットされ、タイマが停止する。

タイマが起動していない場合は、ブザーを1回鳴らした後、タイマ値をリセットする。

３ ユーザが指定した時間がきたら、ブザーを鳴らして知らせる。

3-1

タイマアップしたら、ブザーを3回鳴らし、

タイマを停止した状態にする。

(12)

2.4 状態遷移表で検出できる項目

■ 条件の記載がない箇所

■ 処理、遷移先の記載がない箇所

状態遷移表“そのもので検出できる”項目

状態遷移表“作成過程で検出される”項目

■ 状態／契機／条件等の記載がない箇所

■ 抽象度が高く細分化が必要な箇所

(13)

(14)

3.1 要求仕様の検証手法

文書を係り受けや属性によって論理的に分解、分析すること

により、漏れ・抜け/曖昧表現の箇所を抽出。

1

網羅性検証

要求仕様に記載されている動作や、動作

が発動する為の条件、その後の状態等、

様々なパターンを洗い出し、網羅性を検

証する。

2

_{具体性検証}

仕様に記載されている動作のバリエーショ

ンや初期状態が不明確な箇所等、抽象

表現の高い箇所を特定し、検証する。

(15)

3.2 要求仕様整理表への展開

文書

番号

文書原文

イベンター

イベント

Before

コンディ

ショナー

コンディ

ション

アクター

アクション

After

ムーバー

ステー

タス

ムーバー

ステー

タス

2-1

タイマが起動

している場合、

・・・タイマが

停止する。

タイマ

ボタン

長押しタイマ起動中

(１)

ブザー

(２)

タイマ値

(１)

1回鳴らす

(２)

リセット

タイマ停止中

タイマが起動している場合、タイマボタンを長押ししたら、

ブザーを1回鳴らした後、タイマ値はリセットされ、タイマが

停止する。

契機

遷移元状態

条件

処理

遷移先状態

対象要素対象要素対象要素

対象

要素

対象要素

(16)

3.3 要求仕様の展開結果

文書

番号

文書原文

イベンター

イベント

Before

コンディ

ショナー

コンディ

ション

アクター

アクション

After

ムーバー

ステー

タス

ムーバー

ステー

タス

1-1

タイマが起動している

／していないに・・・・1

分加算し、タイマ値に

設定する。

タイマ

ボタン

押す

タイマ

停止中

？

タイマ値

残り時間に1分

加算し、設定

タイマ

？

起動中

？

タイマ値

残り時間に1分

加算し、設定

タイマ

？

1-2

設定したタイマ値を分

単位で・・・表示窓に

表示する。

タイマ

ボタン

押す

タイマ

停止中

？

タイマ値

分単位でタイ

マ残り時間表

示窓に表示

遷移なし

ー

起動中

？

タイマ値

分単位でタイ

マ残り時間表

示窓に表示

遷移なし

ー

1-3

タイマが起動していな

い場合は、・・・手を離

して1秒経過したらタ

イマを始動する。

タイマ

手を離してか

ら1秒経過

タイマ

停止中

？

タイマ

始動

タイマ

起動中

？

処理なし

ー

遷移なし

ー

1-4

蓋が開いている場合

は、タイマボタンを無

効にする。

タイマ

ボタン

押す

タイマ

停止中

蓋

オープン

タイマボタン

無効

遷移なし

ー

クローズ

処理なし

ー

遷移なし

ー

起動中

蓋

オープン

タイマボタン

無効

遷移なし

ー

クローズ

処理なし

ー

遷移なし

ー

2-1

タイマが起動している

場合、・・・リセットされ、

タイマが停止する。

タイマが起動していな

い場合は、・・・タイマ

値をリセットする。

タイマ

ボタン

長押し

タイマ

起動中

？

(１)ブザー

(２)タイマ値

(３)タイマ

(１)1回鳴らす

(２)リセット

(３)停止

タイマ

停止中

？

(１)ブザー

_{(２)タイマ値}

(１)1回鳴らす

(２)リセット

遷移なし

ー

3-1

タイマアップしたら、ブ

ザーを3回鳴らし、タイ

マを停止した状態に

タイマ

タイムアップ

タイマ

停止中

？

処理なし

ー

遷移なし

ー

(17)

3.4 検出した状態を展開(１/２)

文書

番号

文書原文

イベンター

イベント

Before

コンディ

ショナー

コンディ

ション

アク

ター

アクション

After

ムーバー

ステータス

ムー

バー

ステー

タス

1-1

タイマが起動し

ている／してい

ないに・・・・1分

加算し、タイマ

値に設定する。

タイマ

ボタン

押す

タイマ

停止中

？

タイマ

値

残り時間に

1分加算し、

設定

タイマ設定中

起動中

？

タイマ

値

残り時間に

1分加算し、

設定

遷移なし

ー

1-2

設定したタイマ

値を分単位

で・・・表示窓に

表示する。

タイマ

ボタン

押す

タイマ

停止中

？

タイマ

値

分単位でタイ

マ残り時間表

示窓に表示

遷移なしー

設定中？

？

起動中

？

タイマ

値

分単位でタイ

マ残り時間表

示窓に表示

遷移なしー

1-3

タイマが起動し

ていない場合

は、・・・手を離し

て1秒経過した

らタイマを始動

する。

タイマ

手を離し

てから1

秒経過

タイマ

停止中

？

タイマ始動

タイマ

起動中

設定中？

？

起動中

？

処理な

ー

遷移なしー

各要求事項に

遷移元/先で状態が

(18)

3.4 検出した状態を展開(２/２)

1-3

タイマが起動し

ていない場合

は、・・・手を離

して1秒経過し

たらタイマを始

動する。

タイマ

手を離し

てから1秒

経過

タイマ

停止中

？

タイマ始動

タイマ

起動中

設定中

？

起動中

？

処理な

し

ー

遷移なしー

1-3

タイマが起動し

ていない場合

は、・・・手を離し

て1秒経過した

らタイマを始動

する。

タイマ

手を離し

てから1

秒経過

タイマ

停止中

？

処理

なし

ー

遷移

なし

ー

設定中？

？

タイマ始動

タイマ起動中

起動中

？

処理なしー

遷移なしー

停止中

起動中

設定中

追加した状態

遷移先は変わらない為、

遷移元が「設定中」時

に処理の移管が必要

(19)

3.5 検出した条件を展開(１/２)

文書

番号

文書原文

イベンター

イベント

Before

_コンディ

ショナー

コンディ

ション

アクター

アクション

After

ムーバー

ステータス

ムーバー

ステータス

1-4

蓋が開いている場

合は、タイマボタン

は無効とする。

タイマ

ボタン

押す

タイマ

停止中

蓋

オープン

タイマボタン

無効

遷移なし

ー

クローズ

処理なし

ー

遷移なし

ー

設定中

蓋

オープン

タイマボタン

無効

遷移なし

ー

クローズ

処理なし

ー

遷移なし

ー

起動中

蓋

オープン

タイマボタン

無効

遷移なし

ー

クローズ

処理なし

ー

遷移なし

ー

1-1

タイマが起動してい

る／していない

に・・・・1分加算し、

タイマ値に設定する。

タイマ

ボタン

押す

タイマ

停止中

？

タイマ

値

残り時間に1分

加算し、設定

タイマ

設定中

？

タイマ

値

残り時間に1分

加算し、設定

タイマ

設定中

起動中

？

タイマ

値

残り時間に1分

加算し、設定

タイマ

設定中

タイマが起動してい

手を離

停止中

？

タイマ

始動

タイマ

起動中

条件の記載のない

要求事項に対して

契機を元に確認

(20)

3.5 検出した条件を展開(２/２)

文書

番号

文書原文

イベンター

イベント

Before

_コンディ

ショナー

コンディ

ション

アクター

アクション

After

ムーバー

ステータ

ス

ムーバー

ステータス

1-1

タイマが起動し

ている／してい

ないに・・・・1分

加算し、タイマ

値に設定する。

タイマ

ボタン

押す

タイマ

停止中

蓋

オープン

タイマ

ボタン

無効

遷移

なし

ー

クローズ

タイマ値

残り時間に

1分加算し、

設定

タイマ

設定中

蓋

オープン

タイマ

ボタン

無効

遷移

なし

ー

クローズ

タイマ値

残り時間に

1分加算し、

設定

遷移なしー

起動中

蓋

オープン

タイマ

ボタン

無効

遷移

なし

ー

クローズ

タイマ値

残り時間に

1分加算し、

設定

遷移なしー

1-3

タイマが起動し

ていない場合

は、・・・手を離し

て1秒経過した

らタイマを始動

する。

タイマ

手を離し

てから1

秒経過

タイマ

停止中

条件なしー

処理なし

ー

遷移なしー

設定中

条件なしー

タイマ

始動

タイマ

起動中

条件なしー

処理なし

ー

遷移なしー

すべての状態に対して、

それぞれに条件を追加

(21)

3.6 状態、条件の展開結果

文書番号文書原文イベンターイベント Before _コンディショナーコンディションアクターアクション After ムーバーステータスムーバーステータス 1-1 タイマが起動している／していないに・・・・1分加算し、タイマ値に設定する。タイマボタン押すタイマ停止中蓋オープンタイマボタン無効遷移なしークローズタイマ値残り時間に1分加算し、設定タイマ設定中設定中蓋オープンタイマボタン無効遷移なしークローズタイマ値残り時間に1分加算し、設定遷移なしー起動中蓋オープンタイマボタン無効遷移なしークローズタイマ値残り時間に1分加算し、設定遷移なしー 1-2 設定したタイマ値を分単位_{で・・・表示窓に表示する。} タイマ _ボタン押すタイマ停止中蓋オープンタイマボタン無効遷移なしークローズタイマ値分単位でタイマ残り時間表示窓に表示遷移なしー設定中蓋オープンタイマボタン無効遷移なしークローズタイマ値分単位でタイマ残り時間表示窓に表示遷移なしー起動中蓋オープンタイマボタン無効遷移なしークローズタイマ値分単位でタイマ残り時間表示窓に表示遷移なしー 1-3 タイマが起動していない場合は、・・・手を離して1秒経過したらタイマを始動する。タイマ手を離してから1秒経過タイマ停止中条件なしー処理なしー遷移なしー設定中条件なしータイマ始動タイマ起動中起動中条件なしー処理なしー遷移なしー 1-4 蓋が開いている場合は、タイマボタンを無効にする。タイマボタン押すタイマ停止中蓋オープンタイマボタン無効遷移なしークローズ処理なしー遷移なしー設定中蓋オープンタイマボタン無効遷移なしークローズ処理なしー遷移なしー起動中蓋オープンタイマボタン無効遷移なしークローズ処理なしー遷移なしー 2-1 タイマが起動している場合、・・・タイマが停止する。タイマが起動していない場合は、・・・タイマ値をリセットする。タイマボタン長押しタイマ起動中蓋オープンタイマボタン無効遷移なしークローズ (１)ブザー (２)タイマ値 (３)タイマ (１)1回鳴らす (２)リセット (３)停止タイマ停止中設定中蓋オープンタイマボタン無効遷移なしークローズ (１)ブザー (２)タイマ値 (１)1回鳴らす (２)リセット遷移なしー停止中蓋オープンタイマボタン無効遷移なしー

要求仕様の漏れ・抜け検証の手法について

自己紹介

■株式会社NTTデータMSE

ソリューションサービス事業部

統括本部長 兼 事業部長

■キャッツ株式会社

取締役

■ISO15508／AutomotiveSPICE アセッサー

NTTデータMSE

ＩＮＤＥＸ

１．仕様の漏れ・抜け対策としてのＳＴＭ

２．ＳＴＭを用いた仕様の漏れ・抜け検証

３．入力となる要求仕様の漏れ・抜け検証

４．検証事例

1.1 仕様の漏れ・抜け対策

■複雑な仕様をＡＴＶで検証

1.2 現場では

ＳＴＭまで展開できれば非常に効果的であるが、

状態とイベントの抽出は属人的になっている。

ＳＴＭへの展開スキルをもった

人材の育成が難しい。

仕様書を機械的にＳＴＭへ展開しても、

仕様書に漏れがあったら見つけられない。

1.3 状態遷移表で検出できる項目

■ 条件の記載がない箇所

■ 処理、遷移先の記載がない箇所

状態遷移表“そのもので検出できる”項目

状態遷移表“作成過程で検出される”項目

■ 状態／契機／条件等の記載がない箇所

■ 抽象度が高く細分化が必要な箇所

2.1 仕様のモレ・ヌケに関する例題

タイマー機能付き電気ポットの要求仕様書 抜粋）タイマー機能例

要求番号

要求事項

１

タイマボタンを押すことで、時間を分で設定し、タイマを起動できる。

1-1

タイマが起動している／していないにかかわらず、タイマボタンを押す度にタイ

ムアップまでの残り時間に1分加算し、タイマ値に設定する。

1-2

設定したタイマ値を分単位でタイマ残り時間表示窓に表示する。

1-3

タイマが起動していない場合は、タイマ値を設定し終え、タイマボタンから手を

離して1秒経過したらタイマが始動する。

1-4

蓋が閉じているときのみ、タイマボタンを有効にする。

２

タイマボタンを長く押すことで、タイマをリセットし、タイマを停止できる。

2-1

タイマが起動している場合、タイマボタンを長押ししたら、ブザーを1回鳴らした

後、タイマ値はリセットされ、タイマが停止する。

３

ユーザが指定した時間がきたら、ブザーを鳴らして知らせる。

3-1

タイマアップしたら、ブザーを3回鳴らす。

2.2 ＳＴＭへ展開

「長押しした場合」の時は？

2.3 ＳＴＭから仕様書へフィードバック

要求番号

要求事項

１

タイマボタンを押すことで、時間を分で設定し、タイマを起動できる。

1-1

タイマが起動している／していないにかかわらず、タイマボタンを押す度にタイム

アップまでの残り時間に1分加算し、タイマ値に設定する。

1-2

設定したタイマ値を分単位でタイマ残り時間表示窓に表示する。

1-3

タイマが起動していない場合は、タイマ値を設定し終え、タイマボタンから手を離

して1秒経過したらタイマを始動する。

1-4

蓋が開いている場合、タイマボタンを操作無効にする。

２

タイマボタンを長く押すことで、タイマをリセットし、タイマを停止できる。

2-1

タイマが起動している場合、タイマボタンを長押ししたら、ブザーを1回鳴らした

後、タイマ値はリセットされ、タイマが停止する。

タイマが起動していない場合は、ブザーを1回鳴らした後、タイマ値をリセットする。

３

ユーザが指定した時間がきたら、ブザーを鳴らして知らせる。

統括本部長兼事業部長

タイマー機能付き電気ポットの要求仕様書抜粋）タイマー機能例

_{具体性検証}

長押しタイマ起動中

タイマ停止中

対象要素対象要素対象要素