论文部分内容阅读
新一代航天控制系统先进性的重要标志之一是计算机技术的广泛应用，嵌入式软件作为计算机技术的一个分支，日益成为控制系统的神经中枢，已成为影响质量可靠性的关键因素之一。软件测试是保证软件质量和可靠性的重要手段，对软件评价、验收和管理具有十分重要的意义，但由于航天控制系统大部分还采用汇编语言，相对于通用软件测试而言，针对嵌入式软件汇编语言测试研究比较滞后，相应的测试工具也很有限。特别缺少针对广泛应用的DSP TMS320C3X汇编语言、C语言及汇编/C混合语言的数字化模拟动态测试工具，所以本论文研究的目的是通过对模拟测试技术研究，解决工程中应用的急需难题。
本文基于航天嵌入式软件测试的特点，通过数据库和词法分析技术，建立了嵌入式软件动态模拟测试模型；提出了适合航天工程的测试用例设计和覆盖率分析方法；基于BP神经网络原理，建立了基于BP神经网络的软件质量评价模型；通过GEL语言自动编码，实现了航天嵌入式软件的数据自动加载和结果自动采集；结合工程应用需要，利用VC++6.0开发了针对TMS320C3X程序的单元/组装动态模拟测试系统(EBST1.0)，在航天工程中经过实践检验，技术成果可以应用到其他类型编程语言的动态模拟测试。
本文研究成果满足了航天工程中TMS320C3X语言编程系统的软件测试的迫切需要。研究和开发的软件数字模拟测试系统符合当前软件测试系统的发展趋势，有很好的发展前景。