Search for dissertations about: "testing techniques"

Showing result 1 - 5 of 491 swedish dissertations containing the words testing techniques.

  2. 1. Towards Automated Software Testing : Techniques, Classifications and Frameworks

    Author : Richard Torkar; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

    Abstract : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. READ MORE

  4. 2. Testing of Heterogeneous Systems

    Author : Nauman Ghazi; Blekinge Tekniska Högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testing; Heterogeneous systems; Information sources; Test selection;

    Abstract : Context: A system of systems often exhibits heterogeneity, for instance in implementation, hardware, process and verification. We define a heterogeneous system, as a system comprised of multiple systems (system of systems) where at least one subsystem exhibits heterogeneity with respect to the other systems. READ MORE

  5. 3. Language-Based Techniques and Stochastic Models for Automated Testing

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

    Abstract : 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. READ MORE

  6. 4. 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

  7. 5. On the Industrial Applicability of Visual GUI Testing

    Author : Emil Alégroth; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Empirical Research; Industrial Case Study; Automated Testing; Industrial Applicability; System Testing; Software Engineering; Visual GUI Testing;

    Abstract : There is constant pressure on the software development industry to improve software quality and deliver new and innovative software faster and more efficiently. These demands affect all aspects of software development, from requirements engineering to testing. READ MORE