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

• 作者: 于素萍 杨偱杰
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 行为协议 静态测试 构件技术
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 128-131
• 页数: 4页
• 分类号: TP311.5
• 字数: 3420字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2008.03.036

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于素萍	河南大学计算机与信息工程学院	4	5	1.0	2.0
2	杨偱杰	河南大学计算机与信息工程学院	1	0	0.0	0.0