モデル検査の反例を用いたC言語プログラムの不具合修正方法の提案と実装
スポンサーリンク
概要
- 論文の詳細を見る
プログラムの不具合の検出は主にテストが用いられてきたが,テストだけではすべての不具合を見つけることが難しい.そこで最近モデル検査による検証が用いられるようになり,Magic や CMBC など C 言語を対象としたモデル検査ツールが登場した.モデル検査では,不具合を検知すればその反例を得ることができ,それを確認することで不具合の原因を特定できる.しかし,反例から具体的な修正案を出すツールは存在していない.そこでC言語プログラムを対象とし,反例から具体的な修正案を出力するツールを開発した.
- 2013-03-04
著者
関連論文
- メタデザインに基づいたWebアプリケーション開発プラットフォームの提案(Webアプリケーション(学生セッション))
- 4L-3 モデル検査の振舞駆動開発への応用(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 形式的検証用モデル自動生成機能を持つ上流工程支援システムの開発(形式手法(2)(学生セッション))
- 1P-7 UI駆動を用いたWebアプリケーション向けプロトタイピング支援システム(ソフトウェアプロセス・開発管理,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- B-017 データモデルとUIの相互変換を用いたウェブサービス開発環境「SoS」(ソフトウェア,一般論文)
- 3Q-9 分散開発環境におけるソフトウェア開発支援システム : 開発経過データの分析と提供(開発支援環境,学生セッション,ソフトウェア科学・工学)
- Weblogを用いたソフトウェア共同開発プラットフォームの開発(組み込み・Web(学生セッション))
- M-034 P2Pストリーミング配信におけるノード離脱時の品質低下軽減を目指した配信木構築法の提案(M分野:ユビキタス・マルチメディア・セキュリティ)
- L-082 キーワードと画像特徴を利用したWebページ検索システム(L分野:ネットワークコンピューティング)
- モデル検査の反例を用いたC言語プログラムの不具合修正方法の提案と実装