|
基本信息Personal Information
教授
曾获荣誉 : 浙江师范大学中青年骨干教师，金华市321人才，浙江省教学优秀案例二等奖等
性别 : 女
毕业院校 : 华东师范大学
学历 : 博士研究生毕业
学位 : 博士学位
在职信息 : 在岗
所在单位 : 计算机科学与技术学院
入职时间 : 2001年08月01日
办公地点 : 21-325
联系方式 : Email：chenlina@zjnu.cn 个人主页： http://mypage.zjnu.edu.cn/CLN/zh_CN/index.htm
Email :
扫描关注
基于一致性测试理论的Statechart描述的测试用例自动生成
点击量 ：
第一作者 ： 苗春雨
发表时间 ： 2011-01-01
发表刊物 ： 计算机工程与科学
所属单位 ： 数理与信息工程学院
文献类型 ： 期刊
期号 ： 第3期
页面范围 ： 82-89
ISSN ： 1007-130X
关键字 ： 状态图；系统说明；系统实现；一致性测试；测试集；测试用例生成；形式化语义；反应系统
摘要 ： 本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义,测试语义与传统的验证语义不同,强调可观察性和内部细节隐藏。基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系。然后给出了基于图遍历的测试用例生成算法,
是否译文 ： 否