|
|
|
|
基于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页 |
|
|
|
|
论文编号BS5428，这篇论文共143页
会员购买按0.35元/页下载，共需支付50.05元。 直接购买按0.5元/页下载，共需要支付71.5元 。 |
 |
 |
我还不是会员，注册会员！
会员下载更优惠!充值送钱！ |
我只需要这篇，无需注册！
直接网上支付，方便快捷！ |
|
|
|
版权申明：本目录由www.jylw.com网站制作，本站并未收录原文，如果您是作者，需要删除本篇论文目录请通过QQ或其它联系方式告知我们，我们承诺24小时内删除。 |
|
|
广告服务