Avancerad sökning
Hittade 3 uppsatser som matchar ovanstående sökkriterier.
1. Evaluation of Automated Test Generation for Simulink : A Case Study in the Context of Propulsion Control Software
Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : 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 Checking
Master-uppsats, Linköpings universitet/Institutionen för datavetenskapSammanfattning : 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
3. Improving MCDC adequate test sets for safety critical software to be RORG adequate
Master-uppsats, Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakultetenSammanfattning : 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