DocumentCode
2078303
Title
Constraint solving techniques for software testing and analysis
Author
Ma, Feifei
Author_Institution
Inst. of Software, Beijing, China
Volume
2
fYear
2010
fDate
2-8 May 2010
Firstpage
417
Lastpage
420
Abstract
Software testing and analysis are very important research topics in software engineering. We are interested in improving the accuracy of analysis, as well as automation of test generation. In particular, we have been working on the automatic generation of small Orthogonal Arrays which can be used for combinatorial testing, and the computation of path execution frequency for a program path. The basic idea is to reduce the original problems to constraint satisfaction problems and develop effective constraint solving techniques for solving the problems.
Keywords
computability; program testing; software engineering; combinatorial testing; constraint satisfaction problem; constraint solving technique; orthogonal array generation; path execution frequency; software analysis; software engineering; software testing; Frequency estimation; Input variables; Software; Software engineering; Software testing; Vectors;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location
Cape Town
ISSN
0270-5257
Print_ISBN
978-1-60558-719-6
Type
conf
DOI
10.1145/1810295.1810407
Filename
6062228
Link To Document