WEKO3
アイテム
シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案
https://ipsj.ixsq.nii.ac.jp/records/90484
https://ipsj.ixsq.nii.ac.jp/records/90484104bc7ec-c894-44b5-905a-df637b908269
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE13179017.pdf (600.3 kB)
|
Copyright (c) 2013 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-03-04 | |||||||
| タイトル | ||||||||
| タイトル | シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | MTC: A New Test Coverage Criterion for Sequence Control Programs | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | テスト | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| (株)東芝研究開発センターシステム技術ラボラトリー | ||||||||
| 著者所属 | ||||||||
| (株)東芝研究開発センターシステム技術ラボラトリー | ||||||||
| 著者所属 | ||||||||
| (株)東芝研究開発センターシステム技術ラボラトリー | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toshiba Corporation Corporate Research & Development Center | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toshiba Corporation Corporate Research & Development Center | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Toshiba Corporation Corporate Research & Development Center | ||||||||
| 著者名 |
丸地, 康平
× 丸地, 康平
|
|||||||
| 著者名(英) |
Kohei, Maruchi
× Kohei, Maruchi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では，シーケンス制御プラグラミング言語に適した新しいカバレッジ基準 MTC を提案する．MTC は，必要となるテストケース数を抑えつつ，効果的なテストを実現するためのカバレッジ基準であり，論理回路におけるトグル網羅とソフトウェアにおける MC/DC 網羅の両性質を併せ持つことを特徴とする．ミューテーションテストによる評価実験により，MTC の有効性を確認した． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper, we propose new coverage criterion called MTC, which is suited to testing for sequence control programs. MTC combines two popular coverage criteria, namely toggle coverage commonly used for digital circuits, and modified condition/decision coverage (MC/DC) commonly used for safety-critical software, to achieve effective testing while keeping the number of necessary test cases relatively small. We have evaluated the effectiveness of MTC by using mutation testing method. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2013-SE-179, 号 17, p. 1-8, 発行日 2013-03-04 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
