论文部分内容阅读
软件测试是提高软件可靠性、保证软件质量的重要手段,尤其在航天领域软件的研制过程中,软件测试更是起着至关重要的作用。但是,传统的软件测试方法在软件测试的某些方面还不尽人意,特别是对航天领域软件中涉及大量数值计算模块的测试更是力不从心。为此,提出软件测试的区间代数方法,能够很好地弥补传统测试方法在这方面的局限,发挥更好的作用。