A Model Driven Software Testing Process Use Formal Method

摘要：

Formal methods have traditionally been used for specification and development of software. However there are potential benefits for the testing stage as well. In this paper we give a new framework of software testing which based on formal method. In the framework we describe softwares design models using formal language RSL. We give an automatic method to help designers and test engineers get testing cases from these formal descriptions. The test cases we get can be used to every testing phase. It is a useful supplement to traditional testing methods. At last we give out a demo case to illustrate it.

关键词： internality software testing model lattices,assert testing UML RSL

作者: LAI Xiangwei DING Xiaoming ZHANG Weiqun

作者单位: Faculty of Computer and Information Science Intelligence Software and Software Engineering Lab Southwest University Chongqing, 400715 China

会议类型: 国际会议

会议名称: 第二届国际计算机新科技与教育学术会议(Proceedings of the Second International Conference on Computer Science & Education ICCSE2007)

会议地点: 武汉

会议语种:英文

页码: 1035-1039

在线出版日期: 2007-07-25（万方平台首次上网日期，不代表论文的发表时间）