Sökning: "Modified Condition Decision Coverage"
Hittade 3 uppsatser innehållade orden Modified Condition Decision Coverage.
1. Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control SoftwareMaster-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik
Sammanfattning : Automated Test Generation (ATG) has been successfully applied in many domains. For the modeling and simulation language Simulink, there has been research on developing tools for ATG with promising results. LÄS MER
2. Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model CheckingMaster-uppsats, Linköpings universitet/Institutionen för datavetenskap
Sammanfattning : The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. LÄS MER
- Master-uppsats, Linköpings universitet/Programvara och systemLinköpings universitet/Tekniska fakulteten
Sammanfattning : A number of logical code coverage criteria have been used throughout the years in the testing of safety-critical software. Kaminski, et al. proposed Relational Operator Replacement Global (RORG), a method to bring benefits from ROR mutation to Modified Condition / Decision Coverage (MCDC), which is widely used in the avionics industry. LÄS MER