Executing Abstract Test Cases * 1i Ntroduction
نویسندگان
چکیده
Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a rule based test execution framework, which allows the execution of abstract test cases. Furthermore, we present first results from testing a so called SIP Registrar by executing abstract test cases derived with the TGV tool from a formal specification.
منابع مشابه
Executing Abstract Test Cases
Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a...
متن کاملCharacterization of preferential solute transport in soil
CHAPTER L GENERAL INTRODUCTION 1 [ntroduction I Dissertation Organization 4 References 5 CHAPTER 2. EVALUATION OF A SIMPLE METHOD FOR ESTIMATING SOLUTE TRANSPORT PAR.\>4ETERS: LABORATORY STUDIES 9 Abstract 9 [ntroduction 10 Materials and Methods 13 Results and Discussion 16 Conclusions 22 References 23 CHAPTER 3. A TIME DOMAIN REFLECTOMETRY METHOD TO MEASURE IMMOBILE WATER CONTENT AND MASS EXCH...
متن کاملA test framework for executing model-based testing in embedded systems
Model Driven Development (MDD) and Model Based Testing (MBT) are gaining inroads individually for their application in embedded software engineering projects. However, their full-fledged and integrated usage in real-life embedded software engineering projects (e.g. industrially relevant examples) and executing MBT in resource constrained embedded systems (e.g. 16 bit system/64 KiByte memory) ar...
متن کاملTest Case Generation Using Model Checking for Software Components Deployed into New Environments
In this paper, we show how to generate test cases for a component deployed into a new software environment. This problem is important for software engineers who need to deploy a component into a new environment. Most existing model based testing approaches generate models from high level specifications. This leaves a semantic gap between the high level specification and the actual implementatio...
متن کاملTowards Earlier Fault Detection by Value-Driven Prioritization of Test Cases Using Fuzzy TOPSIS
Software testing in industrial projects typically requires large test suites. Executing them is commonly expensive in terms of effort and wall-clock time. Indiscriminately executing all available test cases leads to sub-optimal exploitation of testing resources. Selecting too few test cases for execution on the other hand might leave a large number of faults undiscovered. Limiting factors such ...
متن کامل