7 search results - page 1 / 2 » Protocol Conformance Testing a SIP Registrar: an Industrial ... |
SEFM
2007
IEEE
13 years 10 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
ENTCS
2008
13 years 4 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
ERSHOV
2006
Springer
13 years 8 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
FMICS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
ERSHOV
2003
Springer
13 years 9 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...