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 Automated Testing Technique for Component Based on Metadata

A Test Automation Solution On Gui Functional Test

Study on Specification-Based Software Component Test Technology

Test of Software Component

Study and Implement of Computer Testing System Based on Component

Design and Research of Software Component and Test Technology

An Automatic Component Tag Extracting Method and Implementation

The State-of-the-art for the Component-based System Reliability Evaluation

State Based Robustness Testing for Components

Research on Model of Automated Test Case Generation for Complicated Interactive Software

Study of general query component based on metadata in appraisal tool of system security engineering capability maturity

Component System Regression Testing Method Based on CTAM

Research on Component-Based Spatial Integrated Modeling

The Research of the Component-Based Software Engineering

Research on Model of Measurement for Software Component Reusability

Statistical Testing of Component Reuse Using Markov Chain Usage Model

Research of Component Composition Technology Based on Software Architecture Connector

Survey of Metamorphic Testing

Bottom-up Integration Testing with the Technique of Metamorphic Testing

Substra: A Framework for Automatic Generation of Integration Tests.

Model-based Approach for Software Test Adequacy Analysis