文章基本信息

标题：Model-based Testing and Analysis of Coordinated Components
本地全文：下载
作者：Gabriel Ciobanu ; Dorel Lucanu
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2009
卷号：20
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：Software components are common in the open source community. These components can be specified in model languages like AsmL or JML by using contracts (preconditions, postconditions). Starting from an integrated specification (components, coordinating process, wrapper), a model program is defined and used to define the formal semantics of the whole system. The relationship between coordinator and components are expressed as abisimulation. The model program can be used for conformance testing and generating test case suites when working with closed systems, and for scenario-based testing when working with reactive systems.