可重构系统编译平台的可信软件测试过程研究及应用

摘要

现代社会，无论各行各业，都离不开软件应用的支持。软件测试作为软件开发过程中必不可少的质量保障手段，将其视为伴随软件开发的一个过程，而不是软件开发后期的一个环节，这种思想已成为工业界的主导思想。同时，不同软件有其独特的需求和资源，如何能够根据每个软件的特点，进行更有针对性的测试过程管理，在保证软件可信度的同时提升软件测试的效率成为人们关注的焦点。
　　本文针对软件的多样性和复杂性，提出了一种基于目标软件可信度的软件测试过程框架。通过对软件进行目标可信度建模，根据该模型指导后续的测试工作。结合形式化测试需求分析等方法，解决了软件测试过程中资源浪费和测试不精确的问题，达到合理利用测试资源，提升测试效率的目的。
　　在可信软件测试过程框架的基础上，本文针对GRVM编译器的软硬件结合的特征，给出了软硬件协同测试以支持软件开发工作的管理方案。通过对目标硬件进行测试和通用算法分析，总结其架构的优缺点和不同算法应用在硬件结构上的映射，为软件开发工作起指导作用，提升了软件的质量。
　　本文完成了对编译器验证平台的测试工作，在此基础上，提供了自动化的测试方法用以对编译器的功能进行测试。基于这些方法的测试结果表明，采用可信软件测试过程方法进行软件测试能够有效的提升测试的精确性和效率。与原有的采用V方法进行测试的REmusII编译器开发过程相比较，效率提升了26.5％。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪 论

1.1课题的研究意义

1.2国内外研究现状

1.3主要研究内容

1.4章节安排

第二章 软件测试与可信软件过程

2.1软件测试基本理论

2.2 V模型方法及缺陷

2.3可信软件过程

2.4本章小结

第三章 可信软件测试过程管理方法

3.1可信软件测试过程

3.2目标软件质量特征可信度

3.3形式化测试需求分析方法

3.4本章小结

第四章 可信软件测试过程方案

4.1 GRVM支撑软件概述

4.2测试目的及策略

4.3测试流程

4.4测试范围

4.5风险分析

4.6测试方法

4.7测试过程管理

4.8本章小结

第五章 GRVM支撑软件的可信软件测试过程实践

5.1 GRVM支撑软件测试环境

5.2 GReP测试分析

5.3仿真平台可信测试

5.4编译器可信测试

5.5本章小结

第六章 结束语

6.1主要工作及创新点

6.2后续研究工作

参考文献

致谢

攻读硕士学位期间已发表或录用的论文