通信ソフトウェア仕様の意味的検証法
スポンサーリンク
概要
- 論文の詳細を見る
通信サービスプログラムなどのシステム制御ソフトウェアの生産性向上を図るため、さまざまな形式的仕様記述言語が提案され、それらの言語で記述されたプログラム仕様を自動的に検証する方法が研究.開発されている。本稿では、状態遷移ベースの仕様記述言語で記述された通信サービスプログラムの仕様を意味的に検証する一方法を述べる。
- 一般社団法人情報処理学会の論文
- 1989-10-16
通信サービスプログラムなどのシステム制御ソフトウェアの生産性向上を図るため、さまざまな形式的仕様記述言語が提案され、それらの言語で記述されたプログラム仕様を自動的に検証する方法が研究.開発されている。本稿では、状態遷移ベースの仕様記述言語で記述された通信サービスプログラムの仕様を意味的に検証する一方法を述べる。