Name
Abstract | ||
|---|---|---|
Testing is today the most widely used software quality assurance approach. However, it is well known that the necessarily limited number of tests developed and run in-house are not representative of the rich variety of user executions in the field. In order to bridge this gap between in-house tests and field executions, we need a way to (1) identify the behaviors exercised in the field that were not exercised in-house and (2) generate new tests that exercise such behaviors. In this context, we propose Replica, a technique that uses field execution data to guide test generation. Replica instruments the software before deploying it, so that field data collection is triggered when a user exercises an untested behavior B, currently expressed as the violation of an invariant. When it receives the collected field data, Replica uses guided symbolic execution to generate one or more executions that exercise the previously untested behavior B. Our initial empirical evaluation, performed on a set of real user executions, shows that Replica can successfully generate tests that mirror field behaviors and have similar fault-detection capability. Our results also show that Replica can outperform a traditional input generation approach that does not use field-data guidance.
|
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/ICSE-Companion.2019.00133 | Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings |
Keywords | DocType | ISSN |
field data, software testing, test generation | Conference | 2574-1926 |
ISBN | Citations | PageRank |
978-1-7281-1765-2 | 0 | 0.34 |
References | Authors | |
2 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Qianqian Wang | 1 | 132 | 26.59 |
| Alessandro Orso | 2 | 3550 | 172.85 |