基于行为协议的构件软件静态测试研究

摘要：

系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响.基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法.采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性.

关键词：行为协议、静态测试、构件技术

所属期刊栏目：18

分类号：TP311.5(计算技术、计算机技术)

资助基金：河南省自然科学基金0511011400;河南省教育厅自然科学基金2004520014

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

页数：共4页

页码：128-131