2019-05-27 【gacco講義】 NuSMVによるモデル検査入門 アーキテクチャ・品質エンジニアリング 3week 今週の”アーキテクチャ・品質エンジニアリング”の講義ではモデル検査を扱っていきます。 ソフトを発注する側の視点でいうと、納入された製品に対して想定外の不具合(バグ)が 実際、使っている必ずあります。今までの経験上、バグが0の案件ってなかったな。バグ発見率と収束について冒頭に触れられており、制作側でも課題なのだと分かります。 モデル検査では仕様と要求仕様とを付け合わせてモデル検査をしていきます。今回は商用で利用可能なNuSMVの解説がなされてます。今度、開発打ち合わせの際に 聞いてみよう。nusmv.fbk.eu