期刊文献+

基于OOPN的面向对象的集成测试方法 被引量:1

Integration Testing of an Object-oriented Programs Based on the OOPN Model
下载PDF
导出
摘要 面向对象的程序与传统的结构化程序相比,具有许多特点,如消息传递、同步、动态绑定、对象实例、继承、多态等.面向对象软件的测试比结构化软件的测试更困难,因此提出一种基于OOPN模型的面向对象的集成测试方法.首先用面向对象petri网(OOPN)模拟系统中的对象及其交互过程,然后在此模型的基础上提出生成测试例的算法.此方法的创新之处在于将数据流与控制流相结合的方法用于面向对象的测试之中. Object-oriented programs have many unique features, such as message passing, synchronization, dynamic binding, object instantiation, inheritance, polymorphism, which are not presented in their conventional counterparts. Integration testing for such a program is more difficult than that for a conventional program. An approach of integration testing based on the OOPN model is presented. First the objects of the OOPN model and the process of interaction with each other are given,then the algorithm of generating test cases based on this model is proposed. The novel of this approach is to apply the combination of the data flow with the control flow to the object-oriented testing.
出处 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第1期84-87,共4页 Journal of Inner Mongolia University:Natural Science Edition
基金 内蒙古自然科学基金项目(200408020806)
关键词 面向对象 集成测试 OOPN object-oriented integration testing OOPN model
  • 相关文献

参考文献6

二级参考文献24

  • 1蒋昌俊,郑应平,疏松桂.非确定并发系统设计的Petri网形式化方法[J].系统仿真学报,1996,8(4):37-46. 被引量:1
  • 2桂志波,郑应平.一类扩展Petri网的建模与仿真分析[J].系统仿真学报,1996,8(2):54-62. 被引量:8
  • 3Roger S Pressman 黄柏素 等.软件工程-实践者的研究方法[M].北京:机械工业出版社,1999..
  • 4BEIZER B. Black-Box Testing Techniques for Functional Testing of Software and Systems[M]. John Wiley & sons, 1995.
  • 5BEIZER B. Software Testing Techniques(Second Edition)[M]. Van Nostrand Reinhold, 1990.
  • 6DUSTIN E, RASHKA J, PAUL J. Automated Software Testing[M]. Addison-Wesley, 1999.
  • 7Lako s C A, Keen C C. Simulation with Object-Oriented Petri Nets: [Technical Report]. Department of Computer Science, University of Tasmania, Australia, April, 1994
  • 8Camurri A, Franchi P, Vitale M. Object-Oriented Approach to High-Level Petri Nets. Microprocessing and Microprogramming.1992,35
  • 9Keen C D, Lako s C A. A Methodology for the Construction of Simulation Models Using Object-Oriented Petri Nets. [Technical Report]. Depart of Computer Science, University of Tasmania,Australia,April 1994
  • 10Hafedh M. On Behavioral Descriptions in Object-Oriented Modeling. J. Systems Software, 1996,34

共引文献32

同被引文献10

  • 1谢彦辉,姚淑珍,郭峰.顺序图至Petri网转化方法的研究与实现[J].计算机工程,2006,32(6):260-262. 被引量:6
  • 2Allen R, Garlan D. A Formal Basis for Architectural Connection[J]. ACM Trans. Software Eng. and Methodology,1997,6(3) : 213-249.
  • 3Magee J,Kramer J,Giannakopoulou D. BehaviourAnalysis of Software Architectures[C]//Proc. First Working IFIP Conf. Software Architecture, 1999 :35-49.
  • 4Canal C,Poizat P, Salau G. Synchronizing Behavioural Mismatch in Software Composition[C]// Proc. Eighth IFIP Int'l Conf. Formal Methods for Open Object-Based Distributed Systems,2006: 63-77.
  • 5Becker S, Brogi A, Gorton I, et al. Towards an Engineering Approach to Component Adaptation [C] // Architec ting Systems with Trustworthy Components. Springer,2006:193-215.
  • 6Carlos Canal,Pascal Poizat. Model-Based Adaptation of Behavioral Mismatching Components[J]. IEEE Transactions on Software Engineering ,2008,34(4) : 546-563.
  • 7袁崇义.Petri网原理[M].北京:电子工业出版社,1997..
  • 8杨玉梅,刁永锋.基于UML顺序图的Petri网建模[J].计算机技术与发展,2007,17(10):130-133. 被引量:12
  • 9郑丽伟,金芝.需求驱动的主动网构实体聚合[J].软件学报,2008,19(5):1083-1098. 被引量:24
  • 10刘玉林,赵玉兰,叶新铭.一种基于UML和CP-net集成描述的面向对象软件的交互测试方法[J].内蒙古大学学报(自然科学版),2004,35(4):442-445. 被引量:2

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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