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

基于UML状态图的C/S模式软件系统的一致性测试例生成
引用本文:叶新铭,王谱新,白翔宇,谢辉.基于UML状态图的C/S模式软件系统的一致性测试例生成[J].计算机科学,2009,36(7):117-119.
作者姓名:叶新铭  王谱新  白翔宇  谢辉
作者单位:内蒙古大学计算机学院,呼和浩特,010021
基金项目:科技部科技支撑计划重点项目,国家自然科学基金项目 
摘    要:C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难.使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例.该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本.

关 键 词:软件测试  C/S模式  UML状态图  有限状态机  中国邮递员算法
收稿时间:8/5/2008 12:00:00 AM
修稿时间:2008/10/24 0:00:00

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.Method of Conformance Test Case Generation for C/S Model System Based on UML State Chart[J].Computer Science,2009,36(7):117-119.
Authors:YE Xin-min  WANG Pu-xin  BAI Xiang-yu  XIE Hui
Affiliation:Computer College of Inner Mongolia University;Hohhot 010021;China
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 ...
Keywords:UIO
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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