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

摘要

虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难.分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法.首先对时间自动机进行扩展,给出了描述实时构件的模型；然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法；最后用一个实例展示了该方法的具体使用.%Although component-based software development has gained widespread use, composition of the component-based 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.