用語 | ||
英文 | ||
説明と定義 | ||
画像とダウンロード | ||
関連規格、指針、文献等 | 条項番号等 | 最終更新日 |
形式的手法 |
||
Formal method |
||
1) 安全性を論理式を用いて証明する一手法。公式手法とも言う。
論理学、集合論、代数学などの数学を基礎としたシステムの仕様記述手法、検証手法などの総称。要求、 仕様、 設計などを自然言語ではなく、 形式的言語で記述することにより、あいまいさを排除し、上流工程での検証を可能とする。半形式手法では、全ての記述を形式化しないので、形式的手法よりも導入しやすく、仕様や設計は他の(半)形式的手法に置き換えることもできる。IEC 61508において規定されている手法で、論理式、データフロー図、デシジョンテーブル、真理値表などが含まれる。
2) ソフトウェアの信頼性を向上させるための一つの手法。システムやプログラムを数学あるいは論理学に基づいた形式的仕様記述言語で記述し、その仕様に対しコンピュータを活用した検証をすることで、システムの信頼性を向上させる手法の総称である。 |
||
IEC61508-7 | B.2.2 C.2.4 |
2024.01.21 |