We propose an approach to testing that combines formal methods with practical criteria, close to the testing engineer’s experience. It can be seen as a framework to evaluate and select test suites using formal methods, assisted by informal heuristics. This proposal is illustrated with a practical case study: the testing of a protocol for mobile auctions in a distributed, wireless environment.
CITATION STYLE
Burguillo-Rial, J. C., Fernández-Iglesias, M. J., González-Castaño, F. J., & Llamas-Nistal, M. (2002). Heuristic-driven test case selection from formal specifications. A case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2391, pp. 57–76). Springer Verlag. https://doi.org/10.1007/3-540-45614-7_4
Mendeley helps you to discover research relevant for your work.