Model Test Case Specification SuT Environment Test Suite Test Case Selection Test Case Derivation Test Case Execution
نویسندگان
چکیده
In the previous chapters, various formal testing theories have been discussed. The correctness of an implementation with respect to a model is denoted by a so-called conformance relation. Conformance relations are relations between mathematical abstractions of implementations and models. Based on these conformance relations, different testing strategies have been defined. In this chapter, we concentrate on formal objects used to select test suites. These formal objects are so-called coverage criteria. A coverage criterion is a property that a selected test suite has to satisfy. We explore to which purposes these coverage criteria can be used for. Then we concentrate on the fault detection ability of a test suite satisfying a given coverage criterion.
منابع مشابه
Semi-Automatic Test Case Generation from CO-OPN Specifications
In this paper we will describe our work on automatic generation of tests for Systems Under Test (SUT) described in the CO-OPN specification language that has been developed in our laboratory. CO-OPN (Concurrent Object Oriented Petri Nets) is a formalism for describing concurrent software systems that possesses most of the characteristics we can find in mainstream semi-formal modeling languages....
متن کاملTest case selection for black-box regression testing of database applications
Context: This paper presents an approach for selecting regression test cases in the context of large-scale, database applications. We focus on a black-box (specification-based) approach, relying on classification tree models to model the input domain of the system under test (SUT), in order to obtain a more practical and scalable solution. We perform an industrial case study where the SUT is a ...
متن کاملDesign and Implementation of System Under Test for
—The test suites of protocol conformance released by European Telecommunications Standards Institute (ETSI) are used to examine whether user equipment (UE) conforms to the specified protocols. For developers and engineers, the workflow of test case is very helpful to comprehend the technical specifications. However, all the test suites developed in TTCN3 language can not be run without buildin...
متن کاملA Methodology and a Framework for Model-Based Testing
In this paper we will present a survey on the test case generation process and tools we are currently developing. It will reflect the new ideas that we’re pursuing while keeping in mind our previous work on formal specification languages and theory of test case generation. The model based test case generation method we propose is based on a subset of the Unified Modelling Language (UML) and the...
متن کاملCooperative Testing of Timed Systems
This paper deals with targeted testing of timed systems whose models may have uncontrollable behavior. The testing activity is viewed as a game between the tester and the system under test (SUT) towards a given test purpose. The SUT is modeled as Timed Game Automaton and the test purpose is specified in Timed CTL formula. We employ a timed game solver UPPAAL-TIGA to check if the test purpose is...
متن کامل