期刊文献+

基于UML的CPN模型在软件测试中的应用 被引量:5

Application of Software Testing Based on CPN Model Derived from UML Modes
下载PDF
导出
摘要 UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法,并根据该方法给出了自动化支持工具U2CPN的类图结构。 When Unified Modeling Language(UML) is widely accepted by the industry, it also becomes one kind of standard modeling language which the academic community follows. Many researches on object-oriented software test focus on deriving software models from the UML diagrams. UML offers effective modeling ability, but lacks well-defined semantic base for its notation. Petri nets can provide a formal semantic framework for the UML notations plus the behavioral modeling/analysis strength. This paper presents a method that gets the Colored Petri Nets (CPN) models from the UML diagrams. The method utilizes the state machine diagrams and the sequence diagrams. The framework of the support tool, U2CPN, is also presented.
作者 刘烁 陈俊杰
出处 《计算机工程》 CAS CSCD 北大核心 2008年第3期119-121,共3页 Computer Engineering
关键词 面向对象软件测试 统一建模语言 着色PETRI网 测试用例生成 object-oriented software test Unified Modeling Language(UML) colored Petri nets test cases generation
  • 相关文献

参考文献5

  • 1颜炯,王戟,陈火旺.基于模型的软件测试综述[J].计算机科学,2004,31(2):184-187. 被引量:74
  • 2龚红仿,李军义,邹北骥.基于事件消息驱动的Petri网的类族测试用例生成技术的研究[J].计算机应用,2005,25(1):65-68. 被引量:3
  • 3Saldhana J A, Shatz S M. UML Diagrams to Object Petri Net Models An Approach for Modeling and Analysis[C]//Proceedings of the International Conference on Software Engineering and Knowledge Engineering. Chicago: [s. n.], 2000:103-110.
  • 4Hu Z, Shatz S M. Mapping UML Diagrams to a Petri Net Notation for System Simulation[C]//Proceedings of the International Conference on Software Engineering and Knowledge Engineering. Banffshire: [s. n.], 2004: 213-219.
  • 5吴哲辉.Petri网导论[M].北京:机械工业出版社华章分社,2005..

二级参考文献43

  • 1[1]Gronau I, Hartman A, Kirshin A, Nagin K, Olvovsky S. A methodology and architecture for automated software testing. http://www.haifa.il.ibm.com/projects/verification/gtcb/papers/gtcbmanda.pdf, 2000
  • 2[2]Chow T S. Testing design modeled by finite-state machines. IEEE Transactions on Software Engineering, 1978,4(3): 178~187
  • 3[3]Offutt J, Abdurazik A. Generating test cases from UML specifications. UML' 99, USA, 1999
  • 4[4]Poore J H. Introduction to the special issue on: model-based statistical testing of software intensive systems. Information and Software Technology, 2000, 42(12):797~799
  • 5[5]Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems, Wiley, New York, USA, 1995
  • 6[6]Jorgensen A, Whittaker J A. An API Testing Method. STAREAST' 00, USA, 2000
  • 7[7]Fujiwara S, Bochmann G, Khendek F.Test selection based on finite state models. IEEE Transactions on Software Engineering, 1991, 17(6): 591~603
  • 8[8]Rosaria S, Robinson H. Applying models in your testing process. Information and Software Technology, 2000, 42(12): 815~824
  • 9[9]Whittaker J A. Stochastic software testing. The Annals of Software Engineering, 1997, 4:115~131
  • 10[10]Liu C, Richardson D J. Using application states in software testing. ICSE'00, Ireland, 2000

共引文献90

同被引文献40

  • 1姚淑珍,金茂忠.UML状态图的形式化建模及其分析[J].北京航空航天大学学报,2007,33(4):472-476. 被引量:10
  • 2Bouabana T T, Belmesk M. Formalization of UML object dynamics and behavior[C]//2004 IEEE. International Conference on Systems, Man and Cybernetics. Hague: IEEE,2004: 4971 - 4976,.
  • 3Mellor S J,Balcer M J. Executeable UML:A foundation formodle- driven architrcture[ M]. Boston: Addison - Wesley, 2002.
  • 4Murata T. Petri Nets: properties,analysis and applications[ J ]. Proceedings of the IEEE,1989,77(4) :541 - 580.
  • 5Guy Helmer,Johnny Wong,Mark Slagell,et al.Software fault tree and coloured Petri net-based specification,design and implementation of agent-based intrusion detection systems[J].International Journal of Information and Computer Security,2007,1(2).
  • 6Bernot G,Gaudel M C,Marre B.Software testing based on formal specification:A theory and a tools[J].Software Engineering Journal,1991,6(6):387-405.
  • 7Robert M Hierons.Testing from Z specification[J].The Journal of Software Testing,Verification,and Reliability,1997,7:19-33.
  • 8Laycock G.Formal specification and testing:A case study[J].The Journal of Software Testing,Verification,and Reliability,1992,2:7-23.
  • 9Supaporn Kansomkeat,Jeff Offutt,Aynur Abdurazik,et al.A Comparative Evaluation of Tests Generated from Different UML Diagrams[C] //Ninth ACIS International Conference on Software Engineering,Artificial Intelligence,Networking and Parallel/Distributed Computing (SNPD 2008),Phuket Thailand,August 2008:867-872.
  • 10Jeff Offutt,Shaoying Liu,Aynur Abdurazik,et al.Generating Test Data From State-based Specifications[J].The Journal of Software Testing,Verification and Reliability,2003,13(1):25-53.

引证文献5

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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