Search for dissertations about: "automatic software testing"

Showing result 1 - 5 of 28 swedish dissertations containing the words automatic software testing.

2. 1. Techniques for Automatic Generation of Tests from Programs and Specifications

   Author : Jon Edvardsson; Mariam Kamkar; Maud Göthe-Lundgren; Jeff Offutt; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; automatic test data generation; partition testing; constraint solving; program coverage; specification coverage; Software engineering; Programvaruteknik;

   Abstract : Software testing is complex and time consuming. One way to reduce the effort associated with testing is to generate test data automatically. This thesis is divided into three parts. In the first part a mixed-integer constraint solver developed by Gupta et. READ MORE

4. 2. Improving Software Security by Preventing Known Vulnerabilities

   Author : David Byers; Nahid Shahmehri; David Basin; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software security; software process improvement;

   Abstract : From originally being of little concern, security has become a crucial quality factor in modern software. The risk associated with software insecurity has increased dramatically with increased reliance on software and a growing number of threat agents. Nevertheless, developers still struggle with security. READ MORE

5. 3. Automatic test generation for industrial control software

   Author : Eduard Enoiu; Daniel Sundmark; Mats Heimdahl; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic test generation; software testing; automated test generation; Computer Science; datavetenskap;

   Abstract : Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. READ MORE

6. 4. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving

   Author : Hans Svensson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; distributed algorithms; fault-tolerance; theorem proving; verification; distributed programming; Erlang; model checking; testing;

   Abstract : Software infiltrates every aspect of modern society. Production, transportation, entertainment, and almost every other sphere that influences modern living are either directly or indirectly dependent on software systems. READ MORE

7. 5. Models for Estimation of Software Faults and Failures in Inspection and Test

   Author : Per Runeson; Institutioner vid LTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; failures; usage based testing; usage model; statistical testing; faults; capture-recapture; inspections; software quality; software reliability; experiments; Computer science; numerical analysis; systems; control; Datalogi; numerisk analys; system; kontroll;

   Abstract : In software engineering, the quality of software and in particular the software reliability has to be controlled and improved. Hence there is a need for measuring and controlling the number and appearance of software faults and failures. READ MORE