ソフトウェア論理の設計/検証における決定表の応用(<特集>情報システムの信頼性・安全性)

DOI Web Site 参考文献17件

書誌事項

タイトル別名
  • Application of Decision Table to Software Logic with Designing and Testing(<Special Survey>Reliability and Safety of Information System)
  • ソフトウェア論理の設計/検証における決定表の応用
  • ソフトウェア ロンリ ノ セッケイ/ケンショウ ニ オケル ケッテイヒョウ ノ オウヨウ

この論文をさがす

抄録

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

収録刊行物

参考文献 (17)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ