Library-Based Design and Consistency Checking of System-Level Industrial Test Cases

Niese, Oliver; Steffen, Bernhard; Margaria, Tiziana; Hagerer, A.; Brune, Georg; Ide, Hans-Dieter

doi:10.1007/3-540-45314-8_17

Cited by 33 publications

(14 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A major result is the Integrated Test Environment (ITE) [26], which provides a holistic approach for testing modeled systems. According to this approach, test cases and entire test suites are modeled as SLGs, based on a library of test blocks (i.e., SIBs).…”

Section: Related Workmentioning

confidence: 99%

Back-To-Back Testing of Model-Based Code Generators

Jörges

Steffen

2014

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Self Cite

View full text Add to dashboard Cite

Abstract. In this paper, we present the testing approach of the Genesys code generator framework. The employed approach is based on back-toback-testing, which tests the translation performed by a code generator from a semantic perspective rather than just checking for syntactic correctness of the generation result. We describe the basic testing framework and show that it scales in three dimensions: parameterized tests, testing across multiple target platforms and testing on multiple meta-levels.In particular, the latter is only possible due to the fact that Genesys code generators are constructed as models. Furthermore, in order to facilitate simplicity, Genesys consistently employs one single notation for all artifacts involved in this testing approach: Test data, test cases, the code generators under test, and even the testing framework itself are all modeled using the same graphical modeling language.

show abstract

Section: Related Workmentioning

confidence: 99%

Back-To-Back Testing of Model-Based Code Generators

Jörges

Steffen

2014

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Self Cite

View full text Add to dashboard Cite

show abstract

“…It is, e.g. imaginable to attach test cases (themselves modelled as SLGs [62]) to the SLGs of a modelled application. Along with the source code for the application, the code generators could then also translate the test cases to source code for a common testing framework like e.g.…”

Section: Lessons Learnedmentioning

confidence: 99%

Genesys: service-oriented construction of property conform code generators

Jörges

Margaria

Steffen

2008

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

This paper presents Genesys, a framework for the high-level construction of property conform code generators. Genesys is an integral part of jABC, a flexible framework designed to enable a systematic model-driven development of systems and applications on the basis of an (extensible) library of well-defined, reusable building blocks. Within jABC, Genesys manages the construction of code generators for jABC's models. So far, Genesys has been used to develop code generators for a variety of different target platforms, like a number of Java-based platforms, mobile devices, BPEL engines, etc. Since the code generators are themselves built within the jABC in a model-driven way, concepts like bootstrapping and reuse of existing components enable a fast evolution of Genesys' code generation library, and a high degree of self-application. Due to its increasing complexity and its high degree of reuse, Genesys profits from model checking-based verification. This way, jABC's models of code generators can be automatically checked wrt. wellformedness properties, to ensure that the models do indeed only consist of building blocks which are suitable for the considered target platforms, and whose versions are mutually compatible. It can be also be verified that the code generation process only starts after a successful initialization phase, and that the generated code is always packaged with all the required libraries. We will illustrate the ease of extension and flexibility of the Genesys framework by describing the

show abstract

“…As explained thoroughly in [4], design of test cases is constantly accompanied by online verification of the global correctness and consistency of the test cases' control flow logic. During the design phase, vital properties concerning the usage of parameters (local properties) and concerning the interplay between the stimuli and verification actions of a test case (global properties) can be verified.…”

Section: Verification Support Featuresmentioning

confidence: 99%

“…A companion paper [4] describes the problem of systems integrated testing in its conceptual application modelling focus. Here and in [5], the concept's implementation is exemplified in case of automated integrated testing of a Computer Telephony Integration (CTI) system.…”

mentioning

confidence: 99%

Demonstration of an Automated Integrated Testing Environment for CTI Systems

Niese¹,

Nagelmann²,

Hagerer³

et al. 2001

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

We demonstrate the Integrated Testing Environment, ITE, an environment for automated and integrated testing at system level. A companion paper [4] describes the problem of systems integrated testing in its conceptual application modelling focus. Here and in [5], the concept's implementation is exemplified in case of automated integrated testing of a Computer Telephony Integration (CTI) system. The CTI system consists of a switch, an automatic call distributor, and a suite of applications forming a call center and supporting the tasks of a center's human agent, e.g., applications that enable an agent to log-on/log-off at the call distributor, or to initiate conference calls with other agents.In the ITE, each hardware and software component of the CTI system is controlled by its own test tool, e.g., a proprietary hardware tracer for the switch or a GUI test tool such as Rational SQA Robot [6] for the applications. Coordinating which action has to be performed by which test tool is under responsibility of the Test Coordinator, a tool built on top of METAFrame Technologies' Agent Building Center (ABC) [2], a general-purpose environment for specification and verification of complex workflows.As outlined in the following sections, the ITE supports the design of test cases including the verification of their consistency, the interactive combination of test cases resulting in test scenarios, and the execution of test cases and test scenarios in the heterogenous processing environment of CTI systems. Design Support FeaturesSystem testing is characterized by focussing on inter-components cooperation. For the design of appropriate system-level test cases it is necessary to know what features the system provides, how to operate the system in order to stimulate a feature, and how to determine if features work. This information is gathered

show abstract

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases

Cited by 33 publications

References 4 publications

Back-To-Back Testing of Model-Based Code Generators

Back-To-Back Testing of Model-Based Code Generators

Genesys: service-oriented construction of property conform code generators

Demonstration of an Automated Integrated Testing Environment for CTI Systems

Contact Info

Product

Resources

About