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

摘要：

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

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

所属期刊栏目：39

分类号：TP306(计算技术、计算机技术)

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

在线出版日期：2012-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：133-137