Fault-Based Conformance Testing in Practice

摘要: Conforming to protocol specifications 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 different vendors. If the do not correctly implement various specifications, failures will certainly occur. In case emergency calls this may be even life-threatening. Functional black-box conformance testing, where one checks implemented specification becomes therefore major issue. work, we report on our experiences and findings when applying fault-based testing an industrial application. Besides discussion modeling simplifications present technique that prevents application from implementing particular faults. Faults modeled at level specification. We show how can adapted with large state spaces results obtained Session Initiation Protocol Conference Protocol. Finally, compare random scenario based testing.