組み込みソフトへの数理的アプローチ

形式手法によるソフトウェアの仕様記述と検証

Computer technology

藤倉俊幸

2012年4月30日

CQ出版

3,520円(税込)

パソコン・システム開発

組み込みソフトウェアは年々巨大化し、従来の開発手法では品質が保証できなくなってきています。バグの発生は、ただちにシステムの障害に直結し、社会や人命に重大な損害を与えます。そこで登場した考え方として「形式手法(Formal Method)」があります。数学を基礎とし、プログラムの正しさを証明していこうという考えです。仕様を厳密に定義するための形式仕様記述、モデルの論理的な検証手法である形式検証について、LTSA、Alloy、CBMC、VDMなどの容易に入手できるツールを使いつつ学んでいきます。

本棚に登録&レビュー

みんなの評価(0

--

読みたい

0

未読

0

読書中

0

既読

0

未指定

5

書店員レビュー(0)
書店員レビュー一覧

みんなのレビュー

レビューはありません

Google Play で手に入れよう
Google Play で手に入れよう
キーワードは1文字以上で検索してください