四线电阻式触摸屏线性度的测试的研究

本文提出一种测试电阻式触摸屏线性度的方法.该方法将接触点的坐标集合转换到与之等价的电压集合,简化测试流程,提高了测试精度.同时,该方法首次提出纠偏算法,在一定程度上解决了触摸屏测试时有偏移情况下的精度问题,并对测试中的典型噪声进行分析并提出针对性的除噪方法.实验结果表明,该方法提高了测试速度和测试精度,可以满足实际测试应用.     

基于场景模型的BGP-4健壮性测试

提出了一种系统实现协议健壮性测试的新方法.该方法通过深入分析BGP的路由信息处理过程,建立场景模型来描述决策过程和更新过程的应用环境和控制参数,并基于该模型提出了健壮性测试案例生成方法.路由协议BGP的实际测试应用表明,该方法避免了组合爆炸问题,生成的反向测试集的检错能力是正向测试集的2.3倍.     

一种Web服务可信度测试方法

在深入分析Web服务不确定性的基础上,提出一种Web服务测试方法.通过引入可信度阈值进行检验,该方法对异常候选服务具有较强的抗干扰性,能够有效测试出候选服务的可信度、每个测试用例的期望标准输出及其测试能力.该方法根据可信度对候选服务进行排序,为服务使用者选择合理的Web服务提供了重要参考依据.该方法不仅可以测试单个Web服务,还能够对组合Web服务进行测试.最后,通过测试实验验证了该方法的可行性和有效性.     

可用性测试平台

阐明了软件可用性测试的重要性及其方法分类,着重说明了用户测试方法的步骤.介绍了所设计的软件可用性测试平台的特点和建设该平台的必要性,通过该平台对鱼眼菜单、单列菜单、级联式菜单进行了可用性测试.在测试用户较少的情况下,实验结果与其它主流实验室的结果相一致,表明了该实验平台的有效性和高效性.最后,对该测试平台可能的改进提出了设想.     

基于可用性的一致性测试套选择

一致性测试套选择是一致性测试中非常重要的阶段.测试生成的测试套集受到测试成本、覆盖度、可用性等因素的影响,只有经过测试选择后得到的测试套子集才可以用于实际的一致性测试.在测试选择研究的基础上,根据可用性标准,提出了一种基于统计检验的测试选择方法.该方法把可用性标准转化为假设检验模型,使用形式化方法构造了测试例执行的接受域;然后对测试例执行进行采样并且统计成功的次数;如果统计结果落入接受域,就认为该测试例是可用的.该方法取得了非常好的应用效果.     

基于LabWindows/CVI的近地告警测试系统设计

针对当前传统自动测试系统本身模块化水平低、技术升级困难的特点,提出用虚拟仪器技术开发测试系统的方法.并给出了基于LabWindows/CVI软件开发平台的近地告警测试系统的具体实现.着重从系统硬件架构和软件系统两方面介绍了用虚拟仪器实现进地告警测试系统的设计实现.采用将测试资源划分为公用测试资源和专用测试资源的方法,成功实现了测试系统的高模块化;并利用LabWindows/CVI的强大通讯功能实现了系统实时在线测试功能.通过实际测试和评估,该近地告警测试系统运行良好,证明该设计方法十分有效.     

基于VxWorks的分布式测试系统设计与实现

针对多客户端对数据采集卡同时进行测试和诊断的问题,设计了VxWorks下的分布式测试系统.介绍了该系统的结构和原理,重点阐述了并发服务器的设计以及应用双缓冲方法接收并处理数据,最后介绍了VxWorks操作系统下驱动程序的开发.其测试结果验证了该方法的可行性.     

基于混合测试的软件可靠性加速测试方法研究

为提高软件可靠性测试效率,在分析软件可靠性测试以及测试用例设计方法的基础上,提出一种基于混合测试的软件可靠性加速测试方法.该方法将软件可靠性测试分为两个阶段,第一阶段为传统可靠性测试,第二阶段为针对性测试,并通过过渡准则将软件可靠性测试和针对性测试结合起来,由软件可靠性测试向针对性测试过渡.在针对性测试中提供了一个测试策略接口,使得各种用例设计方法都可以在软件可靠性测试中使用.根据重要性抽样理论求得混合测试加速因子,在减少测试代价的同时实现了利用混合测试失效数据进行软件可靠性评估.实验结果表明该方法较传统软件可靠性测试有较大提高.     

LC706T复位监控电路测试技术研究

介绍了LC706T复位监控电路的结构和功能、直流参数和交流参数的测试技术.并着重介绍了该电路电源监控器和看门狗定时器部分的工作原理,简单分析了该电路直流参数的测试原理及在不同测试系统上交流参数的测试能力和方法.     

工业无线网络性能测试方法研究和实现

为了研究基于IEEE 802.15.4a的工业无线网络的实时通信性能,给出了基于该标准下的无线网络的实时性测试方法.设计了该方法的测试装置,实现了对该无线网络的实时性能指标的测试.测试结果表明,该测试方法可靠、稳定,能够有效地获取该无线控制网络的实时性能指标,为优化和改善工业无线网络通信提供了依据.     

Quality assurance and testing for safety systems

In this paper we identify special quality assurance and test requirements of software for safety systems and show that even the best currently available practices meet these requirements only at very high cost and by application of empirical rather than technically rigorous criteria. Redundancy can help but is expensive and the reduction in failure probability due to software redundancy is uncertain. We identify a qualitative approach to test data interpretation, particularly the examination of rare events in the conditions that precipitated an observed failure, as a possible avenue for a more economical reliability assessment. This can be used as an alternative or as a supplement to redundancy for meeting the reliability requirements for software in safety systems. Further research in this area is recommended.     

软件可靠度的模糊故障树评定方法

软件可靠性的定量评价是软件可靠性工程的关键问题之一,采用故障树方法对软件进行定性和定量分析,提出了两类情况下对影响软件可靠性的主次因素划分及其模糊权重的计算方法。在此基础上,建立多级模糊评价模型,提出了增广和聚合算法,并给出了软件可靠度算式。选择某型航空装备软件进行了测试实例分析,实验结果表明了该方法评价结构的合理性与评价算法的有效性,适用于软件质量及开发过程控制的工程实践。     

软件易测性和软件可靠性关系研究

从测试有效性的角度对易测性进行了定义,给出了软件易测性的量化表示模型;建立了易测性和可靠性之间的形式化关系;通过实验验证了易测性对实现可靠性目标所需的测试数量的影响.文中结论认为传统的基于黑盒测试得到的可靠性估计结果是盲目的,而基于易测性的可靠性模型可以提供更准确和更具针对性的估计结果.     

舰船装备软件构件可靠性评估方法

为了解决对当前大型舰船装备软件构件可靠性评估不够直观详细,构件的性能参数缺乏足够的测试数据。针对以上问题进行研究,提出针对舰船装备软件构件的可靠性评估方法、分析和综合评价的工具。本文提出了一种针对舰船装备软件构件可靠性评估方法,接着对其评估过程进行介绍。最后,在开发出的可靠性评估工具上对方法进行验证,它可以实现软件可靠性早期预计以及可靠性分析的自动化实施。该软件可以极为方便的帮助软件可靠性工程师实现舰船装备软件构件可靠性早期预计分析工作,具有重要的工程意义。     

Stretching the paradigm for software reliability assurance

Reliability of a software product is best assured by the same means as reliability of any other product is assured: by a systematic, end-to-end, design for reliability process that begins at product concept and follows through to customer service after delivery. Steps in this process are coordinated with the phases of the product realization (software development) process and include specific reliability improvement activities that complement each phase. This represents a new approach to software reliability assurance needs, contrasted with the traditional inspection and rework approach commonly taken to software reliability assurance via reliability growth testing and modelling. The program we describe draws on contemporary principles of quality management and reliability engineering for its overall structure. Also, several important and promising new areas of software reliability research devolving from this expanded paradigm are sketched.     

Protecting against what? The Achilles heel of information assurance

Many have long regarded software assessment as a way to determine the correctness of software. Formal methods attempt to build in correct behavior. Techniques such as formal verification and testing attempt to demonstrate, either formally or empirically, that the software computes the specified function-whether or not the specified function is correct. Note several subtleties here. First, to employ these techniques, we need a definition of correct behavior. Without an accurate definition of what we want, we cannot confidently label an information system as defective. Second, the predominant goal of software assurance has been to demonstrate correct behavior. But as we all know, correct software can still kill you. Correct and safe behaviors can conflict since safety is a system property while correctness is a software property. We must merge these two properties if we ever hope to realize information assurance. Information assurance is similar to software assurance but covers a broader set of information integrity issues, such as information security, privacy, and confidentiality. For example, if a system can thwart attacks, whether malicious or simply unfortunate, and still provide accurate information on demand, then it provides some degree of information assurance. Information assurance also includes the traditional software “ilities” (as they are called), such as software safety, software security, reliability, fault tolerance, correctness, and so on. Put simply, information assurance is accurate enough information that is available on demand for a given application or situation     

Evaluating the reliability of the software of a switching system with a multi-variable model

In recent years reliability growth models have gained a dominant role in the evaluation of the reliability of software products. However, their application to the quality assurance process of the software of a highly complex system such as a telecommunications switching system often shows that it is then possible to get accurate results only when some months of operation have elapsed. It is then impossible to give an answer to the typical questions which arise during the quality assurance phase: ‘Is the software ready for release? How long will it take before it is ready?’. This paper describes a multi-variable (MV) model which was developed to overcome the above limitation by providing a better model of the quality assurance process. A case study is presented, and a comparison is made between the results obtained by applying existing reliability growth models and the MV-model to it. Besides attaining surprising accuracy in its predictions and in measuring the reliability of the product, the MV-model also tries to tackle a different kind of question: ‘How is it possible to improve the effectiveness of testing?’.     

基于UML的软件使用模型生成技术研究

软件可靠性测试是高可靠软件质量保证的重要过程，而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准，在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型，如用例图、顺序图、活动图，可以生成软件使用模型，进而可据此产生测试用例。     

软件开发过程质量保证策略研究

随着软件系统在电子产品中的广泛应用,软件开发过程中的质量保证问题越来越重要,和成熟的硬件质量管理相比,软件质量保证需要更加严谨的流程性和灵活性保证策略。本文在研究软件质量保证要求基础上,结合项目管理实践,提出了软件评审、软件测试、软件配置管理、软件外包管理、软件质量审核等软件开发过程质量保证方法,提高了企业研制高水平的软件产品能力。     

基于UML的软件使用模型的研究与实现

UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。