-
题名一种改进的组件事务特征一致性测试算法
- 1
-
-
作者
赵会群
孙 晶
王国仁
高 远
-
机构
北方工业大学计算机科学系
东北大学计算机科学与工程系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第6期718-724,共7页
-
基金
本课题得到科技部科技型中小企业技术创新基金(00C26211300507)
国家"八六三"高技术研究发展计划项目(863-511-946-003)
+1 种基金
国家教委优秀青年教师教学
科研奖励计划基金资助
-
文摘
软件体系结构描述语言(Architecture Description Language,ADL)Rapide提出了一种全局组件事务一致性测试方法,但未讨论组件之间事务一致性问题,在对组件事务管理机制分析的基础上,提出了一种改进的组件事务特征一致性测试算法.改进算法增加了对组件之间事务(称为局部组件事务)一致性的测试,从而提高了算法的检测能力,并在只有局部组件事务不一致发生时,算法的执行时间由原来的O(n2)降为O(n).从理论和实验两个方面证明了改进算法的有效性.
-
关键词
组件事故特征
一致性测试算法
软件测试
软件体系结构
-
Keywords
software test, component transaction, ADL, Rapide
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-