Verification and validation of real-time software
Verification and validation of real-time software
Evaluation of safety-critical software
Communications of the ACM
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Stopping Rules for the Operational Testing of Safety-Critical Software
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Automatic test data generation by multi-objective optimisation
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Software reliability assessment based on the evaluation of operational experience
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
| Hi-index | 0.00 |
This article proposes a novel approach to quantitative software reliability assessment ensuring high interplay coverage for software components and decentralized (sub-)systems. The generation of adequate test cases is based on the measurement of their operational representativeness, stochastic independence and interaction coverage. The underlying multi-objective optimization problem is solved by genetic algorithms. The resulting automatic test case generation supports the derivation of conservative reliability measures as well as high interaction coverage. The practicability of the approach developed is finally demonstrated in the light of an interaction-intensive example.