Skip to Main content Skip to Navigation
Reports

Using UML Protocol State Machines in Conformance Testing of Components

Dirk Seifert 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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 input sequences. Therefore we use UML protocol state machines to specify restricted environment models. This means that we restrict the valid protocol at the provided interface of the component under test with respect to a specific test purpose. Based on these models we select relevant input sequences. We implemented both extensions presented here in our TEAGER tool suite to show their applicability. Both extensions address the behavior at the interfaces of components. We use UML state machines as a unified notation for behavioral and protocol conformance testing as well as for test input selection. This considerably eases the work of test engineers.
Document type :
Reports
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/inria-00274383
Contributor : Jeanine Souquières <>
Submitted on : Friday, April 18, 2008 - 11:22:14 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Friday, September 28, 2012 - 12:47:33 PM

File

seifert-inria-02.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00274383, version 1

Collections

Citation

Dirk Seifert, Jeanine Souquières. Using UML Protocol State Machines in Conformance Testing of Components. [Research Report] 2008. ⟨inria-00274383⟩

Share

Metrics

Record views

197

Files downloads

126