Sökning: "Modified Condition Decision Coverage"

Hittade 3 uppsatser innehållade orden Modified Condition Decision Coverage.

  1. 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 teknik

    Författare :Anton Roslund; [2020]
    Nyckelord :Automated Test Generation; Simulink; Model Based Design; Comparison; Simulink Design Verifier; SLDV; MIL; SIL; PIL; Model-in-the-Loop; Conformance; Conformance testing; Test Generation; MATLAB; Evaluation;

    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

  3. 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 datavetenskap

    Författare :Oscar Holm; [2019]
    Nyckelord :safety critical system; safety critical software; MC DC; quality assurance; software engineering; Modified Condition Decision Coverage; automated testing; test case generation; SAT solving; Z3; Dextool; model checking; static analysis;

    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

  4. 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 fakulteten

    Författare :Christoffer Nylén; [2015]
    Nyckelord :Software Testing; Code Coverage; Mutation Testing; ROR; RORG; MCDC; Active Clause Coverage; Safety-critical software; Static Code Analysis; Instrumentation; Ada; ASIS;

    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