Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
Design and validation of computer protocols
Design and validation of computer protocols
Test development for communication protocols: towards automation
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
A Global-State-Triggered Fault Injector for Distributed System Evaluation
IEEE Transactions on Parallel and Distributed Systems
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
InRob: An approach for testing interoperability and robustness of real-time embedded software
Journal of Systems and Software
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Hi-index | 0.00 |
Software for space applications requires significant testing. This paper presents an evaluation of the CoFI testing methodology as applied to actual space software, where deterministic fault cases derived from state-based models were executed using the software-implemented fault injection technique. Different models were used to represent the behavior of embedded software in a real satellite computer under the presence of both normal inputs and external faults in communication, processor, and memory. CoFI methodology was used for model construction, the Condado tool for test derivation, and the QSEE-TAS tool for test execution. In total, 8,620% of 471 fault cases detected errors in the software; this is a very large number, and more so considering that the software had already been tested by the company which developed it before being subject the CoFI methodology.