Unit Testing for CASL Architectural Specifications
نویسندگان
چکیده
The problem of testing modular systems against algebraic specifications is discussed. We focus on systems where the decomposition into parts is specified by a Casl-style architectural specification and the parts (units) are developed separately, perhaps by an independent supplier. We consider how to test such units without reference to their context of use. This problem is most acute for generic units where the particular instantiation cannot be predicted.
منابع مشابه
H ETS User Guide – Version 0 . 85 –
The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...
متن کاملH ETS User Guide –
The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...
متن کاملChecking Amalgamability Conditions for C ASL Architectural Specifications
Casl, a specification formalism developed recently by the CoFI group, offers architectural specifications as a way to describe how simpler modules can be used to construct more complex ones. The semantics for Casl architectural specifications formulates static amalgamation conditions as a prerequisite for such constructions to be well-formed. These are non-trivial in the presence of subsorts du...
متن کاملSemantics of Architectural Specifications in CASL
We present a semantics for architectural specifications in Casl, including an extended static analysis compatible with modeltheoretic requirements. The main obstacle here is the lack of amalgamation for Casl models. To circumvent this problem, we extend the Casl logic by introducing enriched signatures, where subsort embeddings form a category rather than just a preorder. The extended model fun...
متن کاملArchitectural Specifications for Reactive Systems
This paper concerns the problem of building reactive systems in a modular way. Several institutions have been proposed for the specification of reactive systems throughout the last fifteen years. Based on the institutions, formalisms for the incremental construction of system specifications have been developed. Related problem of modular construction of system implementations has received less ...
متن کامل