数值计算型软件的一种安全性分析方法研究

摘要：

本文按如下所述来组织文章的结构.首先阐述了目前在航天数值计算类软件测试中传统测试方法所不能解决而又迫切需要解决的三类问题;其次分析了传统的测试方法解决这三类问题的不足和局限;然后提出软件测试的区间代数方法并给出区间代数方法的数学理论基础;最后将传统的软件测试方法和区间代数方法作一个简单的比较,给出文章的结论.

关键词： 数值计算型软件 航天数值计算 软件测试

作者: 李福川

作者单位: 航天科工集团706所

会议类型: 国内会议

会议名称: 全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会

会议地点: 安徽黄山

会议语种:中文

页码: 79-88

在线出版日期: 2006-12-01（万方平台首次上网日期，不代表论文的发表时间）