Sökning: "software model checking"

Visar resultat 31 - 35 av 57 uppsatser innehållade orden software model checking.

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

  3. 32. A Discrete Büchi Automata Distance for Formal Methods Based Control

    Master-uppsats, KTH/Reglerteknik

    Författare :Garrett Thomas; [2017]
    Nyckelord :;

    Sammanfattning : Formal methods are valuable design validation techniques which ensure thecorrectness of hardware and software design. Recently, the formal methodstechnique of model checking using temporal logics has shown great promisein the field of control and task planning synthesis, as it allows for the formulationof complex tasks and provides an automatic and exhaustive search of allpossible paths. LÄS MER

  4. 33. Learning-based testing of automotive ECUs

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Bäckström Sophia; [2016]
    Nyckelord :Software testing;

    Sammanfattning : LBTest is a learning based-testing tool for black box testing, developed by the software reliability group at KTH. Learning based-testing combines model checking with a learning algorithm that incrementally learns a model of the system under test, which allows for a high degree of automation. LÄS MER

  5. 34. Extracting analyzable models from multi-threaded programs

    Master-uppsats, Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska högskolan

    Författare :Athanasios Karetsos; [2015]
    Nyckelord :;

    Sammanfattning : As technology evolves, the need to use software for critical applications increases. It is then required that this software will always behave correctly. Verification is the process of formally proving that a program is correct. LÄS MER

  7. 35. Jet flow simulations of Baihetan hydropower station’s discharge surface spillways

    Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för tillämpad fysik och elektronik

    Författare :Benjamin Blomqvist; Britta Rönntoft; [2015]
    Nyckelord :CFD; Baihetan; spillway; hydropower;

    Sammanfattning : This project was performed in order to determine if numerical simulations can be used to predict the spreading of a water jet that exits the discharge surface spillways of Baihetan hydropower station. If the spreading ranges can be predicted correctly using numerical simulations, the pressure distribution in the plunge pool downstream the dam can be determined. LÄS MER