论文部分内容阅读
基于中断的嵌入式并发软件是航天型号软件系统中必不可少的部分,它的可靠性、安全性直接影响着整个型号软件的可靠性、安全性。随着航天型号任务复杂性的提高,基于中断的并发系统设计越来越复杂,传统测试方法难以确保其测试充分性,且工程实践中缺少测试充分性量化计算方法,成为航天型号软件质量保障的一大难题。本课题的任务即基于常见的中断相关数据竞争问题,在对并发软件测试方法以及中断相关数据竞争检测算法深入研究的基础上,探索适用于航天型号软件的测试充分性量化计算方法,辅助测试人员量化测试充分性,掌握测试进度。 本文叙述了数据竞争检测算法和中断相关问题研究概况,指出面向多线程程序的数据竞争检测算法不能直接应用于基于中断的并发程序,目前对于中断相关问题的测试未见测试充分性的量化计算方法。本文详细论述了并发系统、多线程并发软件的测试方法和测试工具,指出现有的多线程软件测试方法和工具不能直接应用于航天型号软件测试。 本文从航天型号软件特点入手,阐述了航天软件测试现状和面临的问题,选择具有代表性和发生率较高的中断相关数据竞争问题作为本文的研究对象,给出了中断相关数据竞争的定义,阐述了已有检测算法,并分析了其存在的不足。 本文针对航天型号软件的数据竞争检测,找出主程序与中断程序的潜在冲突变量,依据它们之间是否相互关联,分中断为读和写两种类型,提出了更适合工程应用的测试区间划分算法和测试充分性量化计算算法,并进行了实验验证。实验结果表明测试区间划分算法能准确表示需要产生中断进行测试的区域,测试充分性量化计算方法能依据中断产生情况给出测试充分性量化指标,二者结合有助于测试人员掌握测试进度,评价测试结果,提高测试效率,并为后续研究提供可扩充的研究思路。