assertion-directed test case generation
文献类型：会议论文
| 作者 | Zeng Fanping ; Deng Chaoqiang ; Yuan Yuan |
| 出版日期 | 2012 |
| 会议名称 | 2012 3rd World Congress on Software Engineering, WCSE 2012 |
| 会议日期 | November 6, 2012 - November 8, 2012 |
| 会议地点 | Wuhan, China |
| 关键词 | Software engineering Testing |
| 页码 | 41-45 |
| 中文摘要 | How to effectively generate test cases is the key to software testing. In our previous research, we applied the program dynamic invariant as feedback to guide test case generation, and that can reduce the redundancy and improve the coverage effectively. However, the repeated extraction of program dynamic invariants significantly increased the burden of test case generation. To address this issue, we present a novel technique that automatically converts program dynamic invariant into assertion and then make use of the assertion to direct the process of test case generation. If the new test case does not violate the assertion (that means the new test case will change the program invariant), then the new case is a valid test case, otherwise it is a redundant invalid test case. This method can avoid the repetition of extracting the same program invariant. Our experimental results indicate that, while not reducing the quality of the generated test cases, the assertion-directed method can greatly reduce the time cost of test case generation. © 2012 IEEE. |
| 英文摘要 | How to effectively generate test cases is the key to software testing. In our previous research, we applied the program dynamic invariant as feedback to guide test case generation, and that can reduce the redundancy and improve the coverage effectively. However, the repeated extraction of program dynamic invariants significantly increased the burden of test case generation. To address this issue, we present a novel technique that automatically converts program dynamic invariant into assertion and then make use of the assertion to direct the process of test case generation. If the new test case does not violate the assertion (that means the new test case will change the program invariant), then the new case is a valid test case, otherwise it is a redundant invalid test case. This method can avoid the repetition of extracting the same program invariant. Our experimental results indicate that, while not reducing the quality of the generated test cases, the assertion-directed method can greatly reduce the time cost of test case generation. © 2012 IEEE. |
| 收录类别 | EI |
| 会议主办者 | Wuhan University of Technology |
| 会议录 | Proceedings of the 2012 3rd World Congress on Software Engineering, WCSE 2012
 |
| 语种 | 英语 |
| ISBN号 | 9780769548630 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15858]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Zeng Fanping,Deng Chaoqiang,Yuan Yuan. assertion-directed test case generation[C]. 见:2012 3rd World Congress on Software Engineering, WCSE 2012. Wuhan, China. November 6, 2012 - November 8, 2012. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。