A Component Oriented Notation for Behavioural Specification and Validation

Abstract : Component software development is definitely on a high trend in the sofware engineering field. However, integrating components which the producer does not have complete control over increases the risk of getting unexpected software behavior. So developing components for reuse by third-party integrators is a challenging task that one can make easier if the behavior of these software components is precisely specified. In this paper, we introduce a specification language complementing the interface definition language IDL3 proposed by OMG to describe CORBA Component Model compliant components. This specification language is based on communication history : the sequence of observable events - method calls, return of method calls, events, exceptions -- that occurred since the system has been started. It allows us to characterize the functional behavior of components by way of invariants : an interface invariant specifies a contract between a component that provides it and each of its clients, whereas a component invariant constraints the whole communication between one component and all its clients and servers. We propose a procedure based on this notation for generating specification-based test cases adapted to unit testing and discuss how to use this notation for validation purposes.
Type de document :
Communication dans un congrès
Dimitra Giannakopoulou and Gary T. Leavens and Murali Sitaraman. Proc. of OOPSLA 2001 Specification and Verification of Component-Based Systems Workshop, 2001, Tampa, Florida, United States. Technical Report ISU TR \#01-09 of Iowa State University, 2001
Liste complète des métadonnées

https://hal.inria.fr/inria-00546619
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : mardi 14 décembre 2010 - 14:44:24
Dernière modification le : mardi 24 avril 2018 - 13:34:58

Identifiants

  • HAL Id : inria-00546619, version 1

Collections

Citation

Isabelle Ryl, Mireille Clerbout, Arnaud Bailly. A Component Oriented Notation for Behavioural Specification and Validation. Dimitra Giannakopoulou and Gary T. Leavens and Murali Sitaraman. Proc. of OOPSLA 2001 Specification and Verification of Component-Based Systems Workshop, 2001, Tampa, Florida, United States. Technical Report ISU TR \#01-09 of Iowa State University, 2001. 〈inria-00546619〉

Partager

Métriques

Consultations de la notice

71