期刊文献+

基于UML集成测试用例的算法研究 被引量:2

Integration test case generating method based on UML
下载PDF
导出
摘要 对基于状态图生成集成测试用例的方法进行了研究,通过构造集成测试模型,重点描述了两个对象或组件的状态图进行合并的方法,并给出了状态图的形式化描述,以及如何对组合状态图进行展开用于集成测试用例的生成。为了验证该方法的实用性,又以实际项目研究为例,实现了基于状态图集成测试用例的生成工具,对该方法进行了验证,并给出了算法的部分实现代码。该方法将系统设计和测试用例的设计统一起来,是软件测试自动化的一个探索。 On the research of integration test cases generating method based on UML. By constructing integration test model, it is described a technique of Statecharts diagrams combine with two objects or components. A valid method of formal combined state, and how to outspread the combined Statecharts diagram to generate test cases are proposed. For the purpose of validate practicability of the method, a tool about integration test cases generation and part codes is achieved. It unified system design and use case design. It is a new direction for sottware testing automatically.
出处 《计算机工程与设计》 CSCD 北大核心 2008年第17期4593-4595,4599,共4页 Computer Engineering and Design
基金 国家科技型中小企业技术创新基金项目(05C26214101032)
关键词 状态图 集成测试 有限状态机 组合状态机 测试用例 statecharts diagram integration testing finite state machine combined state machine test case
  • 相关文献

参考文献9

  • 1Eriksson H E,Penker M,Lyons B,et al.UML2工具箱[M].余安萍,愈俊平,等译.北京:电子工业出版社,2004.
  • 2Hartmann J,Imoberdorf C,Meisinger M. UML-based integration testing[C].Rome:ACM SIGSOFT International Symposium on Software Testing and Analysis,2000:60-70.
  • 3Hierons R M. Checking states and transitions of a set of communicating finite state machines[J]. Microprocessors and Microsystems,2001,24:443 -452.
  • 4王林章,李宣东,郑国梁.一个基于UML协作图的集成测试用例生成方法[J].电子学报,2004,32(8):1290-1296. 被引量:25
  • 5尚绪全,张毅坤.基于UML的构件软件集成测试用例生成研究[J].计算机工程,2006,32(1):96-98. 被引量:7
  • 6Abdurazik A, Offutt J. Using UML collaboration diagrams for static checking and test generation [C]. York, UK: Proc of UML'00, 2000:383-395.
  • 7Delamaro M E,Maldonado J C,Mathur A P.Interface mutation: An approach to integration testing[J]. IEEE Transaction on Software Engineering, 2001 (3):228-247.
  • 8Wu Ye,Chen Mei-Hwa,Offutt J.UML-based integration testing for component-based software[C]. Ottawa, Canada: Proc of 2nd International Conference on COTS-based Software Systems,2003.
  • 9Tan R P, Edwards S H.An assertion checking wrapper design for Java [R]. Ames, Iowa: Dept of Computer Science, Iowa State Univ, Tech Rep: #03-11, 2003:29-34.

二级参考文献20

  • 1Imran Bashir,Amrit L Goel.Testing Object-Oriented Software:Life Cycle Solution[M].New York:Springer-Verlag,Inc,1999.
  • 2David C Kung,Pei Hsia,Jerry Gao.Testing Object-Oriented Software[C].USA,IEEE Computer Society,1999.
  • 3Beizer.Black-Box Testing:Techniques for Functional Testing of Software and Systems[M].New York:John Wiley&Sons,Inc,1995.
  • 4UML Specification 1.5[S].available at http://www.omg.org/uml,March 2004.
  • 5Paul C Jorgrnsen.Software Testing:A Craftsman's Approach[M].CRC Press,Inc,1995.
  • 6Robert V Binder.Testing Object-Oriented System:Models,Patterns,and Tools[M].Addison-Wesley,2000.
  • 7Grade Booch,James Rumbaugh,Ivar Jacobson.The Unified Software Development Process[M].Addison-Wesley,2001.
  • 8Philippe Kruchten.The Rational Unified Process-An Introduction[M].2nd edition,Addison-Wesley,Reading,MA,2000.
  • 9Grade Booch,James Rumbaugh,Ivar Jacobson.The Unified Modeling Language User Guide[M].Addison-Wesley,2001.
  • 10Grade Booch,James Rumbaugh,Ivar Jacobson.The Unified Modeling Language Reference Manual[M].Addison-Wesley,2001.

共引文献29

同被引文献7

引证文献2

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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