制御ソフトウェア向けテストケース生成方式の提案

• Item type: SIG Technical Reports(1)
• 公開日: 2012-10-25
• タイトル: 制御ソフトウェア向けテストケース生成方式の提案
• タイトル / 言語: en
• タイトル: An Approach of Test Case Generation for Control Software
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: テスト
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 三菱電機(株)情報技術総合研究所
• 著者所属: 三菱電機(株)情報技術総合研究所
• 著者所属(英): en
• 著者所属(英): Mitsubishi Electric Corporation Information Technology R&D Center
• 著者所属(英): en
• 著者所属(英): Mitsubishi Electric Corporation Information Technology R&D Center
• 著者名: 磯田, 誠; 徳永, 雄一
• 著者名(英): Makoto, Isoda; Yuichi, Tokunaga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 制御システムは，制御装置を中心にセンサ装置と駆動装置を備え，外部環境に対して適切な物理的制御をかけることを目的とする．制御装置の高機能化・付加価値向上のため，制御ソフトウェアの大規模化・複雑化が進んでいる．近年，設計工程で専用記法を用いて制御ロジックを作成し，実装・試験工程で活用するモデルベース開発の取り組みが盛んである．これに対して実開発では，単体・ S/W 結合試験でのテストケースの作成工数が大きい，システム試験での機能動作の期待値の作成工数が大きいことが問題になっている．本稿では，制御ソフトウェアの開発効率化・高品質化の基盤となる単体・ S/W 結合試験に取り組み，制御ソフトウェアに必須の状態依存処理を対象に，実装コード中の分岐箇所に到達するための時系列入力のテストケースを自動生成する方式を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Embedded control software has to fulfill high level requirements for functionality and extensibility, so that it becomes difficult to implement such complex software correctly. It is certainly needed to assure quality of software, moreover needed to improve productivity of software testing and system testing. In this paper, we propose a test case generation method using formal verification technology. This method allows us to achieve enough code coverage in software unit and component testing.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2012-SE-178, 号 8, p. 1-8, 発行日 2012-10-25
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会