| 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: 3796 |
| Download times: 3324 |
|
| 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 |
|
|
|
