| Item type |
SIG Technical Reports(1) |
| 公開日 |
2017-03-05 |
| タイトル |
|
|
タイトル |
分岐カバレッジ向上を目的とした静的解析を用いたテストケース自動生成 |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
解析 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
愛知県立大学大学院情報科学研究科 |
| 著者所属 |
|
|
|
愛知県立大学情報科学部 |
| 著者所属 |
|
|
|
愛知県立大学情報科学部 |
| 著者所属 |
|
|
|
愛知県立大学情報科学部 |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Information Science and Technology, Aichi Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
School of Information Science and Technology, Aichi Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
School of Information Science and Technology, Aichi Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
School of Information Science and Technology, Aichi Prefectural University |
| 著者名 |
山田, 誠也
大久保, 弘崇
粕谷, 英人
山本, 晋一郎
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
ランダムテストは人的コストをかけずにテストケース数を増やすことを可能にするため注目を集めているが，テストは入力範囲に関して均一に行われ，欠陥の検出は確率的である．本研究では Haskel lを対象として，プログラムの条件分岐に出現するリテラルに注目し，ここから境界値テストのテストケースを生成する簡易なテストケース自動生成手法を提案する．本手法をランダムテストツール QuickCheck と併用することで高い分岐カバレッジを効率的に達成できることを示す． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10112981 |
| 書誌情報 |
研究報告ソフトウェア工学（SE）
巻 2017-SE-195,
号 18,
p. 1-8,
発行日 2017-03-05
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8825 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-SE17195018.pdf (232.2 kB)
