Abstract Test Case Execution Framework

Organisation:	Institute for Software Technology, Graz University of Technology (AUSTRIA)
Functionality:	Execution of abstract test cases
Tools used:	CADP (Construction and Analysis of Distributed Processes) QT4 Boost-Asio
Period:	2007-2009
Description:	Test cases derived from formal models are usually abstract and cannot be executed by the system under test without being refined into concrete tests. The presented tool uses a rule-based rewriting system to convert abstract test messages to concrete system stimuli and to transform concrete system responses into abstract responses. In order to run a set of test suites against the system under test, the tool takes a set of global parameters, the client configuration, and the definition of the refinement functions expressed as rules. Individual test cases are stored in the BCG (Binary Coded Graph) format of the CADP toolbox.
Conclusions:	This work shows how the modular conception of CADP allows other tools to reuse its generic components or libraries for verification and testing. More details can also be found on the web page http://www.ist.tugraz.at/staff/weiglhofer/projects/testexec/index.html The testing of two implementation of the SIP Registrar Entity is presented on the following Web Page: http://cadp.inria.fr/case-studies/07-b-sip.html
Publications:	[Weiglhofer-Fraser-Wotawa-09] Martin Weiglhofer, Gordon Fraser, and Franz Wotawa. "Using coverage to automate and improve test purpose based testing". Proceedings of the 3rd IEEE International Workshop on Automation of Software Test AST'2008, at 8th International Conference on Quality Software QSIC'2008, pp. 1601-1617, November 2009. Available on-line at http://dx.doi.org/10.1016/j.infsof.2009.06.008 or from the CADP Web site in PDF or PostScript [Weiglhofer-Aichernig-Wotawa-09] Martin Weiglhofer, Bernhard Aichernig, and Franz Wotawa. "Fault-based Conformance Testing in Practice". International Journal on Software and Informatics 3(2-3):375-411, June/September 2009. Available on-line at http://www.ist.tugraz.at/aichernig/publications/papers/ijsi2009.pdf or from the CADP Web site in PDF or PostScript
Contact:	Martin Weiglhofer Institute for Software Technology, Graz University of Technology Inffeldgasse 16b/II 8010 Graz, Austria Tel: +43 316 873 5736 Fax: +43 316 873 5706 E-mail: weiglhofer@ist.tugraz.at http://www.ist.tugraz.at/staff/weiglhofer
Further remarks:	This tool, amongst others, is described on the CADP Web site: http://cadp.inria.fr/software

Back to the CADP research tools page