基于通用充分性准则的测试性试验方案研究 被引量：32

1

作者 石君友 康锐 《航空学报》 EI CAS CSCD 北大核心 2005年第6期691-695,共5页

建立了故障模式与被测单元(UUT)特性之间的关系模型,根据关系模型建立了样本集的通用充分性准则。在通用充分性准则的基础上,研究了确定试验方案的新方法,包括确定样本量和建立样本集的方法,以及相应的合格判断方法。通过实例应用说明... 建立了故障模式与被测单元(UUT)特性之间的关系模型,根据关系模型建立了样本集的通用充分性准则。在通用充分性准则的基础上,研究了确定试验方案的新方法,包括确定样本量和建立样本集的方法,以及相应的合格判断方法。通过实例应用说明了方法的可行性。与现有方法相比,新方法更适用于现有的指标要求情况和多参数综合试验的需求,而且建立的样本集可以覆盖UUT的重要特性。 展开更多

关键词 充分性准则 测试性试验 方案 样本量 故障模式

下载PDF 职称材料

一种新的变异测试数据自动生成方法 被引量：20

2

作者 单锦辉 高友峰 +3 位作者 刘明浩 刘江红 张路 孙家骕 《计算机学报》 EI CSCD 北大核心 2008年第6期1025-1034,共10页

变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀... 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性. 展开更多

关键词 变异测试 变异体 测试数据 充分性准则

下载PDF 职称材料

外汇储备充足性标准的再探讨 被引量：1

3

作者 朱灏 《商业研究》 CSSCI 北大核心 2011年第1期39-42,共4页

由于外汇储备充足性标准的演变趋势是充足性要求的范围不断扩充,标准水平不断提高,但是发达国家的外汇储备却相对减少,实际情况与所述理论背离。因此,本文不认为GG-IMF准则有科学依据,它只是不计储备成本的理论鼓惑,并且带有知识的欺诈... 由于外汇储备充足性标准的演变趋势是充足性要求的范围不断扩充,标准水平不断提高,但是发达国家的外汇储备却相对减少,实际情况与所述理论背离。因此,本文不认为GG-IMF准则有科学依据,它只是不计储备成本的理论鼓惑,并且带有知识的欺诈性。本文认为确定充足性标准的依据是国际收支波动风险和海外投资收益。 展开更多

关键词 外汇储备 充足性标准 假设前提 外围条件GG—IMF准则

下载PDF 职称材料

软件测试的充分性准则及其评价指标 被引量：1

4

作者 刘继华 《山西师范大学学报（自然科学版）》 2012年第4期21-25,共5页

充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立了对充分性准则进行有效性评估的度量指标.最后,总结出几类常... 充分性准则是软件测试的中心问题,对软件测试的揭错能力有很大的影响.针对这个问题,给出了充分性准则的两种形式定义,讨论了充分性准则需满足的条件和应具备的基本性质,建立了对充分性准则进行有效性评估的度量指标.最后,总结出几类常用的软件测试充分性准则,指出这些充分性准则所适应的不同测试类型. 展开更多

关键词 软件测试 充分性准则 有效性度量 软件质量 测试用例

下载PDF 职称材料

面向组件的接口变异测试方法 被引量：8

5

作者 杨建军 陈卫东 +1 位作者 叶澄清 潘云鹤 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2003年第2期129-133,共5页

组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,... 组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,通过引入作用于接口描述语言的变异算子,提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM.该方法很好地解决了在组件测试中,源代码不可知的问题.然后以MC和IM为依据,给出了一种使用MC和IM进行测试的测试方法论. 展开更多

关键词 组件 软件测试 程序变异 接口变异 测试充分性准则 变异算子 测试方法论

下载PDF 职称材料

软件可靠性测试充分性研究 被引量：3

6

作者 李秋英 阮镰 刘斌 《测控技术》 CSCD 2003年第11期49-52,共4页

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠... 在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上 ,形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质 ,重点研究了软件可靠性测试的充分性 ,将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则 ,给出将测试充分性准则用于可靠性测试流程的模型。 展开更多

关键词 软件 可靠性 运行 软件可靠性测试充分性准则

下载PDF 职称材料

上下文无关文法测试充分性 被引量：2

7

作者 李虎 金茂忠 +1 位作者 高仲仪 刘超 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第10期869-872,共4页

讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这... 讨论了文法测试的基本概念 ,分析了文法测试的特点、应用场景及其与一般软件测试的异同 .形式化地定义了上下文无关文法的测试充分性准则 ,提出了一个上下文无关文法的测试充分性准则族 .分析了该准则族中各准则之间的包含关系 ,以及这种包含关系与揭示文法所特有的 2类缺陷的能力之间的关系 .计算和比较了准则族中各准则的测试集规模复杂性 .为了评价文法的测试开销 ,定义了一个上下文无关文法的测试复杂性度量 ,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小 . 展开更多

关键词 上下文无关文法 文法测试 测试充分性准则 测试复杂性

下载PDF 职称材料

基于智能非信息素蜂群优化的软件测试研究 被引量：2

8

作者 李云玮 孙忱 范玉顺 《计算机应用研究》 CSCD 北大核心 2014年第8期2399-2402,共4页

针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福值用于评价测试实例的吻合程度。通过将三组蜂群分别扩展为搜索代理、选择代理和优化代理,可以从大量的... 针对测试套件优化问题,提出了一种基于非信息素的人工蜂群优化方法。该方法将每个测试实例都看做优化问题的一个可能解,并引入幸福值用于评价测试实例的吻合程度。通过将三组蜂群分别扩展为搜索代理、选择代理和优化代理,可以从大量的测试实例中选出有效的测试实例。利用这些代理的并行特性,并使用路径覆盖范围作为测试充分性准则,提高了测试实例在每次迭代过程中的路径覆盖范围,加快了解的产生速度,从而提高了该方法的运行速度和效率。仿真结果比较了该方法与蚁群优化算法的性能,证明了该方法的收敛速度和优化质量均优于蚁群算法。 展开更多

关键词 软件测试 测试优化 人工蜂群优化 测试充分性准则 蚁群优化

下载PDF 职称材料

一个支持软件需求测试任务分析方法的工具 被引量：1

9

作者 白赣洪 张朝良 +2 位作者 火清宁 朱鸿 郑国梁 《计算机工程与应用》 CSCD 北大核心 2000年第3期50-54,共5页

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被... 需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ． 展开更多

关键词 软件需求测试 SRDMTest工具 人机交互 软件开发

下载PDF 职称材料

以偶然正确性概率为基础的测试充分度准则 被引量：1

10

作者 陈洁 李倩 +1 位作者 赵建华 李宣东 《计算机科学与探索》 CSCD 2011年第7期602-612,共11页

提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例... 提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响,设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析,追溯了动态语句实例之间的定义-使用依赖关系,并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子,量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象,计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系,并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。 展开更多

关键词 测试充分度准则 偶然正确性 动态数据流分析

下载PDF 职称材料

面向代数规约测试谓词/变迁网

11

作者 余波 《小型微型计算机系统》 CSCD 北大核心 2011年第9期1804-1809,共6页

针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序... 针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题. 展开更多

关键词 代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则

下载PDF 职称材料