Name
Abstract | ||
|---|---|---|
Traditional test oracles are defined on the outputs of test executions, and cannot assert internal states of executions. Traditional assertions are common to all test execution, and are usually more difficult to construct than on oracle for one test input. In this paper we propose the concept of inner oracles, which are assertions on internal states that are specific to one test input. We first motivate the necessity of inner oracles, and then show that it can be implemented easily using the available programming mechanisms. Next, we report two initial empirical studies on inner oracles, showing that inner oracles have a significant impact on both the fault-detection capability of tests and the performance of test suite reduction. Finally, we highlight the implications of inner oracles on several research and practical problems. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1145/2786805.2803204 | ESEC/SIGSOFT FSE |
Keywords | Field | DocType |
Testing, Test oracles, Assertions | Test suite,Programming language,Computer science,Oracle,Theoretical computer science,Test execution,Empirical research | Conference |
Citations | PageRank | References |
4 | 0.39 | 16 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yingfei Xiong | 1 | 1053 | 55.12 |
| Dan Hao | 2 | 863 | 41.59 |
| Lingming Zhang | 3 | 2726 | 154.39 |
| Tao Zhu | 4 | 58 | 12.63 |
| Muyao Zhu | 5 | 20 | 0.94 |
| Tian Lan | 6 | 126 | 25.44 |