VSPWorks程序设计技术

VSPWorks是应用于多DSP并行系统的嵌入式实时操作系统,其先进的程序设计思想,大大简化了传统多DSP系统的软件开发模型,既保证了软件质量,也提高了开发效率.在详细介绍了虚拟单处理器模型和系统启动过程的基础上,讨论了应用程序开发过程,并举例介绍了网络连接文件的编写方法.     

Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

软件安全性设计常见问题的思考

代码实现过程中存在访问权限以及使用环境变量、加载库、printf/wprinft函数、缓冲区作写操作的C函数、string类中data函数、vfork函数等的安全性问题,对这些无法通过测试手段发现的问题提出相应的解决措施。     

坐标测量机的验收检测标准及校准规范的再探讨

发现GB/T 16857 eqv ISO 10360《产品几何量技术规范(GPS)坐标测量机的验收检测和复检检测》及JJF 1064—2004《坐标测量机校准规范》存在的不足。提出在GB/T 16857 eqv ISO 10360系列标准中增补测量软件包的质量要求和测试标准的建议。以实现对测量软件质量的评价,达到测量机性能的全面验收检测。     

基于GJB2786A-2009的军用软件质量评价技术研究

以ISO/IEC9126软件质量模型为基础,结合GJB 2786A军用软件开发通用要求,研制符合军用软件特点及研制过程的软件质量模型,使其能够在军用软件中得以应用。     

航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

计算机软件可靠性分析及抗不可靠性方法

现代技术数字化、自动化、智能化、系统化及综合一体化的高速发展,计算机软件起着重要作用。软件的可靠性是软件研制和开发中的关键问题。对软件的可靠性进行了全面分析,以实例阐明不可靠软件导致的突发性、灾难性后果。给出了软件可靠性预计表达式。提出并探索了排除软件不可靠的方法,这些方法可方便地应用于工程实践。     

Ada软件测试与认证模型及支持系统

首先讨论Ａｄａ软件测试与认证模型，然后描述根据上述模型建立的Ａｄａ软件测试与认证活动的支持系统，并介绍该系统的结构、功能和特点．     

IEEE Std 1061《IEEE软件质量度量方法学标准》简介

简要介绍了IEEEStd 10 6 1- 92《IEEE软件质量度量方法学标准》的适用范围 ,重点介绍了软件质量度量的目的、软件质量度量框架、软件质量度量方法学及软件度量描述等主要内容     

Ada软件性能检测技术研究及工具的实现

介绍了一些软件的性能检测技术和检测工具，并对它们的实用性和适用性进行了讨论然后，着重讨论了Ａｄａ软件系统的并行机制，并详细分析了与软件的性能密切相关的语法现象，从而设计出合理的处理方法。