Essays about: "UPPAAL SMC"

Found 3 essays containing the words UPPAAL SMC.

  1. 1. A Comparative Analysis of Dynamic Software Update Methods in regard to Safety-critical Systems

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Max Enelund; Dennis Karlberg; Niklas le Comte; [2017-09-18]
    Keywords : Dynamic software update; Safety-critical; Code relinking; Reference indirection; Experiment; model checking;

    Abstract : Software is an ever evolving product that is updated to extend the functionality and to reduce bugs within a system. Many systems are required to maintain a high availability to provide their services. Dynamic software update is a mechanism which allows the software to be updated during run-time. READ MORE

  3. 2. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Jonatan Larsson; [2017]
    Keywords : UPPAAL SMC; Automatic Testing; Mutation Analysis; Test Generation; Priced Timed Automata; C#;

    Abstract : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. READ MORE

  4. 3. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Jonatan Larsson; [2017]
    Keywords : Automatic test generation; UPPAAL SMC; Model-based testing; Mutation Analysis; MATS;

    Abstract : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. READ MORE