形式手法を用いたシステム設計検証技術

スポンサーリンク

概要

論文の詳細を見る
ソフトウェア・システムの大規模化・高機能化に伴い,従来の人手によるレビューやテストの実践だけでは,設計で混入した不具合を完全に除去することが難しくなっている.そのため,近年,形式手法の一つであるモデル検査による検証技術が注目を集めている.しかし,モデル検査技術を広く展開するには,現場の開発者にとってモデル検査ツールに与える仕様モデルの定義や出力される結果の解析が困難という課題がある.これに対して我々は,特定の分野に特化した記法を用いて仕様モデルを定義することで,仕様モデル定義の負荷の軽減を狙うこと,モデル検査器が出力した検証結果をモデル変換することで,開発者にとって解析しやすいモデルの出力を実施するモデル検査器フロントエンドを適用することを検討している.本稿では,このアプローチによるシステム設計検証技術について報告する
2010-03-11

著者

関連論文

もっと見る

スポンサーリンク