[1]于素萍 杨循杰.基于行为协议的构件软件静态测试研究[J].计算机技术与发展,2008,(03):128-131.
　YU Su-ping,YANG Xun-jie.Research of Component Static Testing Based on Behavior Protocols[J].,2008,(03):128-131.
点击复制

基于行为协议的构件软件静态测试研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2008年03期
页码:
128-131
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research of Component Static Testing Based on Behavior Protocols
文章编号:
1673-629X（2008）03-0128-04
作者:
于素萍 杨循杰
河南大学计算机与信息工程学院
Author(s):
YU Su-ping;  YANG Xun-jie
College of Computer and Information Engineering, Henan University
关键词:
行为协议; 静态测试; 构件技术
Keywords:
behavior protocols;  static testing;  component technology
分类号:
TP311.5
文献标志码:
A
摘要:
系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性
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 wro

相似文献/References:

[1]张术梅 孙辉.基于UML的面向对象软件静态测试方法的研究[J].计算机技术与发展,2007,(01):125.
　ZHANG Shu-mei,SUN Hui.Research on Method of Object - Oriented Software Static Testing Based on UML[J].,2007,(03):125.
[2]周珊,杨雅雯,王金波. 航天高可靠FPGA测试技术研究[J].计算机技术与发展,2017,27(03):1.
　ZHOU Shan,YANG Ya-wen,WANG Jin-bo. Research on High Reliable FPGA Test Technology on Spaceflight[J].,2017,27(03):1.
[3]赵正旭,梅成芳,张强.嵌入式软件静态测试方法研究[J].计算机技术与发展,2019,29(03):64.[doi:10.3969/ j. issn.1673-629X.2019.03.013]
　ZHAO Zheng-xu,MEI Cheng-fang,ZHANG Qiang.Research on Static Testing Method of Embedded Software[J].,2019,29(03):64.[doi:10.3969/ j. issn.1673-629X.2019.03.013]

备注/Memo

备注/Memo:
河南省自然科学基金项目（0511011400）;河南省教育厅自然科学基金项目（2004520014）于素萍（1981-），女，河南洛阳人，硕土研究生，主要研究方向为软件测试；杨循杰，讲师，研究方向为软件设计、软件测试
更新日期/Last Update: 1900-01-01