基于FSM的测试用例生成和测试优化
| 摘要 | 第1-8页 |
| Abstract | 第8-13页 |
| 第1章 绪论 | 第13-22页 |
| ·一致性测试 | 第13-14页 |
| ·形式规格说明 | 第14-17页 |
| ·约束逻辑程序 | 第14-15页 |
| ·有限状态机 | 第15-16页 |
| ·标签迁移系统 | 第16-17页 |
| ·测试覆盖准则 | 第17-19页 |
| ·成就与挑战 | 第19-20页 |
| ·本文的主要研究内容 | 第20-22页 |
| 第2章 基于FSM 的测试理论与实现 | 第22-34页 |
| ·一致性测试的假设 | 第22-24页 |
| ·状态和迁移覆盖 | 第24-26页 |
| ·W 方法与Wp 方法 | 第26-30页 |
| ·P 集与W 集 | 第26-27页 |
| ·W 方法的例子 | 第27-28页 |
| ·Wp 方法 | 第28-29页 |
| ·Wp 方法的例子 | 第29-30页 |
| ·UIO 方法与DS 方法 | 第30-31页 |
| ·UIO 方法 | 第30-31页 |
| ·DS 方法 | 第31页 |
| ·其它方法 | 第31-33页 |
| ·小结 | 第33-34页 |
| 第3章 两个改进算法 | 第34-47页 |
| ·BTF 算法 | 第34-36页 |
| ·BDF 算法 | 第36-42页 |
| ·实验评估 | 第42-46页 |
| ·P 集算法的比较 | 第44页 |
| ·W 集算法的比较 | 第44-45页 |
| ·W 集的评估 | 第45-46页 |
| ·实验结论 | 第46页 |
| ·小结 | 第46-47页 |
| 第4章 有限状态机的最小测试成本迁移覆盖准则 | 第47-68页 |
| ·引言 | 第47-49页 |
| ·案例动机 | 第49-50页 |
| ·迁移覆盖 | 第50-53页 |
| ·必要条件和优化迁移覆盖算法 | 第53-57页 |
| ·必要条件 | 第54-55页 |
| ·优化迁移覆盖算法 | 第55-56页 |
| ·例子 | 第56-57页 |
| ·充分条件和最小测试成本迁移覆盖算法 | 第57-61页 |
| ·充分条件 | 第57-59页 |
| ·最小测试成本迁移覆盖算法 | 第59-60页 |
| ·例子 | 第60-61页 |
| ·有效性讨论 | 第61页 |
| ·实验对比 | 第61-65页 |
| ·实验环境 | 第62页 |
| ·实验对象 | 第62-63页 |
| ·实验方法 | 第63页 |
| ·错误探测能力的讨论 | 第63-64页 |
| ·实验结果及评估 | 第64页 |
| ·实验有效性讨论 | 第64-65页 |
| ·相关工作比较 | 第65-66页 |
| ·测试覆盖准则 | 第65-66页 |
| ·组合爆炸问题 | 第66页 |
| ·小结 | 第66-68页 |
| 第5章 基于正则表达式分解的自动测试生成 | 第68-86页 |
| ·引言 | 第68-69页 |
| ·案例动机 | 第69-70页 |
| ·基于正则表达式的测试生成 | 第70-71页 |
| ·正则表达式的分解 | 第71-72页 |
| ·实现 | 第72-82页 |
| ·理论基础 | 第73-77页 |
| ·案例研究 | 第77-78页 |
| ·DSIM 算法 | 第78-79页 |
| ·测试输入生成 | 第79-82页 |
| ·自动支持工具 | 第82-83页 |
| ·相关工作 | 第83-84页 |
| ·小结 | 第84-86页 |
| 第6章 冗余约简 | 第86-101页 |
| ·引言 | 第86-88页 |
| ·测试集的冗余约简方法 | 第88-93页 |
| ·贪婪启发式G 算法 | 第88页 |
| ·启发式HGS 算法 | 第88-89页 |
| ·启发式GRE 算法 | 第89-90页 |
| ·模拟退火算法和遗传算法 | 第90-92页 |
| ·ILP 模型 | 第92页 |
| ·效率分析 | 第92-93页 |
| ·预备知识 | 第93-94页 |
| ·冗余类型和约简规则 | 第94-95页 |
| ·测试片段的有效性 | 第95-96页 |
| ·自动冗余约简算法 | 第96-98页 |
| ·案例研究 | 第98-100页 |
| ·小结 | 第100-101页 |
| 第7章 测试用例生成 | 第101-116页 |
| ·引言 | 第101-102页 |
| ·案例动机 | 第102-105页 |
| ·逻辑覆盖 | 第105-109页 |
| ·语句覆盖 | 第106页 |
| ·判断覆盖 | 第106页 |
| ·条件覆盖 | 第106-107页 |
| ·条件-判断覆盖 | 第107页 |
| ·条件组合覆盖 | 第107-108页 |
| ·路径覆盖 | 第108页 |
| ·BRO | 第108-109页 |
| ·比较 | 第109页 |
| ·测试用例的评估 | 第109-112页 |
| ·TTJ 覆盖准则 | 第112-115页 |
| ·TTJ 覆盖准则的原理 | 第112页 |
| ·TTJ 覆盖准则的应用 | 第112-115页 |
| ·算法步骤 | 第115页 |
| ·小结 | 第115-116页 |
| 第8章 工具的设计与实现 | 第116-133页 |
| ·工具概述 | 第116-117页 |
| ·状态图 | 第117-118页 |
| ·XMI 解析器 | 第118-123页 |
| ·XML 管理器 | 第123-125页 |
| ·可视化FSM | 第125-127页 |
| ·存储结构与序列生成 | 第127-129页 |
| ·测试用例生成 | 第129-132页 |
| ·小结 | 第132-133页 |
| 第9章 结束语 | 第133-135页 |
| ·主要贡献 | 第133-134页 |
| ·将来的工作 | 第134-135页 |
| 参考文献 | 第135-141页 |
| 作者在攻读博士学位期间发表的论文 | 第141-142页 |
| 作者在攻读博士学位期间参与的科研项目 | 第142-143页 |
| 致谢 | 第143页 |
