ソフトウェア論理め設計／検証における決定表の応用

摘要

組込システムを含めた情報システムの信頼性，安全性を担保する上で，ソフトウェアが持つ複雑な論理を正確に表現する技法として決定表（decision table）がある．決定表は，古くからその応用局面において様々な工夫が行われながら広く使われていたが，近年，職場での伝承が途絶え衰退嘩向にある．ここでは，決定表の応用について，コードの自動生成を含む強い制約を持つ設計環階，網羅性を高めるテストケース設計に用いるテスト段階，さらに，テストケースの実行を不要とする新たなテスト技法である決定表による検証（decision table verincation）について説明する．