航空嵌入式机载软件测试自动化的质量保证技术研究

摘要	第1-5页
ABSTRACT	第5-7页
第一章 引言	第7-19页
·机载软件的特点及趋势	第8-10页
·机载软件软件测试自动化的需求	第10-14页
·机载软件测试自动化存在的问题	第14-19页
·过程	第14-16页
·平台	第16-19页
第二章 软件测试自动化的构造	第19-39页
·过程要素	第19-32页
·软件生命周期的演化	第20-22页
·软件测试自动化工作项目	第22-26页
·软件测试自动化的演化	第26-32页
·环境的要素	第32-39页
·环境架构	第34-35页
·软件环境	第35-37页
·仿真测试环境	第37-39页
第三章 软件测试自动化的质量保证技术	第39-54页
·软件度量	第39-46页
·商用工具提供的度量元	第39-40页
·国军标中的内部质量度量	第40-41页
·建立内部质量评价静态模型	第41-44页
·对度量结果的应用	第44-46页
·测试用例约简	第46-54页
·测试用例集的产生	第47页
·基本模型	第47-48页
·现有测试用例集约简技术	第48-49页
·测试用例集约简算法	第49-51页
·实例分析	第51-54页
第四章 实施成效分析	第54-57页
·软件测试自动化对于软件开发过程的影响	第54-55页
·对于机载软件质量的影响	第55-56页
·对于组织的影响	第56-57页
第五章 结论	第57-59页
致谢	第59-60页
参考文献	第60-61页
攻博/硕期间取得的研究成果	第61页