博彩平台

      5月17日上午9:00，北京化工大学赵瑞莲教授在主楼815会议室为我们作了题为《基于模型的软件测试用例自动生成》的学术报告。十大博彩平台排行榜 教师、研究生和软件博彩平台 的部分研究生参加了这次报告会。

  本报告主要介绍我们在模型构建及其测试生成方面的工作进展。随着模型驱动开发技术的推广和应用， 以及人们对软件测试自动化要求的不断提高, 基于模型的软件测试在学术界和工业界得到了越来越多的重视，已成为一种重要的软件质量保障技术。扩展有限状态机（ Extended Finite State Machine, EFSM）在FSM模型的基础上增加了变量、操作以及状态变迁的前置条件，可以更加精确的刻画软件系统的动态行为。目前EFSM已被国际标准化组织(ISO)作为通信协议形式化描述技术的底层模型，广泛应用于通信协议软件、嵌入式系统和面向对象反应系统的开发中。因此，我们在EFSM模型构建、基于EFSM模型的软件测试生成和度量方面，开展了一些理论研究和方法探讨，并应用于实际项目的测试中。

    报告人简介：

    赵瑞莲，女，博士，北京化工大学信息科学技术博彩平台 教授，博士生导师。1985年毕业于中北大学计算机应用专业，留校任教。1998年考入中国科博彩平台 计算技术研究所攻读博士学位，2001年毕业分配到北京化工大学信息科学与技术博彩平台 计算机科学系从事教学与科研工作。2001，2002年两次在香港中文大学计算机工程系软件工程组进行软件可靠性合作研究，2008年获国家留学基金委资助在英国King’s College London软件工程中心进行为期一年的学术访问。现为中国计算机学会容错专业委员会委员，中国计算机学会服务计算专业委员会委员。主持承担有国家自然科学基金、军委创新特区项目、教育部科学技术重点项目，北京市自然科学基金项目、企事业合作项目等多个与软件测试、模型分析相关的课题。编著出版了国家“十一五”规划教材《软件测试》及重点大学计算机教材《软件测试教程》等，在国内外学术期刊和学术会议上发表与软件测试相关的论文100余篇。