Affiliation:
1. Siemens Corporate Research, Princeton, NJ
2. Technical University, Munich, Germany
Abstract
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their distributed, component-based applications. At the same time, it is necessary to test these components, especially during unit and integration testing.
At Siemens Corporate Research, we have addressed the issue of testing components by integrating test generation and test execution technology with commercial UML modeling tools such as Rational Rose; the goal being a design-based testing environment.
In order to generate test cases automatically, developers first define the dynamic behavior of their components via UML Statecharts, specify the interactions amongst them and finally annotate them with test requirements. Test cases are then derived from these annotated Statecharts using our test generation engine and executed with the help of our test execution tool. The latter tool was developed specifically for interfacing to components based on COM/DCOM and CORBA middleware.
In this paper, we present our approach to modeling components and their interactions, describe how test cases are derived from these component models and then executed to verify their conformant behavior. We outline the implementation strategy of our TnT environment and use it to evaluate our approach by means of a simple example.
Publisher
Association for Computing Machinery (ACM)
Reference21 articles.
1. Automatic generation of test scripts from formal test specifications
2. Beizer Boris Software Testing Techniques Second Edition. Van Nostrand Reinhold 1990.]] Beizer Boris Software Testing Techniques Second Edition. Van Nostrand Reinhold 1990.]]
3. On test case generation from asynchronously communicating state machines
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献