Sökning: "Property-Based Testing"

Visar resultat 6 - 10 av 13 avhandlingar innehållade orden Property-Based Testing.

  1. 6. Language-Based Techniques and Stochastic Models for Automated Testing

    Författare :Claudio Agustin Mista; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated testing; software testing; stochastic methods; meta-programming; functional programming;

    Sammanfattning : As software systems become bigger and scarier, automating their testing is crucial to ensure that our confidence in them can keep up with their growth. In this setting, Generational Fuzzing and Random Property-Based Testing are two sides of the same testing technique that can help us find bugs effectively without having to spend countless hours writing unit tests by hand. LÄS MER

  3. 7. Towards Augmented Exploratory Testing

    Författare :Stefan Karlsson; Adnan Causevic; Sundmark Daniel; Emil Alégroth; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : Software systems have an increasing presence in our society. With our infrastructure, such as food and water supply, controlled by complex software systems, it is essential to keep failures to a minimum. LÄS MER

  4. 8. Enumerative Testing and Embedded Languages

    Författare :Jonas Almström Duregård; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis explores rapid experimental development of programming languages, with particular emphasis on effective semi-automatic testing. Our results are actualised in two Haskell libraries: BNFC-meta and Feat.BNFC-meta is an extension of the BNF Converter (BNFC) tool. LÄS MER

  5. 9. On the Design and Testing of Dependable Autonomous Systems

    Författare :Benjamin Vedder; Magnus Jonsson; Jonny Vinter; Zbigniew Kalbarczyk; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Designing software-intensive embedded systems for dependable autonomous applications is challenging. In addition to fulfilling complex functional requirements, the system must be safe under all operating conditions, even in the presence of faults. LÄS MER

  7. 10. On intelligent automation systems

    Författare :Endre Erös; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated planning; Automation; testing and coverability.; modeling; virtual preparation and commissioning; robot operating system;

    Sammanfattning : Developing automation systems that are capable of handling dynamic and unpredictable situations is a challenging task, as it requires adapting to a changing environment and managing potentially unforeseen action outcomes. In contrast to traditional automation, where control code is explicitly pro- grammed, a model-based approach might be a more appropriate solution for automating such systems. LÄS MER