汽车起重机液压系统故障树分析

建立了汽车起重机吊重起升液压系统的故障树,然后对系统进行了故障树分析.实践证明,将故障树分析法应用于液压系统故障诊断非常有效.     

汽车起重机液压系统故障树分析

建立了汽车起重机吊重起升液压系统的故障树,然后对系统进行了故障树分析。实践证明,将故障树分析法应用于液压系统故障诊断非常有效。     

基于ASP.NET的成教教务管理系统设计与实现

本文以建立新一代的成教教务管理系统为出发点,分析和设计了一套功能较齐全、实用性较强、扩展灵活、操作方便的基于ASP.NET的成教教务管理系统,并对系统各子模块进行描述和分析,对系统的安全性和技术实现做了较为深入的分析论述。     

浅谈故障树分析法与应用

故障树分析法在系统设计中应用十分广泛,通过故障树分析,能有效地提高系统安全性与可靠性,保证系统正常运行.本文就故障树分析法原理及其应用作一简单描述.     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言(Unified Modeling Language,UML),利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型,尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言（Unified Modeling Language,UML）,利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型．尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

模型检查在测试用例生成中的应用

按照存在量词公式的证据是全称量词公式的反例的特性,通过考察时态逻辑算子,用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域,寻找验证的路径,生成测试用例,据此对系统进行测试．通过实例说明了测试用例的具体实现过程．     

灰色关联分析法在电子设备故障树中的应用

将灰色关联度分析方法引入到电子设备故障树分析中,以故障树最小割集构造标准故障模式向量,以底事件关键重要度组成待检模式向量,运用灰色关联分析技术对最小割集组成的各种故障模式按关联度大小进行排序,从而找出导致系统故障发生的主要因子。此方法改善了故障树分析法中系统故障特征与内部特征之间的弱相关性,可直观地反映出系统中各底事件故障发生的可能性大小。通过对某数控系统的电源系统故障的计算,对比故障树分析法的分析结果,表明了其可行性和有效性。     

蓝牙模块串口通信的设计与实现

蓝牙技术是一种适用于近距离的无线通信技术,具有安全性高和受干扰性小的特点。通过单片机对蓝牙模块进行开发,建立蓝牙模块与蓝牙手机之间的通信,实现蓝牙手机对单片机和蓝牙模块系统的控制。同时,蓝牙模块具有与特定蓝牙设备绑定的功能,将其运用在嵌入式安全系统中,可大大提高系统的安全性和稳定性。     

一种用于降低变异测试代价的新技术

针对变异测试代价大、无法广泛应用的问题,提出了一种在变异测试过程中引进测试用例选择以降低测试代价的方法.通过为每个变异体选择一定数量的测试用例,约束变异体允许执行的最大次数,从而减少无用功.测试用例的选择与变异体的变异程度相关,变异距离是描述源程序和变异体之间差异程度的指标,能够衡量测试集中有效测试用例的比例,进而指导...     

软件性能测试实施过程研究

研究了软件性能测试中的关键技术和测试过程;阐述了性能测试的需求分析、脚本录制和测试方案的具体过程。以实际的Web软件为例,使用LoadRunner测试工具进行测试实验;对软件测试中的关键技术进行了分析和研究,采用有效的技术和方法来发现软件中存在的软件缺陷,以提高软件的质量和可靠性。     

QTP自动化测试对象库的设计、研究和实现

目前软件测试已经不仅限于人工测试,若要提高软件测试的效率,降低测试成本,需要采取自动化测试的手段。一个好的自动化测试工具,可以使测试事半功倍。QTP（Quick Test Professional ）是惠普公司推出的自动化测试工具,这款工具是基于GUI对象识别技术的。对象库是QTP中的一项重要技术,本文主要对QTP的对象库技术的设计与实现进行研究。     

计算机软件系统测试方案研究

结合从事软件系统测试工作的实践经验，总结归纳出一套软件系统测试的基本方案，包括建立测试流程，有效地组织测试人员，合理地选择测试手段，安排测试任务，规范测试程存等等，帮助软件开发和测试人员提高测试效率，从而提高软件系统的质量和可靠性。     

基于故障树分析法的软件测试技术

为了更加有效地提高软件测试的效率,将故障树分析法引人软件测试中,提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性和定量的分析,并将分析结果指导和应用于软件测试实践中。     

基于ISO 26262的嵌入式软件测试研究

当前,嵌入式系统已发展成为汽车电子行业的焦点,鉴于其自身设计特性,为保证软件质量可靠性,软件测试必不可少。在介绍软件测试基本概念的基础上,针对ISO 26262功能安全标准,从静态测试和动态测试解决方案上介绍了相关嵌入式软件测试工具,并根据测试结果分析工具的有效性。结果表明,软件测试工具可以将代码质量进行量化,直观得到修改意见,极大提高软件开发效率,同时减少产品开发后期问题出现率。     

A Specification—Based Case Study from Test Class Framework

Testing is a standard method for verification of software performance.Producing efficinet and appropriate test case is an important aspect in testing.Specification-based testing presents a method to derive test data from software specification.Because of the precision and concision of specification.the test data derived from specification can test the software efficiently and entirely.This paper demonstrates a test class framework(TCF) on a file reading case study,specifiec using Z notation,This class framework defines test case sets,providing structure to the testing process.Flexbility is preserved so that many testing strategies can be used.     

基于GIS产品的软件测试方法研究

随着信息技术的飞速发展,GIS软件产品已广泛应用于与地理坐标相关的几乎所有领域,软件的规模和复杂度都有很大的提高。因此,提高软件质量及可靠性已成为当前软件工程领域的重要任务。软件测试是保障软件质量的有效手段,面向对象软件测试是面向对象软件开发的不可缺少的一环。笔者从面向对象程序的特点出发,描述如何对GIS软件的分析和设计模型进行测试,强调将软件测试思想融合到软件开发的各个阶段。     

基于GIS产品的软件测试方法研究

随着信息技术的飞速发展，GIS软件产品已广泛应用于与地理坐标相关的几乎所有领域，软件的规模和复杂度都有很大的提高。因此，提高软件质量及可靠性已成为当前软件工程领域的重要任务．软件测试是保障软件质量的有效手段，面向对象软件测试是面向对象软件开发的不可缺少的一环。笔者从面向对象程序的特点出发，描述如何对GIS软件的分析和设计模型进行测试，强调将软件测试思想融合到软件开发的各个阶段。     

案例教学法在《C＋＋编程技术》中的探索与实践

《C＋＋编程技术》是计算机及软件工程专业最重要的一门专业基础课程,在《C＋＋编程技术》中引入＂案例教学法＂,利用实用性强、趣味性强的案例来激发学生对这门课程的学习兴趣,从而真正的提高教学质量。