Search for dissertations about: "black box testing"

Showing result 1 - 5 of 23 swedish dissertations containing the words black box testing.

  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. Automating Black-Box Property Based Testing

    Author : Jonas Almström Duregård; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. READ MORE

  5. 3. Empirical Studies of Software Black Box Testing Techniques : Evaluation and Comparison

    Author : Richard Torkar; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    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. Normally, a software engineer goes through a certain process to establish that the software follows a given specification. READ MORE

  6. 4. Property-based testing for functional programs

    Author : Nicholas Smallbone; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

    Abstract : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. READ MORE

  7. 5. Model-Based Test Case Generation for Real-Time Systems

    Author : Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
    Keywords : Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

    Abstract : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. READ MORE