Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. The AutoTest unit testing framework automates both, by using Eiffel contracts - already present in the software - as test oracles, and generating objects and routine arguments to exercise all given classes; manual tests can also be added, and all failed test cases are automatically retained for regression testing, in a "minimized" form retaining only the relevant instructions. AutoTest has already detected numerous hitherto unknown bugs in production software. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Meyer, B., Ciupa, I., Leitner, A., & Liu, L. L. (2007). Automatic testing of object-oriented software. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4362 LNCS, pp. 114–129). Springer Verlag. https://doi.org/10.1007/978-3-540-69507-3_9
Mendeley helps you to discover research relevant for your work.