飞行控制软件单元测试的实施

摘要	第1-5页
ABSTRACT	第5-8页
第一章 引言	第8-11页
·课题背景	第8-9页
·课题任务	第9页
·作者的主要工作	第9-10页
·论文结构	第10-11页
第二章 软件测试基本理论	第11-25页
·软件测试的基本概念	第11-14页
·软件测试的定义	第11-12页
·软件周期与软件测试	第12-14页
·软件测试技术简介	第14-23页
·静态测试技术	第14-18页
·动态测试技术	第18-20页
·几种有效的测试用例设计方法	第20-21页
·逻辑覆盖率分析方法	第21-23页
·飞控计算机软件特性分析	第23-25页
第三章 飞控软件单元测试过程与用例设计方法	第25-47页
·单元测试过程	第25-34页
·文档审查过程	第27-28页
·静态分析过程	第28-29页
·代码审查过程	第29-30页
·动态测试过程	第30-31页
·单元测试实施步骤	第31-34页
·基于需求的测试用例设计方法	第34-38页
·测试用例设计	第34-36页
·测试覆盖分析	第36-38页
·基于逻辑覆盖测试技术的测试用例设计方法	第38-47页
·测试需求分析	第38-40页
·测试用例设计	第40-47页
第四章 某型号飞行控制软件单元测试实施	第47-70页
·项目对单元测试的要求	第47-50页
·项目简述	第47-48页
·测试内容及要求	第48-50页
·单元测试模型	第50-52页
·单元测试活动的实施	第52-70页
·文档审查活动	第52-55页
·静态分析活动	第55-57页
·代码审查活动	第57-59页
·测试用例和驱动程序的设计及评审	第59-61页
·动态测试执行	第61-63页
·各活动的结果总结和分析	第63-67页
·测试充分性分析	第67-70页
第五章 总结	第70-72页
·总结	第70页
·进一步的工作	第70-72页
附录1 表格索引	第72-74页
附录2 图片索引	第74-75页
参考文献	第75-77页
致谢	第77页