共查询到18条相似文献,搜索用时 93 毫秒
1.
软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果. 相似文献
2.
3.
4.
基于火控系统的“黑箱”特征,提出了一种软件测试模型,并由此建立了有关的评价方去。从而可为火控系统软件测试的定量评价提供依据。 相似文献
5.
6.
7.
在装备再制造周期及再制造费用基本概念的基础上,给出了再制造费用参数的相关内容,并阐述了工程估算法、专家判断估算法、参数估算法、类比估算法等4种装备再制造费用分析及预测估算的方法,构建了基于工程估算法的再制造费用分解结构,并对再制造费用分析流程进行了详细描述,可为形成正确的再制造设计方案提供费用决策依据。 相似文献
8.
9.
军用软件测试现状及对策 总被引:1,自引:0,他引:1
随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。 相似文献
10.
11.
一种面向故障的软件测试新方法 总被引:14,自引:0,他引:14
宫云战 《装甲兵工程学院学报》2004,18(1):21-25
面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题. 相似文献
12.
研究表明,软件中残留的故障一般都是难以测试,这些故障往往都是局部的、检测概率比较“小”的故障,也就是说,和正确的软件相比,这些故障的表现往往只是一个或几个符号发生错误,现提出的软件单故障模型正是基于这个原理。测试方法是以面向故障为基础,将故障的检测分为3个部分:故障语句的执行,故障的激活和故障的传播。为加速测试用例的生成,也同时提出了软件的故障模拟方法。最后,给出了部分实验结果。 相似文献
13.
14.
软件的测试性分析与设计 总被引:3,自引:0,他引:3
宫云战 《装甲兵工程学院学报》2000,14(1):36-39
软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。 相似文献
15.
16.
在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。 相似文献
17.
18.
组合式空调机组具有功能段组合灵活、技术参数可选范围大以及对目标环境指标操控性强等优点,广泛应用于导弹和卫星测试环境调控等军事领域。但是机组在运行过程中常出现风机风量不足、加热器加热不均以及除湿能力下降等问题,直接影响着机组性能的发挥。针对上述问题,以某基地某型空调机组为研究对象,设计了一套具有实时监测、在线评估、分段报警和故障诊断等功能的空调机组运行的状态监测与故障诊断系统,重点阐述了该系统的设计思路、硬件组成及软件框架。该系统在提高空调机组的性能监控、故障报警、故障诊断与隔离的能力及故障类型确定、故障部件的快速定位,为相关部门提供维修决策措施等方面具有实际意义。 相似文献