This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

Metamorphic testing is a promising technique for testing software systems when the oracle
problem exists, and has been successfully applied to various application domains and …

A conceptual model is used to support development and design within the area of systems
and software modeling. The notion of validation refers to representing a domain in a model …

In this paper we present a case study of applying combinatorial testing to test a
combinatorial test generation tool called ACTS. The purpose of this study is two-fold. First …

For functional testing based on the input domain of a functionality, parameters and their
values are identified and a test suite is generated using a criterion exercising combinations …

Use cases are commonly used to structure and document requirements while UML activity
diagrams are often used to visualize and formalize use cases, for example to support …

Combination strategies are test methods that generate test cases based on input parameter
models. This paper suggests a structured modeling method used to translate requirements …

Test case generation based on design specifications is an important part of testing
processes. In this paper, Unified Modeling Language activity diagrams are used as design …

A key technical challenge in software testing is the design of useful test cases. Test design
can be based on a variety of software artifacts, including requirements, designs, or even the …

An early step for most black-box testing methods is to identify a set of categories and choices
(or their equivalents) from the specification. The identification is often performed in an ad hoc …