Test purpose generation in an industrial application

Authors:
Bernhard K. Aichernig;Martin Weiglhofer;Bernhard Peischl;Franz Wotawa
Affiliations:
Technische Universität Graz, Graz, Austria;Technische Universität Graz, Graz, Austria;Technische Universität, Graz Graz, Austria;Technische Universität, Graz, Graz, Austria
Venue:
Proceedings of the 3rd international workshop on Advances in model-based testing
Year:
2007

Citing 8
Cited 2

An experiment in automatic generation of test suites for protocols with verification technology

Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Art of Software Testing

Art of Software Testing
An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol

IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Formal Test Automation: The Conference Protocol with TGV/TORX

TestCom '00 Proceedings of the IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems: Tools and Techniques
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
From faults via test purposes to test cases: on the fault-based testing of concurrent systems

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering

Applying Model-Based Testing to HTML Rendering Engines --- A Case Study

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Improving Fault-based Conformance Testing

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Nowadays test engineers use various strategies for the design of test cases. Among others, test cases are designed on basis of structural coverage criteria or test cases are related to specific fault models. In this paper we evaluate these two techniques for test purpose design. We present a heuristic algorithm for the extraction of test cases from TGV's output, i.e., the test process. We discuss the problem of overlapping test purposes and illustrate improvements in terms of test execution time and in terms of number of test cases when minimizing this overlap. Furthermore, we present different strategies for the generation of fault-based test purposes. For our evaluation we apply the presented techniques to a Session Initiation Protocol (SIP) Registrar specification. All extracted test cases are executed against a commercial and an open source implementation of such a SIP Registrar.