文献类型：会议论文

英文题名：Complexity Analysis and Comparison of Test Paths Based on DSE

作者：Lu, Jiawen[1,2];Cai, Lizhi[1,2];Zhang, Yang[1,2];Hong, Keyi[3]

机构：[1]East China Univ Sci & Technol, Sch Informat Sci & Engn, Shanghai, Peoples R China;[2]Shanghai Dev Ctr Comp Software, Lab Comp Software Testing & Evaluat, Shanghai, Peoples R China;[3]Shanghai Publ Secur Bur, Cyber Secur Dept, Shanghai, Peoples R China

会议论文集：17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)

会议日期：MAY 30-JUN 01, 2016

会议地点：Shanghai, PEOPLES R CHINA

语种：英文

外文关键词：Life cycle - Efficiency

摘要：Dynamic symbolic execution (DSE) is a well-known program test technology which can generate test cases automatically through collecting constraints of the paths represented by symbolic value. Automated test based on DSE targets at covering all paths and branches in a limited time. Although DSE has been investigated for a few years, several challenges still exist which hinder the actual usage. Path explosion is one of the greatest challenges to solve, which decreases the test performance. Analyzing complexity of the execution paths of different test programs, and investigating the factors associated with the test efficiency become very important in the software testing life cycle.