首页 | 本学科首页   官方微博 | 高级检索  
     

基于IRCFG覆盖的UML顺序图测试方法
引用本文:张广泉,李力峰,戎玫,戴晔.基于IRCFG覆盖的UML顺序图测试方法[J].计算机科学,2006,33(12):270-273.
作者姓名:张广泉  李力峰  戎玫  戴晔
作者单位:苏州大学计算机科学与技术学院,苏州,215006;中国科学院计算机科学国家重点实验室,北京,100080;苏州大学计算机科学与技术学院,苏州,215006;苏州软件评测中心,苏州,215021;暨南大学深圳旅游学院计算机中心,518053;苏州软件评测中心,苏州,215021
基金项目:江苏省高校自然科学基金;重庆市教委资助项目;重庆市自然科学基金
摘    要:本文提出了一个基于UML顺序图产生测试序列的方法。根据UML顺序图中消息控制条件,使用函数间约束的控制流图(IRCFG)描述出UML顺序图中的消息事件序列。首先,分析UML顺序图的消息控制条件,构造与其相等价的IRCFG图;然后,根据测试覆盖准则采用类似完全IRCFG路径覆盖方法来产生测试序列。在文中还通过一个实例说明该方法的实现过程,进一步阐述该方法的可行性。

关 键 词:UML顺序图  IRCFG  覆盖标准  测试序列  测试模型

Testing of IRCFG Coverage Criteria for Sequence Diagrams
ZHANG Guang-Quan,LI Li-Feng,RONG Mei,DAI Ye.Testing of IRCFG Coverage Criteria for Sequence Diagrams[J].Computer Science,2006,33(12):270-273.
Authors:ZHANG Guang-Quan  LI Li-Feng  RONG Mei  DAI Ye
Affiliation:1.College of Computer Selenee and Teehnology,sooehow University, Suzhou 215006;2.Software Test Centre of Suzhou, Suzhou 215021;3.Key Lab of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080;4.Shenzhen Tourism College,Jinan University, Shenzhen 518053
Abstract:The paper presents an approach to generate test paths from UML sequence diagrams. IRCFG is used for describing the paths of messages event in UML sequence diagrams by control condition of messages. First, in UML sequence the control condition of messages are analyzed and construct IRCFG equitying with it. Secondly, in terms of testing of coverage criteria which is like the well-known All-IRCFG-Paths, test paths are created. Additionally, the paper applies the approach to address a case, and explains all process of the measure and its feasibility.
Keywords:IRCFG
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号