Optimal and adaptive testing with cost constraints

Authors:
Kai-Yuan Cai;Yong-Chao Li;Wei-Yi Ning;W. Eric Wong;Hai Hu
Affiliations:
Beijing University of Aeronautics and Astronautics, Beijing, China;Beijing University of Aeronautics and Astronautics, Beijing, China;Beijing University of Aeronautics and Astronautics, Beijing, China;University of Texas at Dallas, Richardson, TX;University of Texas at Dallas, Richardson, TX
Venue:
Proceedings of the 2006 international workshop on Automation of software test
Year:
2006

Citing 15
Cited 1

Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Towards a conceptual framework of software run reliability modeling

Information Sciences—Informatics and Computer Science: An International Journal
Adaptive Markov Control Processes

Adaptive Markov Control Processes
Finite State Markovian Decision Processes

Finite State Markovian Decision Processes
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology

IEEE Transactions on Software Engineering
A formal model of the software test process

IEEE Transactions on Software Engineering
Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process

IEEE Transactions on Software Engineering
Towards Research on Software Cybernetics

HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces

PERCOM '03 Proceedings of the First IEEE International Conference on Pervasive Computing and Communications
Mirror Adaptive Random Testing

QSIC '03 Proceedings of the Third International Conference on Quality Software
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces

QSIC '03 Proceedings of the Third International Conference on Quality Software
An Overview of Software Cybernetics

STEP '03 Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice
An experimental study of adaptive testing for software reliability assessment

Journal of Systems and Software

Integrating a model of analytical quality assurance into the V-Modell XT

Proceedings of the 3rd international workshop on Software quality assurance

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper generalizes our previous work on optimal and adaptive testing to consider a more general scenario of software testing resource constraints. The assumption is that software testing must be stopped once the allowed testing resources are used up. The contributions of this paper are as follows. First, we show that software testing with fixed resource constraints can be handled in the framework of the controlled Markov chains (CMC) approach to software testing. Second, an algorithm is adopted to reduce the computational complexity of on-line decision making in optimal and adaptive testing. Finally, the simulation results presented in this paper further confirm the effectiveness of the idea of adaptive testing in particular, and that of software cybernetics (which explores the interplay between software and control) in general.