| 一种基于模型检测Web 应用生成测试用例的方法 |
| |
| 引用本文： | 李丽萍.一种基于模型检测Web 应用生成测试用例的方法[J].上海第二工业大学学报,2015(2):140-147. |
| |
| 作者姓名： | 李丽萍 |
| |
| 作者单位： | 上海第二工业大学计算机与信息工程学院 |
| |
| 基金项目： | 国家自然科学基金(No.61272036);上海第二工业大学软件工程学科建设项目(No.XXKZD1301)资助 |
| |
| 摘 要： | 提出了一种从用户角度以重构Kripke结构建模并测试Web应用的方法。Web应用中的网页、构件及其关系被看成是原子命题,测试覆盖准则被转换为用计算树逻辑(Computing Tree Logic,CTL)表示的陷阱性质(Trap Property),生成的反例可以实例化来构造测试用例。但是一个陷阱性质生成一个反例将导致生成太多的冗余的测试用例,因此给出了一个测试约简规则来减少冗余的测试用例。最终生成的测试序列将满足给定的覆盖准则并没有冗余。
|
| 关 键 词： | Web测试 模型检测 测试准则 测试约简 Kripke结构 |
Test Generation for Web Applications Using Model-Checking |
| |
| LI Li-ping.Test Generation for Web Applications Using Model-Checking[J].Journal of Shanghai Second Polytechnic University,2015(2):140-147. |
| |
| Authors: | LI Li-ping |
| |
| Affiliation: | LI Li-ping;School of Computer and Information Engineering, Shanghai Second Polytechnic University; |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《上海第二工业大学学报》浏览原始摘要信息 |
|
点击此处可从《上海第二工业大学学报》下载全文 |
