Connectors as designs: Modeling, refinement and test case generation | |
Meng, Sun ; Arbab, Farhad ; Aichernig, Bernhard K. ; Astefanoaei, Lacramioara ; de Boer, Frank S. ; Rutten, Jan | |
2012 | |
关键词 | Connector Reo circuits Timed data sequence Design Refinement Test case generation COMPONENT CONNECTORS REWRITING LOGIC REO |
英文摘要 | Over the past years, the need for high-confidence coordination mechanisms has intensified as new technologies have appeared for the development of service-oriented applications, making formalization of coordination mechanisms critical. Unifying Theories of Programming (UTP) provide a formal semantic foundation not only for programming languages but also for various expressive specification languages. A key concept in UTP is design: the familiar pre/post-condition pair that describes a contract. In this paper we use UTP to formalize Reo connectors, whereby connectors are interpreted as designs in UTP. This model can be used as a semantic foundation for proving properties of connectors, such as equivalence and refinement relations between connectors. Furthermore, it can be used as a reference document for developing tool support for Reo, such as test case generators. A fault-based method to generate test cases for component connectors from specifications is also provided in this paper. For connectors, faults are caused by possible errors during the development process, such as wrongly used channels, missing or redundant subcircuits, or circuits with wrongly constructed topology. We give test cases and connectors a unifying formal semantics by using the notion of design in UTP, and generate test cases by solving constraints obtained from a specification and a faulty implementation. A prototype serves to demonstrate the automatization of the approach. (c) 2011 Elsevier B.V. All rights reserved.; Computer Science, Software Engineering; SCI(E); EI; 0; ARTICLE; 7-8,SI; 799-822; 77 |
语种 | 英语 |
出处 | SCI ; EI |
出版者 | science of computer programming |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/157537] |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Meng, Sun,Arbab, Farhad,Aichernig, Bernhard K.,et al. Connectors as designs: Modeling, refinement and test case generation. 2012-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论