面向对象的软件测试方法研究

在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。面向对象方法学在软件工程中的引入极大地方便了软件的设计、开发和维护,为创建高可靠性的软件系统提供了重要保证。但面向对象程序的封装、继承、多态和异常处理机制等新特性却给测试带来新的挑战。一方面需要调整、改进传统的测试策略和方法;另一方面探索出适应面向对象程序特征的测试理论与技术也尤为必要。     

红外地球敏感器测试用电信号源软件实现

在卫星姿态测量中,红外地球敏感器为核心部件。在研制红外地球敏感器过程中需要红外地球波电信号源为其提供电激励信号,根据红外地球敏感器测试要求设计了红外地球波电信号源的软件系统。软件系统主要包括CPU板上主控软件和FPGA固化软件两部分,分别实现对红外地球波电信号源信号发生的控制和专用信号发生模块信号输出的控制。调试结果表明软件系统具有高可靠性、功能全面的特点,满足红外地球敏感器测试用信号源实时性和高精度的要求。     

基于AUTOSAR规范的汽车ECU软件开发方法

针对汽车ECU常规开发方法用于整车系统级分析与建模所存在的缺陷与不足,基于汽车开放式系统架构(AUTOSAR)基本理论,首先阐述了AUTOSAR规范的层次化、模块化系统架构及层间接口,进而建立一个由架构定义与ECU配置两个阶段构成的AUTOSAR实现过程,最后结合市场典型的AUTOSAR工具,给出一个系统的汽车E-CU软件开发解决方法。研究结果表明,所提方法简洁高效的,能够保证整车电子控制软件系统的可扩展性、模块可重用性与可靠性,这对于低成本高可靠性的汽车ECU系统开发具有重要指导意义。     

双MCU架构航标监控终端的研制

针对航标监控终端对低功耗、高可靠性的要求,采用双MCU架构设计.在软件系统中建立多任务消息机制,引入时限服务策略对任务的运行时间进行约束,只需定时器和少量资源,提高了软件的可靠性.实际应用表明,该终端的性能指标完全满足设计要求.     

一种计算机辅助工艺过程设计软件的研究

简述了计算机辅助工艺过程设计软件的应用现状,提出了面向工艺设计人员而研究开发的一种实用型计算机辅助工艺过程设计软件系统,简述了软件系统的基本构成与主要功能模块的设计方案。     

基于MCS-51的Mifare智能IC卡读卡器软件设计

Philips公司的Mifare技术是当今非接触式IC智能射频卡的主流技术。Mifare智能IC卡具有高度安全、高可靠性及分区的存储结构特点,支持一卡多用,结合以单片机和读卡模块为核心的系统,可应用于广泛领域。本文主要着眼于读卡器软件系统的开发,介绍了智能IC卡及其读卡器的工作原理,详细分析单片机使用SPI方式与IC卡通讯的原理与时序算法,详细分析针对数据稳定性的数据存储模式和读写算法,并给出主体程序流程及代码。本软件系统主要从通用性的角度进行设计,实现基本的、稳定性高的读写功能,在此基础上针对具体应用添加若干辅助程序,即可满足多种应用需求,具有很好的可移植性。     

反射式需求工程过程演化建模

用反射机制为软件系统需求工程过程演化建模,将需求工程过程的开发活动作为反射系统的基层,实现软件系统的功能需求,将软件系统的非功能需求作为反射系统的元层,对需求工程过程的开发活动进行调节、控制,并将非功能需求的性质反射到功能需求.定义了有色Petri网及其范畴,并用有色Petri网范畴描述软件系统非功能需求性质的模拟、保持和反射机制;用有色Petri网建立反射式需求工程过程演化形式化模型,模拟了软件系统需求工程过程中功能需求和非功能需求的迭代、增量、演化,为软件系统需求工程过程演化建模提出了一种新的方法.     

网管软件主备切换协议的设计和验证

软件系统的主备切换功能可以保证系统的高可靠性。该文设计了一种简单的主备切换协议,提供了主备切换协议中的帧设计,描述了该协议在启动监控和执行监控切换时的状态,以及自动切换和手动切换的情况。并将这一功能应用于网络管理软件,有效降低了丢包率,提高了系统的可靠性。最后对该协议进行了验证。     

一种高可靠性的频率测量系统

提出并研制了一种高可靠性、高精度、使用简单且便于维护的频率测量系统,该系统用于电力电子测量领域。其硬件系统以嵌入式PC104计算机为测控平台,软件系统以LabWindoWs/CVI为开发平台,采用测周期法,依据频率大小选用不同的基准频率。经实际测试证实,该设计满足精度和实时性的要求,检测效率高,便于操作与维护。该系统亦可用于其他要求高精度频率测量的领域中。     

FPGA准实时寿命损耗评价系统的验证试验设计

为验证已建立的现场可编程门阵列(FPGA)器件准实时寿命评价系统的工程合理性,进行了加速寿命试验的设计.验证试验的设计,考虑不同型号之间的可靠性差异,针对特定型号的Xilinx XCV600 FPGA样本,能够定位样本内部具体失效部位.针对FPGA高可靠性的特点,施加温度、电压和频率3种加速应力;针对FPGA使用环境多变的特点,构建了整套载荷数据跟踪与处理流程.试验方案通过硬件和软件系统实现,硬件系统进行FPGA工作环境的加载及准实时工作情况数据的采集,软件系统基于电迁移失效机理对采集到的数据进行处理得到寿命信息,将试验与预测结果进行比对完成验证.实践表明了该试验设计的可实施性,确认了部分系统预测结果的准确性.     

A software-reliability growth model for N-version programmingsystems

This paper presents a NHPP-based SRGM (software reliability growth model) for NVP (N-version programming) systems (NVP-SRGM) based on the NHPP (nonhomogeneous Poisson process). Although many papers have been devoted to modeling NVP-system reliability, most of them consider only the stable reliability, i.e., they do not consider the reliability growth in NVP systems due to continuous removal of faults from software versions. The model in this paper is the first reliability-growth model for NVP systems which considers the error-introduction rate and the error-removal efficiency. During testing and debugging, when a software fault is found, a debugging effort is devoted to remove this fault. Due to the high complexity of the software, this fault might not be successfully removed, and new faults might be introduced into the software. By applying a generalized NHPP model into the NVP system, a new NVP-SRGM is established, in which the multi-version coincident failures are well modeled. A simplified software control logic for a water-reservoir control system illustrates how to apply this new software reliability model. The s-confidence bounds are provided for system-reliability estimation. This software reliability model can be used to evaluate the reliability and to predict the performance of NVP systems. More application is needed to validate fully the proposed NVP-SRGM for quantifying the reliability of fault-tolerant software systems in a general industrial setting. As the first model of its kind in NVP reliability-growth modeling, the proposed NVP SRGM can be used to overcome the shortcomings of the independent reliability model. It predicts the system reliability more accurately than the independent model and can be used to help determine when to stop testing, which is a key question in the testing and debugging phase of the NVP system-development life cycle     

FEL-THz电子枪控制系统的设计与实现

介绍了 FEL-THz装置中电子枪控制系统的设计与实现过程。利用 Microsoft公司发布的 Visual C++6.0进行了控制系统软件的开发和设计。实验结果显示,该软件操作简捷,具有良好的人机操作界面,程序实时响应速度快,运行稳定,为电子枪高压老炼以及系统测评提供支持。     

智能手机系统的MTBF自动测试分析与研究

智能手机系统的开发近年来一直是行业的热点,而在软件系统开发过程中,为了保证软件系统的质量和可靠性,通常引入MTBF(Mean Time between Failures)测试以提供有效的质量监控,并衡量软件是否达到相应的可靠性置信度指标.本文对MTBF指标值进行了深入分析与设计研究,基于python脚本和Monkey工...     

地铁计算机联锁系统软件开发中的抗干扰技术

地铁计算机联锁软件是一个具有高可靠性、高可用性、高安全性的系统软件,需要在硬件和软件上采取一系列方法来满足用户的需求。重点介绍了在计算机联锁系统中如何实现软件抗干扰的方法,并对每一种方法进行了阐述,这些方法都在实际工程中得到应用,并被证明是用软件抗干扰的有效方法,可以达到最大限度地降低干扰对系统工作的影响,确保系统软件及时发现因干扰导致的程序出错。     

二轴桁架机器人的设计及实现

对二轴桁架机器人的总体设计进行了研究.介绍了二轴桁架机器人的机械结构和运动方式、PLC控制的工作原理及系统软硬件设计.由于二轴桁架机器人具有高可靠性、高速度、高精度等特点,因此非常适合智能工厂,物流系统行业的应用.     

Optimal design for software reliability and development cost

A process for reliability-related quality programming is developed to fill existing gaps in software design and development so that a quality programming plan can be achieved. The tradeoffs among system reliability improvement, resource consumption, and other relevant constraints through the management phase are investigated. A software reliability-to-cost relation is developed both from a software reliability-related cost model and from software redundancy models with common-cause failures. A generic N-component redundancy model is also developed. The software reliability optimization problems can be formulated into a mixed-integer programming problem     

基于嵌入式Linux的测试系统软件实现研究

嵌入式测试系统具有集成度高、体积小、速度快、可靠性强等特点,而嵌入式Linux源码开放,内核可定制,是嵌入式测试系统理想的软件系统平台。对基于嵌入式Linux的测试系统进行研究,对嵌入式Linux软件系统各个环节的实现过程进行较为全面的探讨,并总结出可行的实现方案。     

SA based software deployment reliability estimation considering component dependence

Reliability is one of the most critical properties of software system. System deployment architecture is the allocation of system software components on host nodes. Software Architecture (SA) based software deployment models help to analyze reliability of different deployments. Though many approaches for architecture-based reliability estimation exist, little work has incorporated the influence of system deployment and hardware resources into reliability estimation. There are many factors in-fluencing system deployment. By translating the multi-dimension factors into degree matrix of com-ponent dependence, we provide the definition of component dependence and propose a method of calculating system reliability of deployments. Additionally, the parameters that influence the optimal deployment may change during system execution. The existing software deployment architecture may be ill-suited for the given environment, and the system needs to be redeployed to improve reliability. An approximate algorithm, A*_D, to increase system reliability is presented. When the number of components and host nodes is relative large, experimental results show that this algorithm can obtain better deployment than stochastic and greedy algorithms.     

可寻址路权管理系统的硬件组成与软件改进

采用可寻址用户路权管理控制系统,可提高网络的可靠性、安全性,解决收费难的问题,达到综合管理的目的。介绍可寻址路权管理系统的硬件组成与软件系统,并对部分软件进行了改进。     

基于PLC的物料包装输送监控系统

物料输送广泛应用于产品包装、流水作业、检测等相关行业中,对监控系统的准确性、可靠性以及自动化水平都有很高的要求.根据物料输送系统的实际需要提出了基于PLC和WinCC人机界面软件的硬件结构、控制思想和软件设计.系统已在内蒙古天野化工化肥传输自动控制中使用,整个系统组网方便、运行可靠,达到并满足设计的目的和要求.