A Tool To Generate Test Case Based Haskell Language

摘要：

Software testing is an important phase in the life cycle of software which is one way to Assurant quality of software. The first step of software testing is to create test cases. The existing method to generate test cases may encounter two problems: test cases not feasible and state explosion problem. The tools we developed: first, according to the semantics of language, we translate program into a execution tree; then, to decompose input domain in the way top-down with path, Finally, output test cases according to the result of decomposition. Our tool is developed with Haskell Language. Our method can effectively solve the above two problems.

关键词： software testing execution tree test case

作者: Xiaoan Bao Na Zhang Zuohua Ding

作者单位: School of Information and Electronics, Zhejiang Sci-Tech University, Hangzhou, Zhejiang, China School of Science, Zhejiang Sci-Tech University, Hangzhou, Zhejiang, China

会议类型: 国际会议

会议名称: 2010 International Conference on Circuit and Signal Processing(2010年电路与信号处理国际会议 ICCSP 2010)

会议地点: 上海

会议语种:英文

页码: 649-652

在线出版日期: 2010-12-25（万方平台首次上网日期，不代表论文的发表时间）