Abstract
Automatically generating test data to cover a given path is a challenging problem. This paper present a program execution based approach driven by component linear fitting functions. Here, component linear fitting functions built on inputs and values at decision points, are used to approximate constraints. They drive the search to reach constraints' solutions by calculating feasible intervals. Experiments show that the approach is effective and has good potentiality in treating nonlinear constraints and constraints with many local optimal points.
Original language | English |
---|---|
Title of host publication | Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012 |
Place of Publication | Piscataway NJ USA |
Publisher | IEEE, Institute of Electrical and Electronics Engineers |
Pages | 37-38 |
Number of pages | 2 |
ISBN (Print) | 9780769547435 |
DOIs | |
Publication status | Published - 2012 |
Externally published | Yes |
Event | IEEE International Conference on Software Security and Reliability Companion (SERE 2012) - National Institute of Standards and Technology (NIST), Gaithersburg, United States of America Duration: 20 Jun 2012 → 22 Jun 2012 Conference number: 6th http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6257543 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6258481 |
Conference
Conference | IEEE International Conference on Software Security and Reliability Companion (SERE 2012) |
---|---|
Abbreviated title | SERE 2012 |
Country/Territory | United States of America |
City | Gaithersburg |
Period | 20/06/12 → 22/06/12 |
Internet address |
Keywords
- Component linear fitting function
- Search based approach
- Test case generation