Abstract:Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based system, verification technologies such as testing can be applied to check underlying components and their composition. Conformance testing checks the consistency between the behavior and component specifications. On the other hand, robustness testing detects vulnerability of software with unexpected input or stressful environment. Existing robustness testing tools aim to crash components with preset values of different data types. But they do not take into account component states, which are vital to the detecting robustness problem of a component. We propose a state machine based approach to detect robustness problems of components. Firstly, a set of paths is generated to cover transitions of the state machine. Test inputs which follow the paths achieve high coverage of the system states and examine more transitions than stateless API testing. Secondly, invalid inputs and inopportune method calls are fed to the component in different states to test the robustness. When unexpected exceptions arise in the test runs, robustness failures are reported. We do a case study on a component from an open source software and it results in positive results.

SIP Robustness Testing Based on TTCN-3

Ttcn-3 Based Robustness Test Generation and Automation

SIP Conformance Testing Based on TTCN-2

SIP Authentication Mechanism and Its Performace Analysis

Research of Key Technical Issues on Handset MMI Automated Testing System

A TTCN-3-based Protocol Testing System and Its Extension.

Mutation Testing of Protocol Messages Based on Extended TTCN-3

Design and Implementation of Distributed VoIP Architecture Based on SIP Protocol

Design and Implementation of Automatic SIP Testing Tool

Integrated TCP/IP protocol software testing for vulnerability detection

Protocol Security Testing with SPIN and TTCN-3

A Formal Approach to Robustness Testing of Network Protocol with Time Constraints

TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks

Robustness testing for software components

Fault-oriented Software Robustness Assessment for Multicast Protocols.

State Based Robustness Testing for Components

A Formal Method to Real-Time Protocol Interoperability Testing

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems

A Robust Ecc Based Mutual Authentication Protocol With Anonymity For Session Initiation Protocol

AN APPROACH TO PERFORMANCE TESTING FOR SIP SERVERS

Method of Multi-path Parallel Testing Based on TTCN-3