Essays about: "automated test case generation"

Showing result 21 - 25 of 32 essays containing the words automated test case generation.

  1. 21. Automatic Test Assessment and Verdict Generation by CAN Monitoring

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : MILIVOJ LÄRFARS PERSSON; [2016]
    Keywords : ;

    Abstract : In this thesis the author presents an investigation on how to automate and streamline in-vehicle testing by developing a novel automated in-vehicle testing tool. The developed software architecture aims to reduce the amount of manual labor in order to decrease the time necessary to perform the manual in-vehicle tests. READ MORE

  3. 22. Model-based Testing on Generated C Code

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

    Author : Athanasios Stratis; [2015]
    Keywords : model-checker; cpachecker; testing;

    Abstract : In this master thesis we investigated whether it is possible to use automatically generated C code from Function Block Diagram models as an input to the CPAchecker model checker in order to generate automated test cases. Function Block Diagram is a non-executable programming and modeling language. READ MORE

  4. 23. Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution

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

    Author : Sebastian Kunze; [2015]
    Keywords : ;

    Abstract : .... READ MORE

  5. 24. Automated regression test of a communication stack

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : Marthina Jönsson; [2015]
    Keywords : ;

    Abstract : This thesis investigates possible solutions for testing a communication stack. The communication stack is a part of a communication module at Scania CV AB which is called SCOMM. This module handles diagnostic communication over CAN and shall conform to CAN-related ISO standards. READ MORE

  6. 25. KeYTestGen2: an automatic, verification-driven test case generator

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

    Author : Christopher Svanefalk; [2014-10-01]
    Keywords : ;

    Abstract : Software testing is a verification technique common in contemporary software engineering processes, both the development of the system itself, as well as subsequent quality assurance, maintenance and extension. It suffers, however, from the drawback that writing high quality test cases is an error prone and resource heavy process. READ MORE