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