Conformance Testing of Interacting Components
نویسندگان
چکیده
منابع مشابه
Using UML Protocol State Machines in Conformance Testing of Components
In previous works we designed a comprehensive approach for conformance testing based on UML behavioral state machines. In this paper we propose two extensions to this approach. First, we apply our approach in the context of a component-based development, and address the problem of checking the interoperability of two connected components. Second, we address the problem of selecting relevant inp...
متن کاملModel-Based Testing of Environmental Conformance of Components
In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a way of checking the correctness of a component by means of executing test cases that are systematically generated from a model of the component. This model should include the behaviour of how the component can be invoked, as well...
متن کاملNISTIR 6592 Conformance Testing of Object - Oriented Components Specified
In object-oriented software development, a class is the basic unit of semantic abstraction, a component is a closely related collection of classes, and a system is a collection of components designed to solve a problem. An object is an instance of a class. Each object consists of state and behavior, where state is determined by the values of state variables identified in the class definition, a...
متن کاملConformance Testing for Statecharts
We describe an approach to automatically generate test cases from object-oriented statecharts as they are used in the UML and supported by development tools such as I-Logics Rhapsody. Applying Tretmans’ approach to generate test cases for I/O automata from labeled transition systems, we consider a statechart as a specification of a system under test. Test cases generated from such a specificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.104.1