基于扩展有限状态机的类测试用例生成方法

来源 :华北水利水电学院学报 | 被引量 : 0次 | 上传用户：WSLBCW

【摘要】

：

为了实现软件测试用例的自动生成，提高软件开发效率和软件质量，利用扩展的有限状态机模型（EFSM）和数据流分析方法，对类、类的消息传递和类状态变化进行了分析和研究，提出了一种基于

【作者】

：

郭朝彬郭永红郭红涛

【机构】

：

华北水利水电学院,中兴通讯股份有限公司

【出处】

：

华北水利水电学院学报

【发表日期】

：

2006年3期

【关键词】

：

类单元测试扩展有限状态机定义-使用路径测试用例 class unit test extended finite state machine define-

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了实现软件测试用例的自动生成，提高软件开发效率和软件质量，利用扩展的有限状态机模型（EFSM）和数据流分析方法，对类、类的消息传递和类状态变化进行了分析和研究，提出了一种基于扩展有限状态机模型的类测试用例集的生成算法．此算法能自动生成满足All-use路径覆盖标准的测试用例集，并能保证测试用例的路径长度最短．

其他文献

集教学指导与学术研究于一体的经典力作——评《高级商务英语写作》

由于对外开放的不断深化，中国与世界经济、文化交流越来越频繁，商务英语已经变得越来越重要。近几年，国内很多学者对商务英语的研究不断拓展，使之成为语言文化界关注的焦点问题，尤

期刊

商务英语写作学术研究教学指导力作课程教学模式对外开放世界经济文化交流

经济合作与发展组织成员国对战略工业部门的国家支持

期刊