組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証

Author(s)

• 藤倉, 俊幸 フジクラ, トシユキ

Bibliographic Information

組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証

藤倉俊幸著

（Computer technology）

CQ出版, 2012.4

Title Transcription

クミコミ ソフト エノ スウリテキ アプローチ : ケイシキ シュホウ ニヨル ソフトウェア ノ シヨウ キジュツ ト ケンショウ

Note

参考文献: p240-243

Description and Table of Contents

Description

組み込みソフトウェアは年々巨大化し、従来の開発手法では品質が保証できなくなってきています。バグの発生は、ただちにシステムの障害に直結し、社会や人命に重大な損害を与えます。そこで登場した考え方として「形式手法（Ｆｏｒｍａｌ　Ｍｅｔｈｏｄ）」があります。数学を基礎とし、プログラムの正しさを証明していこうという考えです。仕様を厳密に定義するための形式仕様記述、モデルの論理的な検証手法である形式検証について、ＬＴＳＡ、Ａｌｌｏｙ、ＣＢＭＣ、ＶＤＭなどの容易に入手できるツールを使いつつ学んでいきます。

Table of Contents

• 第１部　プログラムの基本、論理編（ソフトウェアの正しさをどう証明するか；仕様の形式化のはじめの一歩；推論の正しさの検証；前提が正しいとするとどんな結論を得られるのか—充足問題；真理表から場合分け表へ　ほか）
• 第２部　組み込みの基本、ふるまい編（時間仕様の扱い；数理的アプローチによる開発；論理式のテスト；論理式の実験場を作る、全数チェックへの道；様相論理で変化を扱う　ほか）

by "BOOK database"

Details

• NCID: BB08773204
• ISBN:
  • 9784789838085
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 247p
• Size: 24cm
• Classification:
  • NDC8 : 007.63
  • NDC9 : 007.61
  • NDC9 : 007.63
  • NDLC : M159
• Subject Headings:
  • BSH : 組み込みシステム
  • BSH : ソフトウェア
• Parent Bibliography ID:
  • BA61863092