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.

Research on a Component Testing Tool Supporting Data Integrity Verification

Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution

State Based Robustness Testing for Components

A Systematic Regression Testing Method and Tool For Software Components

Research on Automated Testing Technique for Component Based on Metadata

Research on Software Automatic Testing Based on Component Technology

Study and Implement of Computer Testing System Based on Component

Robustness testing for software components

A Fault Injection Model-Oriented Testing Strategy for Component Security

Effective Testing of Commercial Off-the- Shelf (cots) Software Components Using Reflection

Research and Design of A C++ Unit Testing Supporting Tool

Component - Based Design of Hydraulic Prop Testing Bed Controlling System

Testing of Component-Based Software: A Metamorphic Testing Methodology

Testing Coverage Analysis for Software Component Validation

An Privacy Preserving and Multi-copy Supporting PDP Algorithm and Its Application in Component Testing Tool.

Reliability Analysis of Component Software Based on Testing Data Transformation

Regression Testing For Component-Based Software Via Built-In Test Design

Test of Software Component

A Methodology of Component Integration Testing

Some Issues about Trusted Components Research

Design and Research of Software Component and Test Technology