|
基本信息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
发表刊物 ： 西南大学学报(自然科学版)
所属单位 ： 数理与信息工程学院
文献类型 ： 期刊
期号 ： 第5期
页面范围 ： 143-150
ISSN ： 1673-9868
关键字 ： 系统实现；一致性测试；测试用例生成；形式化语义
摘要 ： 研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法
是否译文 ： 否