计算机科学 ›› 2009, Vol. 36 ›› Issue (7): 117-119.doi: 10.11896/j.issn.1002-137X.2009.07.027

• 软件工程与数据库技术 • 上一篇    下一篇

基于UML状态图的C/S模式软件系统的一致性测试例生成

叶新铭,王谱新,白翔宇,谢辉   

  1. (内蒙古大学计算机学院 呼和浩特010021)
  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    本文受科技部科技支撑计划重点项目(No. 2006BAH02A11)和国家自然科学基金项目(60563004)资助。

Method of Conformance Test Case Generation for C/S Model System Based on UML State Chart

YE Xin-min,WANG Pu-xin,BAI Xiang-yu,XIE Hui   

  • Online:2018-11-16 Published:2018-11-16

摘要: C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难。使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例。该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本。

关键词: 软件测试,C/S模式,UML状态图,有限状态机,UIO,中国邮递员算法

Abstract: C/S model based system has characters of multi-layers architecture and Object oriented based programming technology etc. It is difficult to carry out conformance testing for this kind of system. This paper presented a model for a topic C/S system based on UML state chart, and then transformed it into EFSM. A method combining UIO and Chinese post man algorithm was applied on the EFSM to generate conformance test cases. Finally, we adopted data flow based analyzing technology to exclude the test cases that are not executable. The UML state chart is good at modeling software system, so we utilized such advantage to reduce the difficulty of test case generation, and decrease the length of test cases and cost of software development

Key words: Software test, C/S model , UML statechart, FSM, UIO, Chinese postman algorithm

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!