计算系统多级抗衰技术研究

为了对抗软件老化,提出一种细粒度的、事前的、主动的多级软件抗衰技术。通过分析系统资源的 占用和损耗情况,判定系统性能的衰退规律,并据此制定了基于时间的多级软件抗衰策略和基于检测的多级软 件抗衰策略,采用有限状态自动机对两种策略进行形式化描述,最后通过Web服务案例说明策略的制定过程, 给出仿真结果。实验表明,较之单一系统级软件抗衰,多级抗衰策略可以进一步缩短MTTR,提供更高的系统可 用性,同时将抗衰成本降到更低。     

智能工具机系统软件的设计

银河智能工具机系统是一个同时支持高速逻辑推理和数值计算，支持多种人工智能语言的通用型人工智能计算机系统。本文简要介绍了该机系统软件的结构与设计方案。     

组织形式对软件生产率和软件质量的影响

分析了软件开发小组的几种主要组织形式对软件生产率和软件质量的影响,得出了有利于提高软件生产率和软件质量的软件开发小组的组织形式。     

加强软件质量控制,提高军用软件的可靠性水平

针对军用软件在质量和可靠性方面存在的问题，提出了提高军用软件质量和可靠性的措施和方法。     

虚拟仪器系统软件结构描述语言的设计与应用

为了正确有效地描述虚拟仪器系统软件结构,提出了虚拟仪器系统软件结构描述语言的概念与模型,对其中的模块描述、元件描述与连线描述作了详细的分析,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出,对于规范虚拟仪器系统软件结构特别是应用程序的设计与开发提供了一种新思路,本描述语言已实际应用于多个虚拟仪器系统集成工程中,取得了良好的技术效益和经济效益。     

制冷系统性能试验微机测试系统的软件开发

介绍了用于制冷，空调设备性能测试试验装置的一套功能较强的微机测试系统软件，适用于包括制冷压缩机、溴化锂机组、空调机组在内的系列测试试验装置。文章叙述了程序的设计思想及能够完成的测试和数据处理任务，为制冷、空调设备性能测试试验装置的微机应用提供了一套有用的工具。     

关于软件可靠性测试的若干问题

软件可靠性测试是软件测试的一种形式,它强调软件测试与软件可靠性之间的定量关系,旨在定量改进和评估软件可靠性。从数学角度严格量化软件测试与软件可靠性之间的关系是一件困难的事情。本文举例说明软件可靠性测试中的几个问题,包括软件缺陷的估计、软件测试过程的数学建模、以及软件可靠度的最优估计等。由此可知,软件可靠性测试涉及到不同领域的知识和多种数学工具。     

基于CCSDS的小卫星系统软件重用技术研究

研究了适用于小卫星系统软件的可重用性设计方法。采用了基于可重用软件的模块化结构,构件之间相互通信采用了“软件总线”概念,软件总线设计遵照了CCSDS标准。软件总线为每个任务模块提供一个简单的标准化数据通信接口,因此对某一星载系统任务模块的修改或增加或时不稳定其它任务模块,通过从地面上实时地改变软件总线上的调度表内容,很容易改变卫星上的任务模块。     

拟态防御技术结合软件多样化在软件安全产业中的应用

随着互联网的飞速发展,计算机软件全球化的进程不断推进。大量相同软件安装在数以万计的计算机中,容易导致黑客利用软件的漏洞,攻击安装了该软件的所有计算机。传统的软件安全措施是依靠对漏洞进行修补,其只能起到亡羊补牢的作用。软件多样化技术可以使这种情况得到缓解,但其并没有从根本上消除漏洞带来的威胁。本文提出将拟态防御技术与软件多样化技术相结合应用于软件安全产业,可以消除漏洞带来的威胁。     

ORACLE系统数据库的构造原则与应用软件设计技术

本文研究在ＯＲＡＣＬＥＶ６．０环境下数据库设计的若干理论和实践问题；探讨了关系型数据库构造过程中普遍有效的原则及其灵活应用；并结合实际，提出了若干使用ＯＲＡＣＬＥ开发工具进行应用软件设计的技术方法．     

微软WORD格式中的软件质量保证

“在廉价的甜味逐渐减弱消失后,就会倍偿长期持续的苦味。“高质量软件的生命周期成本只是低质量软件的生命周期成本的几分之一。在一些情况下,质量保证的软件对于使用该软件的客户意味着生命悠关。例如,飞行员读了令人误解的荧屏显示就有可能以付出他（她）以及乘客的生命作为代价。软件质量保证方法或过程必须标准化并用于确保软件产品的安全以及成本效果,软件质量保证应占项目总成本的6%。     

Software design

Software has progressed to the point where failure can cause danger or even loss of life. This heralds the need for a similar framework of design control in the more tried and proven fields of engineering. This paper explores some of the ground rules which may help software designers and their project manager to fulfill this need.     

浅析自动校准软件的测试

测试是自动校准软件开发的重要内容,也是保证自动校准软件质量的重要手段.运用软件工程的思想并结合国内校准实验室实际状况,着重介绍了自动校准软件测试的组织管理工作、方法和测试的一些原则.     

商品化CAD软件开发策略

文章在简要介绍了ＣＡＤ软件工程规范的基础上,通过对实例的分析研究,提出了商品化ＣＡＤ软件所需具备的基本条件,探讨了开发和推广商品化ＣＡＤ软件的方法和策略。     

汽车衡软件作弊监控系统设计

针对目前汽车衡软件作弊问题,研制一套可在实际运行工况下实时监测称重数据的系统。该系统采用A/D称重模块测量重量参数,基于人机界面架构,应用组态软件开发设计,选用SD卡存储实时数据,结合3G通信模块实现数据信息的远程传输功能。测试结果表明:该系统不仅架构简单、工作稳定,而且各项指标均达到设计要求,具有良好的可靠性和应用前景。     

Software Assurance Using Structured Assurance Case Models

Software assurance is an important part of the software development process to reduce risks and ensure that the software is dependable and trustworthy. Software defects and weaknesses can often lead to software errors and failures and to exploitation by malicious users. Testing, certification and accreditation have been traditionally used in the software assurance process to attempt to improve software trustworthiness.In this paper, we examine a methodology known as a structured assurance model, which has been widely used for assuring system safety, for its potential application to software assurance. We describe the structured assurance model and examine its application and use for software assurance. We identify strengths and weaknesses of this approach and suggest areas for further investigation and testing.     

Software qualification in safety applications

The developers of safety-critical instrumentation and control systems must qualify the design of the components used, including the software in the embedded computer systems, in order to ensure that the component can be trusted to perform its safety function under the full range of operating conditions. There are well known ways to qualify analog systems using the facts that: (1) they are built from standard modules with known properties; (2) design documents are available and described in a well understood language; (3) the performance of the component is constrained by physics; and (4) physics models exist to predict the performance. These properties are not generally available for qualifying software, and one must fall back on extensive testing and qualification of the design process. Neither of these is completely satisfactory.The research reported here is exploring an alternative approach that is intended to permit qualification for an important subset of instrumentation software. The research goal is to determine if a combination of static analysis and limited testing can be used to qualify a class of simple, but practical, computer-based instrumentation components for safety application. These components are of roughly the complexity of a motion detector alarm controller. This goal is accomplished by identifying design constraints that enable meaningful analysis and testing. Once such design constraints are identified, digital systems can be designed to allow for analysis and testing, or existing systems may be tested for conformance to the design constraints as a first step in a qualification process. This will considerably reduce the cost and monetary risk involved in qualifying commercial components for safety-critical service.     

生产现场管理综合评价方法研究及软件开发

分析了制造业企业生产现场管理综合评价的特点和需要考虑的因素,设计了评价指标体系,建立了生产现场管理模糊综合评价方法,开发了评价软件。通过在实际企业中的应用,所设计的评价指标体系、评价方法和评价软件的合理性和有效性得到了验证。     

生物芯片扫描分析系统DSP软件设计

生物芯片扫描分析系统是生物芯片能否得到广泛应用的关键仪器。针对传统生物芯片扫描分析系统结构复杂、处理速度慢、体积庞大等弱点,引入DSP处理器完成扫描控制和全自动数据分析处理。DSP/BIOS的运用使得系统DSP软件设计简单化。概述了整个系统的结构,详细介绍了生物芯片扫描分析系统DSP软件结构和设计,包括DSP/BIOS的运用模块、BOOT的过程、扫描控制模块、数据处理模块和HPI模块。目前该系统已进入了稳定工作的状态。     

金属材料信息的软件--《金属材料咨询系统》

叙述了软件<金属材料咨询系统>的研制开发和内容特点,指出此软件是一个金属材料信息存储、管理、查询和研究的高效优质的工具软件,使用面广,具有显著的经济和社会效益.