Essays about: "automated test case generation"

Showing result 16 - 20 of 32 essays containing the words automated test case generation.

  1. 16. Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Oscar Holm; [2019]
    Keywords : safety critical system; safety critical software; MC DC; quality assurance; software engineering; Modified Condition Decision Coverage; automated testing; test case generation; SAT solving; Z3; Dextool; model checking; static analysis;

    Abstract : The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. READ MORE

  3. 17. AN EVALUATION OF MODEL-BASED TESTING IN INDUSTRIAL PRACTICE: FROM SYSTEM MODELLING TO TEST GENERATION.

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

    Author : Aliya Hussain; [2018]
    Keywords : ;

    Abstract : Vehicular systems have become intensively sophisticated and their software content has increased swiftly in this era. While developing the vehicular software, the requirements which should be satisfied are more complex in comparison to other types of software. READ MORE

  4. 18. Generation and Validation of Network Configuration for Evolved Packet Core

    University essay from Blekinge Tekniska Högskola

    Author : Rohith Reddy Jonnalagadda; [2018]
    Keywords : NFV; virtual-EPC; VNF’s; EPG; SGSN-MME; SAPC;

    Abstract : Context: In the recent times, Industries are employing network function virtualization (NFV) for improved deployment flexibility, built for the most demanding environments. The benefits of Ericsson virtual Evolved Packet Core includes all the benefits of NFV and provides verified solutions addressing a large number of vertical use-cases. READ MORE

  5. 19. Generation and Validation of Network Configuration for Evolved Packet Core

    University essay from Blekinge Tekniska Högskola

    Author : Shiva Sai Sunkari; [2018]
    Keywords : NFV; virtual-EPC; VNF’s; EPG; SGSN-MME; SAPC;

    Abstract : Context: In recent times, Industries are employing network function virtualization (NFV) for improved deployment flexibility, built for the most demanding environments. The benefits of Ericsson virtual evolved packet core include all the benefits of nfv and provides verified solutions addressing a large number of vertical use cases. READ MORE

  6. 20. ON THE USE OF BASE CHOICE STRATEGY FOR TESTING INDUSTRIAL CONTROL SOFTWARE

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

    Author : Simon Eklund; [2018]
    Keywords : ;

    Abstract : Testing is one of the most important parts of software development. It is used to ensure that the software is of a certain quality. In many situations it is a time consuming task that is manually performed and error prone. READ MORE