モデル検査における不具合原因特定手法

• Item type: SIG Technical Reports(1)
• 公開日: 2015-03-05
• タイトル: モデル検査における不具合原因特定手法
• タイトル / 言語: en
• タイトル: Method for identifying causative conditions from counter example
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: テスト・検証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: (株)東芝ソフトウェア技術センター
• 著者所属: (株)東芝ソフトウェア技術センター
• 著者所属: (株)東芝ソフトウェア技術センター
• 著者所属: (株)東芝ソフトウェア技術センター
• 著者所属(英): en
• 著者所属(英): TOSHIBA Corporation Software Engineering Center
• 著者所属(英): en
• 著者所属(英): TOSHIBA Corporation Software Engineering Center
• 著者所属(英): en
• 著者所属(英): TOSHIBA Corporation Software Engineering Center
• 著者所属(英): en
• 著者所属(英): TOSHIBA Corporation Software Engineering Center
• 著者名: 鷲見, 毅; 和田, 大輝; 晏, リョウ; 武山, 文信
• 著者名(英): Takeshi, Sumi; Taiki, Wada; Ryo, An; Fuminobu, Takeyama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，ソフトウェアの大規模化に伴い，開発の下流工程におけるテストだけではソフトウェアの品質確保が困難になっている．その為，開発の上流工程における品質確保の必要性が高まっており，その手段としてモデル検査が注目されている．しかし，モデル検査を開発で実践適用するためには幾つかの課題がある．そのひとつとして，発見した不具合の原因箇所の特定が困難ということが挙げられる．本稿では，モデル検査によって発見された不具合に対して，その原因箇所を自動特定する手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Recently, as software becomes larger-scaled, it becomes difficult to ensure its quality only by testing in the end of the development. Therefore, there is an increasing need to ensure the quality in the development of the upstream processes. And as a means, model checking has been attracting attention. However, to take advantage of the model checking in practical, there are several challenges. One of them, it is that is difficult to determine the cause of the defects. In this paper, for the defects that was discovered by model checking, we propose a method to automatically identify the cause place.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2015-SE-187, 号 40, p. 1-6, 発行日 2015-03-05
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会