For partial, nondeterministic, finite state machines, a new conformance relation called strong reduction is presented. It complements other existing relations in the sense that well suited for model-based testing of systems whose inputs are enabled or disabled, depending on actual system state. Examples such graphical user interfaces and with can be disabled mechanical way. We present test gene...

The ever increasing complexity of contemporary software products advise the application of stateof-the-art software engineering techniques. However, the setup, configuration and implementation in the project team is a demanding task. This paper acts as a guideline through the forest of several important aspects of software development as there are: daily builds using automated testing, black bo...

A black-box testing strategy based on Zweben et al.’s specification-based test data adequacy criteria is explored. The approach focuses on generating a flowgraph from a component’s specification and applying analogues of white-box strategies to it. An experimental assessment of the fault-detecting ability of test sets generated using this approach was performed for three of Zweben’s criteria us...

We consider an approach to testing that combines white-box and black-box techniques. Black-box testing is used for testing a program's e ects against its speci cation. White-box testing is essential if subtle implementation errors are to be identi ed, e.g., errors due to race conditions. Full white-box testing is a large task. However, for many properties, only a small portion of the program is...

This document describes the test estimate preparation technique known as test point analysis (TPA). TPA can be used to objectively prepare an estimate for a system test or acceptance test. TPA covers only so-called black-box testing; an estimate for the test activities, which precede black-box testing (i.e. white-box testing), will already have been included in the estimate produced by function...

Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternative is to use one of a variety of automatic unit test generation tools: these are able to produce and execute a large number of test inputs that extensively exercise the unit under test. However, without a priori specifi...