【摘 要】
：
本文按如下所述来组织文章的结构.首先阐述了目前在航天数值计算类软件测试中传统测试方法所不能解决而又迫切需要解决的三类问题;其次分析了传统的测试方法解决这三类问题的不足和局限;然后提出软件测试的区间代数方法并给出区间代数方法的数学理论基础;最后将传统的软件测试方法和区间代数方法作一个简单的比较,给出文章的结论.
【出 处】
：
全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会
论文部分内容阅读
本文按如下所述来组织文章的结构.首先阐述了目前在航天数值计算类软件测试中传统测试方法所不能解决而又迫切需要解决的三类问题;其次分析了传统的测试方法解决这三类问题的不足和局限;然后提出软件测试的区间代数方法并给出区间代数方法的数学理论基础;最后将传统的软件测试方法和区间代数方法作一个简单的比较,给出文章的结论.
其他文献
目前在对实时控制系统的算法部分进行动态测试时,如何根据输入信号计算实时控制系统的预期输出,是一个难题,本文对如何应用MATLAB的实时控制系统动态仿真工具SIMULINK进行闭环控制系统的动态测试用例设计作出了一些探讨,分别从时域和频域讨论如何计算测试用例预期输出,并给出实际算例.
随着嵌入式系统在各行各业应用的迅速发展,其核心控制软件也变得日益庞大和复杂,实行有效的嵌入式软件测试显得越来越重要.本文首先分析了嵌入式软件的特点及嵌入式软件测试的重要性,接着阐述了一种有效的嵌入式软件测试工程化方法,并结合一个实际测试项目验证了该方法的有效性.
本文对嵌入式控制软件系统及其测试系统体系结构进行分析,描述测试过程中的主要活动,结合数据库中的数据触发器技术,提出并设计了一种基于数据触发技术的自动化测试系统的设计方法,描述了基于该方法进行自动化测试系统设计的详细步骤.基于该方法,本文实现了一个自动化测试系统实例,说明该设计方法的正确性、有效性和可行性.
本文主要研究基于B/S架构的WEB应用系统的性能测试应把握的几个重点,如性能测试的通过标准、性能测试的基本条件、性能测试环境以及负载量等方面进行了分析和探讨.
全球信息产业持续发展,并由硬件主导型向软件和服务主导型转变,软件质量是推动软件产业良性发展的核心.中国软件产业近年来飞速发展,但软件质量方面的投入却滞后于软件产业规模的增长速度.软件测试以发现软件中隐藏的缺陷为目的,贯穿软件开发周期的始终,是提高软件质量必不可少的手段.第三方软件测试机构可以从多个层面为软件产业的发展发挥作用,国家应用软件产品质量监督检验中心在这方面开展了大量工作,在规范软件产品市
软件需求分析是软件工程中重要的一步,直接关系到后继工程的进行以及最终的产品能否满足用户的需求,因此在整个工程中起着关键性的作用,并且,采用有效的软件工具已经成为分析设计的重要手段之一.与实际的项目相结合,充分地发挥工具的作用,可以显著减少需求阶段的错误,也可大幅度提高需求分析的质量和工作效率.本文结合作者的实际工作,介绍和讨论了软件需求分析过程中所选用的辅助工具及其具体应用实例.
当前型号软件需求文档大都是用自然语言编写,受编写人员的主观影响,容易造成编写不规范,难于进行检查,不能保证型号软件需求文档的质量.本文在对需求文档编写标准、检查内容及方式进行研究分析的基础上,并借鉴对数据流图进行一致性检查的思想,提出了设计开发型号软件需求文档辅助检查工具的基本思路,并介绍了该工具原型的一些功能特点.最后结合本技术的研究及工具的实现应用情况,为编写和检查型号软件需求文档提出一些想法
对软件故障进行分类能够提高软件测试的针对性和有效性及软件测试的工作效率.本文简要分析了对软件故障进行分类的必要性,介绍了几种有代表性的软件故障分类方案,并从过程型语言程序产生软件故障的根本原因入手,以在实际测试工作中遇到的软件故障的症状为依据,分析了过程型语言程序中软件故障的表现,提出了一种适用于过程型语言程序的软件故障分类方案.
本文通过与C++中的内存泄漏问题进行对比,说明Java内存泄漏的基本原理是GC机制无法解决实际上无用却而还被引用的对象的回收.对目前市面上的Java内存泄漏工具做了概括的分析,并使用Borland Optimizeit工具来示例说明测试内存泄漏和分析内存泄漏的方法.
随着敏捷开发过程流行,敏捷测试方法也开始受到更多的关注.同时,软件测试用例的选择和生成也是软件测试中的一个重要研究领域,测试用例的质量将直接决定软件测试的科学性和有效性.本文基于集成测试框架FIT(Framework for Integrated Test),并结合两两组合覆盖的测试用例自动生成技术,实现从接口参数边界值的确定,到以HMTL形式显示集成测试结果过程的半自动化过程.