Database of Research Tools Developed Using CADP

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 our FTP 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 our FTP 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


Last modified: Fri Feb 19 09:13:01 2016.


Back to the CADP research tools page