期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于数据流的组件测试

Test of Software Component Using Data Flow Testing
下载PDF
导出
摘要 用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法.按照全使用数据流测试准则,自动生成组件流图的定义-使用路径集. Component state machine （CSM） is used to model the behavior of component under test. We design an algorithm transforming CSM into a component flow graph that describes control and data flows among states, transitions, and guards of transitions in the CSM. We then propose a data flow graph-based approach to test component. The du-path set of a component flow graph can be generated automatically according to all-use criterion for data flow testing.
作者 曾红卫 周建云
机构地区 上海大学计算机工程与科学学院
出处 《应用科学学报》 CAS CSCD 北大核心 2007年第6期621-626,共6页 Journal of Applied Sciences
基金 国家自然科学基金(60673115) 软件工程国家重点实验室开放基金(SKLSE05-13)资助项目
关键词 组件状态机 数据流测试 组件流图 最短定义一使用路径 component state machine data flow testing component flow graph the shortest du-path
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献11

  • 1Wu Ye, PAN Dai, CHEN Meihwa. Techniques for testing component-based software[C]//IEEE International Conference on Engineering of Complex Computer Systems. Washington: IEEE Computer Society, 2001:222 - 232.
  • 2BEYDEDA S, GRUHN V. An integrated testing technique for component-based software [ C ]//ACS/IEEE International Conference on Computer Systems and Applications. Los Alamitos, CA : IEEE Computer Society, 2001 : 328 - 334.
  • 3ABDURAZIK A, OFFUTT J. Using UML collaboration diagrams for static checking and test generation [ C ]//The Third International Conference on the Unified Modeling Language (UML'00). York, UK, Lecture Notes in Computer Science,2000:383 - 395.
  • 4HARTMANN J, IMOBERDORF C, MEISINGER M. UML-based integration testing[ C]//International Symposium on Software Testing and Analysis. New York: ACM Press, 2000:60 - 870.
  • 5VIEIRA M, DIAS M, RICHARDSON D J. Object-oriented specification-based testing using UML statechart diagrams [C ]//ICSE2000-Workshop on Automated Program Analysis, Testing and Verification. New York: ACM Press, 2000:758 - 761.
  • 6KIM Y G, HONG H S, BAE D H, CHA S D. Test cases generation from UML state diagrams [ J ]. IEE Proceedings-Software, 1999,146(4) : 187 - 192.
  • 7GALLAGHER L, OFFUTr J, CINCOTTA A. Integration testing of object-oriented components using finite state machines [ J]. Software Testing, Verification and Reliability, 2006, 16 (4) : 215 - 266.
  • 8FRANKL P G, WEYUKER E J. An applicable family of data flow testing criteria [ J ]. IEEE Transactions on Software Engineering, 1988, 14(10) : 1483 - 1498.
  • 9NRAFOS S C. A comparison of some structural testing strategies[J]. IEEE Transactions on Software Engineering, 1988, 14(6) :868 - 874.
  • 10FRANKL P G, WEISS S N, HU Cang. All-uses versus mutation testing: an experimental comparison of effectiveness [ J]. Systems and Software, 1997, 38(3) :235 - 253.

二级参考文献10

  • 1Gupta N, Mathur, A P, Soffa M L. Generating Test Data For Branch Coverage. Automated Software Engineering,2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on, Sept. 2000: 219～227.
  • 2Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa. Automated Test Data Generation using An Iterative Relaxation Method. ACM SIGSOFT Sixth International Symposium on Foundations of Software Engineering (FSE-6), Orlando,Florida, November 1998:231～244.
  • 3Neelam Gupta, Aditya P Mathur, Mary Lou Soffa. UNABased Iterative Test Data Generation and its Evaluation",14th IEEE International Conference on Automated Software Engineering(ASE'99), Cocoa Beach, Florida, October 1999: 224～232.
  • 4DeMilli R A, Offutt A J. Constraint-based Automatic Test Data Generation. Software Engineering, IEEE Transactions on, Sept. 1991,17(9): 900～910.
  • 5Lapierre, S, Merlo E, Savard G, Antoniol G, Fiutem R,Tonelia P. Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees.Software Maintenance. 1999. (ICSM'99) Proceedings.IEEE International Conference on, Sept. 1999, 30(3): 189～198.
  • 6(美)Paul C.Jorgensen,Software Testing:A craftsman's Approach(Second Edition),北京:机械工业出版社,2003,58:143～159.
  • 7Weyuker E J. The complexity of data flow criteria for test data selection. Information Processing Letter, 1984, 19(8):103～109.
  • 8暴建民,王申科.关于可应用测试数据充分性准则复杂性的注记[J].计算机学报,1999,22(4):437-441. 被引量：1
  • 9王建国,吴建平.基于扩展有限状态机的协议测试集生成研究[J].软件学报,2001,12(8):1197-1204. 被引量：24
  • 10李庆华,刘金根,缪天鹏,党建国.一种基于类数据流的软件测试技术[J].华中科技大学学报（自然科学版）,2003,31(11):17-19. 被引量：3

共引文献9

应用科学学报
2007年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部