Sökning: "Statistical Model-Checking"

Hittade 3 uppsatser innehållade orden Statistical Model-Checking.

1. 1. Probabilistic guarantees in model-checking with Time Petri Nets

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Manon Lecart; [2023]
   Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

   Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

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

   Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Jonatan Larsson; [2017]
   Nyckelord :UPPAAL SMC; Automatic Testing; Mutation Analysis; Test Generation; Priced Timed Automata; C#;

   Sammanfattning : 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. LÄS MER

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

   Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

   Författare :Jonatan Larsson; [2017]
   Nyckelord :Automatic test generation; UPPAAL SMC; Model-based testing; Mutation Analysis; MATS;

   Sammanfattning : 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. LÄS MER