构件组装实时系统行为相容性测试用例产生  

Behavioral Compatibility Test Generation of Component-based Real-time System

作　　者：席琳[1] 周清雷[1] 李平[1,2] 

机构地区：[1]郑州大学信息工程学院,郑州450001 [2]信息工程大学电子技术学院,郑州450004

出　　处：《计算机科学》2012年第9期133-137,共5页Computer Science

基　　金：国家高技术研究发展计划(863)项目(2007AA010408)资助

摘　　要：虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法。首先对时间自动机进行扩展,给出了描述实时构件的模型;然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法;最后用一个实例展示了该方法的具体使用。Although component-based software development has gained widespread use,composition of the componentbased real-time system is still complicated and error-prone.This paper presented an approach for behavioral compatibility test generation of component-based real-time system.Necessary extensions of timed automata（TA）were proposed such that the new model can describe the real-time component.Then,a compatibility coverage criterion was proposed and the behavioral compatibility test generation was converted into reachability analysis of the model,based on which the corresponding algorithm was given.Finally,through an example we demonstrated how our technique works and performs.

关 键 词：构件 实时系统 行为相容性 测试用例产生 时间自动机 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]