| 基于行为协议的构件软件静态测试研究 |
| |
| 引用本文： | 于素萍,杨偱杰.基于行为协议的构件软件静态测试研究[J].微机发展,2008,18(3):128-131. |
| |
| 作者姓名： | 于素萍 杨偱杰 |
| |
| 作者单位： | 河南大学计算机与信息工程学院 河南开封475004 |
| |
| 基金项目： | 河南省自然科学基金项目(0511011400)，河南省教育厅自然科学基金项目(2004520014) |
| |
| 摘 要： | 系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。
|
| 关 键 词： | 行为协议 静态测试 构件技术 |
| 文章编号： | 1673-629X(2008)03-0128-04 |
| 修稿时间： | 2007年6月18日 |
Research of Component Static Testing Based on Behavior Protocols |
| |
| YU Su-ping,YANG Xun-jie.Research of Component Static Testing Based on Behavior Protocols[J].Microcomputer Development,2008,18(3):128-131. |
| |
| Authors: | YU Su-ping YANG Xun-jie |
| |
| Affiliation: | YU Su-ping, YANG Xun-jie (College of Computer and Information Engineering, Henan University, Kaifeng 475004, China) |
| |
| Abstract: | Static analysis of systems allows discovering errors at design time and to avoid run-time error detection techniques that negatively impact performance of the systems.The article is based on the extent possible,to avoid passive component testing the wrong strategy for the basic ideology of a pair of component-based software for the static test methods.In this paper,use the communication model of database services component systems to abstract modeling, and integrate components to describe the system of interaction between components formal methods acts agreement.It can formally validate the protocol conformance in component system. |
| |
| Keywords: | behavior protocols static testing component technology |
| 本文献已被 CNKI 维普 等数据库收录！ |
