| Statechart描述的测试语义和测试用例自动生成 |
| |
| 引用本文： | 陈丽娜,苗春雨,赵建民.Statechart描述的测试语义和测试用例自动生成[J].西南农业大学学报,2011,33(5). |
| |
| 作者姓名： | 陈丽娜 苗春雨 赵建民 |
| |
| 作者单位： | 浙江师范大学数理与信息工程学院;浙江师范大学行知学院; |
| |
| 摘 要： | 研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集.
|
| 关 键 词： | 系统实现 一致性测试 测试用例生成 形式化语义 |
Testing Semantics and Automatic Test Cases Generation for Statechart Specification |
| |
| CHEN Li-na,MIAO Chun-yu,ZHAO Jian-min.College of Mathematics,Physics , Information Engineering,Zhejiang Normal University,Jinhua Zhejiang ,China,.College of Xingzhi.Testing Semantics and Automatic Test Cases Generation for Statechart Specification[J].Journal of Southwest Agricultural University,2011,33(5). |
| |
| Authors: | CHEN Li-na MIAO Chun-yu ZHAO Jian-minCollege of Mathematics Physics Information Engineering Zhejiang Normal University Jinhua Zhejiang China College of Xingzhi |
| |
| Institution: | CHEN Li-na1,MIAO Chun-yu2,ZHAO Jian-min11.College of Mathematics,Physics and Information Engineering,Zhejiang Normal University,Jinhua Zhejiang 321004,China,2.College of Xingzhi |
| |
| Abstract: | Applying Tretmans approach to generate test cases for I/O automata from labeled transition systems,we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specification.We introduce formal testing semantics of Statechart specification that go beyond semantics presented for formal verification.These observable testing semantics can be used for general application,critical application and real-time application.We also propose a formal conformance testing... |
| |
| Keywords: | system implementation conformance testing test case generation formal semantics |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《西南农业大学学报》浏览原始摘要信息 |
| 点击此处可从《西南农业大学学报》下载免费的PDF全文 |
|
