Test-Case Calculation through Abstraction
نویسنده
چکیده
This paper discusses the calculation of test-cases for interactive systems. A novel approach is presented that treats the problem of test-case synthesis as an abstraction problem. The refinement calculus is used to formulate abstraction rules for calculating correct test-case scenarios from a formal contract. This abstraction calculus results in a synthesis method that, does not need to compute a finite state machine. This is in contrast to previous work on testing from state-based specifications. A well known example from the testing literature serves to demonstrate this unusual application of the refinement calculus in order to synthesize tests rather than implementations.
منابع مشابه
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
This article discusses the calculation of test-cases for interactive systems. A novel approach is presented that treats the problem of test-case synthesis as a formal abstraction problem. It is shown that test-cases can be viewed as formal contracts and that such test-cases are in fact abstractions of requirements speci cations. The re nement calculus of Back and von Wright is used to formulate...
متن کاملارزیابی رابطه SCS در تعیین تلفات اولیه باران در حوضه های آبریز
The main scope of this research is evaluation of Soil Conservation Service Procedure in derivation of initial abstraction of precipitation in watershed scale. For this purpose Dalaki watershed which is located in south east of Iran was selected then by using hec-hms and GIS models and a number of observed rainfall runoff events some parameters like CN of watershed ,K and X of Muskingam meth...
متن کامل“Fractal” Types: an Attempt to Generalize Hash Table Calculation
This paper addresses a class of generic program calculations which aim at introducing concurrency into programs by changing data-structure representations. The approach will be restricted to the fairly common situation in which the calculated program (implementation) runs at a level of abstraction lower than that of the starting program (specification). This conforms to the following quotation ...
متن کاملReaction class transition state theory: Hydrogen abstraction reactions by hydrogen atoms as test cases
We present a new method called Reaction Class Transition State Theory ~RC-TST! for estimating thermal rate constants of a large number of reactions in a class. This method is based on the transition state theory framework within the reaction class approach. Thermal rate constants of a given reaction in a class relative to those of its principal reaction can be efficiently predicted from only it...
متن کاملTest Purpose Concretization through Symbolic Action Refinement
In a Model Driven Design process, model refinement methodologies allow one to denote system behaviors at several levels of abstraction. In the frame of a model-based testing process, benefits can be taken from such refinement processes by extracting test cases from the different intermediate models. As a consequence, test cases extracted from abstract models often have to be concretized in orde...
متن کامل