期刊文献+

一种基于UML活动图模型的系统测试方法 被引量:1

A System Testing Method Based on UM L Activity Diagram Model
在线阅读 下载PDF
导出
摘要 UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源。提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸。最后重点结合一个实例对该方法进行了论述。 UML activity diagram is an important component of software design model based on UML, because it describes the dynamic behaviors of a software system. It becomes a valuable information source in software integration test. This paper proposes an approach to generate scenario test cases based on UML activity diagrams, and gives the principles of generating the elementary and optional stream. The traditional scenario test cases method is improved to reduce the number of testing scenario. An application of the method will be discussed finally.
出处 《航空计算技术》 2008年第2期62-65,共4页 Aeronautical Computing Technique
基金 教育部博士点基金项目(20050699037)
关键词 活动图 模型 系统测试 用例 activity diagram model system test use case
  • 相关文献

参考文献4

  • 1梁义芝,王延章,缪旭东,刘云飞.UML活动图的形式语义及分析[J].计算机工程与应用,2003,39(18):28-30. 被引量:10
  • 2TSAI WT, VOLOVIK D, TKEEFE TF. Automated test case generation for programs specified by relational algebra queries [ J ]. IEEE Transactions on Software Engineering, 1990, 16(3) ;316 -324.
  • 3WEYUKER E, GORADIA T, SINGH A. Automatically generating test case data from a Boolean specification [ J ]. IEEE Transactions on Software Engineering, 1994,20 ( 4 ) : 353 - 363.
  • 4MARTINS E, SABIAO SB. ConData:A tool for automating specification based test case generation for communication system [ A ]. IEEE Los Alamitos [ C ]. 2000 : 1060 - 3425.

二级参考文献10

  • 1Unified Modeling Language Specification[S].Version 1.3,Object Managagement Group,Inc, 1999.
  • 2Rumbaugh J,Jacobson I,Booch G.The Unified Modeling Language Reference Manual[M].Boston:Addison-Wesley, 1999.
  • 3McLeod G.Extending UML for Enterprise and Business Process Modeling[C].In:Proceedings UML 98'Workshop.Ecole Superioeure des Sciences Appliquées pour l'Ingénieur-Mulhouse Université de Haute- Alsace, 1998 : 195-204.
  • 4Latella D,Majzik I,Massink M.Towards a formal operational semantics of UML statechart diagrams[C].In:Ciancarini P,Gorrieri R eds.IFIP TC6.1 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systemes.Florence,Italy:Kluwer Academic Publisher. 1999 : 331 -347.
  • 5Boerger E,Cavarra A,Riccobene E.Modeling the Dynamics of UML State Machines[C].In:Gurevich Y eds.ASM 2000,LNCS 1912.Germany :Springer-Verlab Berlin Heidelberg, 2000 : 223-241.
  • 6Bohon C,Davies J.Activity Graphs and Process[C].In:Grieskamp W, Santen T,Stoddart B eds.IFM 2000,LNCS 1945.Germany:Springer- Verlab Berlin Heidelberg,2000:77-96.
  • 7Boerger E,Cavarra A,Riccobene E.An ASM Semantics for UML Activity Diagrams[C].In..Rus T ed.AMAST 2000,LNCS 1816.Germany: Springer-Verlab Berlin Heidelberg,2000:293-380.
  • 8Ribó J M,Franch X.Building Expressive and Flexible Process Models Using a UML-Based Approach[C].In:Proceedings of the 8th European Workshop on Software Process Technology.Witten ,Germany :Springer- Verlab Berlin Heidelberg,2001 : 152-172.
  • 9李留英,王戟,齐治昌.UML Statechart图的操作语义[J].软件学报,2001,12(12):1864-1873. 被引量:22
  • 10蒋慧,谢希仁,林东.UML状态机的形式语义[J].软件学报,2002,13(12):2244-2250. 被引量:26

共引文献9

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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