Fault-Based Conformance Testing in Practice
Received:February 27, 2009  Revised:August 14, 2009  Download PDF
Martin Weiglhofer,Bernhard Aichernig,Franz Wotawa. Fault-Based Conformance Testing in Practice. International Journal of Software and Informatics, 2009,3(2):375~411
Hits: 3189
Download times: 2474
Fund:This work is funded by the Austrian Federal Ministry of Economics (bm:wa), the province of Styria, the Steirische Wirtschaftsf?rderungsgesellschaft mbH. (SFG), and the city of Vienna in terms of the center for innovation and technology (ZIT). This work is
Abstract:Conforming to protocol speci.cations is a critical issue in modern distributed software systems. Nowadays, complex service infrastructures, such as Voice-over-IP systems, are usually built by combining components of di.erent vendors. If the components do not correctly implement the various protocol speci.cations, failures will certainly occur. In the case of emergency calls this may be even life-threatening. Functional black-box conformance testing, where one checks the conformance of the implemented protocol to a speci.cation becomes therefore a major issue. In this work, we report on our experiences and .ndings when applying fault-based conformance testing to an industrial application. Besides a discussion on modeling and simpli.cations we present a technique that prevents an application from implementing particular faults. Faults are modeled at the level of the speci.cation. We show how such a technique can be adapted to speci.cations with large state spaces and present results obtained when applying our technique to the Session Initiation Protocol and to the Conference Protocol. Finally, we compare our results to random and scenario based testing.
keywords:fault-based testing  mutation testing  input-output conformance  ioco
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:1816952
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号