05月23日(Tue) 15:50〜17:30 M会場(ウインクあいち-10F 1005会議室)
| 演題番号 | 1M2-OS-02b-4 |
|---|---|
| 題目 | 解集合プログラミングによるソフトウェアテストケースの生成 |
| 著者 | 小俣 仁美(東京工業大学情報理工学院情報工学系) 井上 克巳(国立情報学研究所／東京工業大学) |
| 時間 | 05月23日(Tue) 16:50〜17:10 |
| 概要 | ソフトウェアの開発の際には、テストを行うことで実装の誤りを発見することが重要である。テストケースの集合は、限られた個数のテストケースでより多くの誤りを発見できるものが望ましい。本研究では、解集合プログラミングを用いることで必要なテストケースの集合を生成する手法を提案する。 |
| 論文 | PDFファイル |