文摘
英文文摘
声明
第一章绪论
1.1课题来源
1.2课题研究的目的和意义
1.3国内外研究概况
1.3.1国外研究概况
1.3.2国内研究概况
1.4论文的主要研究内容
第二章计算系统的可信性
2.1可信性的定义及其属性
2.1.1可信性的起源
2.1.2可信性的定义
2.2影响系统可信性的因素
2.2.1失效(failure)
2.2.2故障(fault)
2.2.3错误(error)
2.3提高可信性的措施
2.4软件可靠性及其模型
2.4.1软件可靠性定义
2.4.2软件综合可靠性模型
第三章变异测试
3.1变异测试的基本概念
3.1.1变异测试的两个前提
3.1.2变异算子(mutation operator)
3.1.3 等价变异体(equivalent mutant)
3.2测试充分性
3.3变异测试的成本
3.3.1选择变异(selective mutation)
3.3.2弱变异(weak mutation)
第四章 测试数据生成
4.1杀死变异体的三个条件
4.2同位变异体测试数据生成
4.3实验结果分析
第五章 等价变异体的检测
5.1基于约束测试技术
5.2等价变异体的判别原理
5.3不可行约束系统识别策略
5.3.1否定(negation)
5.3.2约束分解(constraint splitting)
5.3.3常量比较(constant comparison)
第六章结论与展望
6.1结论
6.2展望
参考文献
作者在攻读硕士学位期间公开发表的论文
作者在攻读硕士学位期间所作的项目
致 谢