Abstract:Component Based Software Development (CBSD) is gaining popularity in recent years. In this way of software development, software components, which are typically black-box components, are intensively reused to construct new systems. To ensure the quality of software systems composed of black-box components, a primary concern is how to ensure the quality of black-box components. Thus, adequate testing of those black-box components that will be reused is a necessary step in CBSD. However, due to the unavailability of the source code of black-box components, ensuring test adequacy becomes one of the hardest issues for testing black-box components. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computation-expensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing black-box components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Therefore, our approach can produce effective test suites to reduce the cost of testing black-box components.

State Based Robustness Testing for Components

Robustness testing for software components

Robustness Testing for Components Based on State Machine Model

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

Ttcn-3 Based Robustness Test Generation and Automation

Study on Fault-Tolerant Based on Modular Method in the Development of Test and Control System Software

Applying Robustness Analysis to MDA Software Paradigm

Physics-Constrained Robustness Verification of Intelligent Security Assessment for Power Systems

Testing Configurable Component-Based Software - Configuration Test Modeling and Complexity Analysis.

Component System Regression Testing Method Based on CTAM

Study and Implement of Computer Testing System Based on Component

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment

Method for System Robustness Testing Method Based on Operational Profiling

An Adaptive Reliability Analysis Using Path Testing for Complex Component-Based Software Systems

A new formal test method for networked software integration testing

Handling state space explosion in verification of component-based systems: A review

Software Reliability Test Methods Based on Component Composition and Markov Process

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

Ontology-based Web Service Robustness Test Generation

Complete Requirements-based Testing with Finite State Machines

An Approach To Testing Black-Box Components Using Contract-Based Mutation