捷联惯导姿态算法的测试输入研究 被引量：6

1

作者 魏小莹 付振宪 邓正隆 《中国惯性技术学报》 EI CSCD 2006年第1期1-6,共6页

总结了经典圆锥运动、广义圆锥运动、规则进动运动、随机角运动、温和环境等捷联姿态算法的测试输入及各自评价姿态算法性能的标准。推导出了不同频率的圆锥运动的角速率,并考查了其不可交换性误差特性,证明在此输入下算法的性能可以由... 总结了经典圆锥运动、广义圆锥运动、规则进动运动、随机角运动、温和环境等捷联姿态算法的测试输入及各自评价姿态算法性能的标准。推导出了不同频率的圆锥运动的角速率,并考查了其不可交换性误差特性,证明在此输入下算法的性能可以由经典圆锥运动来反映。提出了沿参考坐标系方向的圆锥运动,推导出了机体的角速率,并对其不可交换性误差进行了仿真研究。最后给出了在此输入下姿态算法的评价方法。沿参考坐标系方向的圆锥运动是一种新的更为普遍的测试输入。 展开更多

关键词 捷联惯导 姿态算法 测试输入 圆锥运动

下载PDF 职称材料

Markov链使用模型的测试用例生成方法研究 被引量：3

2

作者 雷航 陈丽敏 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第5期732-736,共5页

采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从"开始"状态到"结束"状态形成一个完整的测试案例。因此,输入和激励的选择对于产生高效的测试案例十分重要。提出一种激励选择——带概率约束的随机选... 采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从"开始"状态到"结束"状态形成一个完整的测试案例。因此,输入和激励的选择对于产生高效的测试案例十分重要。提出一种激励选择——带概率约束的随机选择方法,以软件Markov链模型的状态迁移概率作为激励选择的约束条件,使用遗传算法中用于选择下一代种群的选择算子——轮盘赌选择算子对激励进行选择。通过与以往的激励选择方法对比,验证了所提出的方法能提高生成测试用例的有效性。 展开更多

关键词 MARKOV链 轮盘赌算法 测试用例 测试输入 使用模型

下载PDF 职称材料

2007-2016年江西省高考英语卷阅读理解测试题内容效度历时研究 被引量：2

3

作者 孟莉娜 罗晓杰 《基础教育外语教学研究》 2017年第5期34-43,共10页

本文以 2007-2016 年江西省高考英语卷阅读理解测试题为研究对象, 基于 Bachman 和 Palmer （1996） 的任务特征框架,从测试输入和测试答题两个维度对其内容效度进行历时分析.研究发现, 2007-2016 年江西省高考英语卷阅读理解测试题的... 本文以 2007-2016 年江西省高考英语卷阅读理解测试题为研究对象, 基于 Bachman 和 Palmer （1996） 的任务特征框架,从测试输入和测试答题两个维度对其内容效度进行历时分析.研究发现, 2007-2016 年江西省高考英语卷阅读理解测试题的内容效度较高,但也存在阅读语篇总长度过长、 不同年份阅读速度要求不同且差异较大、 语篇难易度顺序安排不合理、 话题涉及不够广泛、 应用文体裁考查比例偏低、 阅读技能考查不够全面等不足.基于上述研究发现, 本文建议高考命题者严格按照考纲要求适当缩短阅读语篇总长、 确保阅读速度要求统一、 保证语篇易读度顺序安排的合理性、 增加阅读体裁的多样性、 扩大阅读技能考查的覆盖面,以提升高考阅读理解测试命题的科学性. 展开更多

关键词 阅读理解测试 内容效度 测试输入 阅读技能 历时分析

下载PDF 职称材料

2014—2018年高考英语浙江卷完形填空试题内容效度分析

4

作者 张弘 《英语教师》 2020年第10期36-42,64,共8页

以2014—2018年高考英语浙江卷完形填空试题为研究对象,从测试输入特征和测试答题两个维度对其内容效度进行历时研究。研究发现2014—2018年高考英语浙江卷完形填空试题篇章长度基本控制在合理范围内,但题材和体裁都较为单一,试题难度... 以2014—2018年高考英语浙江卷完形填空试题为研究对象,从测试输入特征和测试答题两个维度对其内容效度进行历时研究。研究发现2014—2018年高考英语浙江卷完形填空试题篇章长度基本控制在合理范围内,但题材和体裁都较为单一,试题难度波动范围大,高层次考点的覆盖面不够,且各词类考查比例分布不均。基于上述研究发现,建议完善考试说明,提供具体的命题指导;合理控制文章的易读度,缩小试题难度的波动范围;增加高层次考点,合理分配各词类的考查比例。 展开更多

关键词 完形填空 高考英语 内容效度 测试输入 测试答题

下载PDF 职称材料

基于扩展有限状态机测试中测试输入数据自动选取的研究 被引量：23

5

作者 张涌 钱乐秋 王渊峰 《计算机学报》 EI CSCD 北大核心 2003年第10期1295-1303,共9页

扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要... 扩展有限状态机 (EFSM )模型是有限状态机 (FSM )模型的一个扩展 ,它在FSM模型的基础上增加了变量、操作以及状态迁移的前置条件 ,通过EFSM我们可以更加精确地刻画软件系统的动态行为 .基于EFSM的测试可以应用到许多领域 ,因此具有重要的研究价值和实际意义 .许多研究人员已经提出了基于FSM测试的测试输入序列的构造方法 ,但基于EFSM的测试与FSM相比由于变量和状态迁移的前置条件的引入 ,增加了构造其测试输入的复杂性 .我们认为基于EFSM测试的测试输入应该包含两个部分 :即测试输入序列以及该输入序列上包含的输入变量的确定值 (测试输入数据 ) .手工选取这些测试数据的工作十分繁琐 ,极大地增加了测试的花费 ,因此自动选取这些测试数据可以大大提高实际测试工作的效率 .该文提出一种基于EFSM测试的测试数据自动选取方法 ,该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来自动选取测试数据 .实验表明利用该方法可以自动选取大部分的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解的情况下 ,区间削减也可以为测试人员提供一个较小的输入变量取值区间 ,方便了测试人员从中手工选择测试数据 . 展开更多

关键词 扩展有限状态机 测试 有限状态机 测试输入数据 自动选取 面向对象 软件设计

下载PDF 职称材料

基于确定有限状态机的测试输入序列选取 被引量：13

6

作者 张涌 钱乐秋 王渊峰 《计算机研究与发展》 EI CSCD 北大核心 2002年第9期1144-1150,共7页

有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现... 有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 . 展开更多

关键词 软件测试 规约说明 有限状态机 测试输入序列选取 软件系统 软件开发

下载PDF 职称材料

深度神经网络的测试输入选择与度量标准研究综述

7

作者 严荭 杨丰玉 +2 位作者 钟依慧 熊宇 陈雨安 《计算机工程与应用》 CSCD 北大核心 2024年第6期27-42,共16页

随着深度神经网络在各个领域受到广泛应用,对其进行测试评估并确保其安全性显得尤为重要。测试输入选择方法可以帮助在测试数据集规模较大且标注成本较高的情况下,对测试样本进行选择与排序,以提高测试效率和测试覆盖率。为了深入了解... 随着深度神经网络在各个领域受到广泛应用,对其进行测试评估并确保其安全性显得尤为重要。测试输入选择方法可以帮助在测试数据集规模较大且标注成本较高的情况下,对测试样本进行选择与排序,以提高测试效率和测试覆盖率。为了深入了解深度神经网络测试输入选择领域的研究进展,对近5年来91篇相关领域的学术论文进行了系统梳理。介绍了深度神经网络测试的基本概念和流程,包括深度学习系统的构建、测试输入的选择和测试结果的评估;概括分析了各种度量标准和测试输入选择方法的适用场景与不足之处,以及彼此之间的相互联系。最后,指出了当前深度神经网络测试输入选择与评估工作面临的挑战和机遇。 展开更多

关键词 深度神经网络测试 测试输入度量标准 测试输入选择 测试输入优先级

下载PDF 职称材料

基于DNN模型输出差异的测试输入优先级方法

8

作者 朱进 陶传奇 郭虹静 《计算机科学》 CSCD 北大核心 2024年第S01期818-825,共8页

深度神经网络测试需要大量的测试数据来保证DNN的质量,但大多数测试输入缺乏标注信息,而且对测试输入进行标注会带来高昂的人工代价。为了解决标注成本的问题,研究人员提出了测试输入优先级方法,筛选高优先级的测试输入进行标注。然而,... 深度神经网络测试需要大量的测试数据来保证DNN的质量,但大多数测试输入缺乏标注信息,而且对测试输入进行标注会带来高昂的人工代价。为了解决标注成本的问题,研究人员提出了测试输入优先级方法,筛选高优先级的测试输入进行标注。然而,大多数优先级方法都受到有限情景的影响,例如难以筛选出高置信度的误分类输入。为了应对上述挑战,文中将差分测试技术应用于测试输入优先级,并提出了基于DNN模型输出差异的测试输入优先级方法(DeepDiff)。DeepDiff首先构建一个与原始模型具有相同功能的差分模型,然后计算测试输入在原始模型与差分模型之间的输出差异,最后为输出差异较大的测试输入分配更高的优先级。在实验验证中,我们对4个广泛使用的数据集和相应的8个DNN模型进行了研究。实验结果表明,在原始测试集上,DeepDiff的有效性比基线方法平均高出13.06%,在混合测试集上高出39.69%。 展开更多

关键词 深度神经网络测试 测试输入优先级 差分测试 模型输出差异

下载PDF 职称材料

采用多目标优化的深度学习测试优化方法 被引量：5

9

作者 沐燕舟 王赞 +3 位作者 陈翔 陈俊洁 赵静珂 王建敏 《软件学报》 EI CSCD 北大核心 2022年第7期2499-2524,共26页

随着深度学习技术的快速发展,对其质量保障的研究也逐步增多.传感器等技术的迅速发展,使得收集测试数据变得不再困难,但对收集到的数据进行标记却需要花费高昂的代价.已有工作尝试从原始测试集中筛选出一个测试子集以降低标记成本,这些... 随着深度学习技术的快速发展,对其质量保障的研究也逐步增多.传感器等技术的迅速发展,使得收集测试数据变得不再困难,但对收集到的数据进行标记却需要花费高昂的代价.已有工作尝试从原始测试集中筛选出一个测试子集以降低标记成本,这些测试子集保证了与原始测试集具有相近的整体准确率(即待测深度学习模型在测试集全体测试输入上的准确率),但却不能保证在其他测试性质上与原始测试集相近.例如,不能充分覆盖原始测试集中各个类别的测试输入.提出了一种基于多目标优化的深度学习测试输入选择方法DMOS(deep multi-objective selection),其首先基于HDBSCAN(hierarchical density-based spatial clustering of application swith noise)聚类方法初步分析原始测试集的数据分布,然后基于聚类结果的特征设计多个优化目标,接着利用多目标优化求解出合适的选择方案.在8组经典的深度学习测试集和模型上进行了大量实验,结果表明,DMOS方法选出的最佳测试子集(性能最好的Pareto最优解对应的测试子集)不仅能够覆盖原始测试集中更多的测试输入类别,而且对各个类别测试输入的准确率估计非常接近原始测试集.同时,它还能保证在整体准确率以及测试充分性上的估计也接近于原始测试集:对整体准确率估计的平均误差仅为1.081%,比最新方法PACE(practical accuracy estimation)减小了0.845%的误差,提升幅度为43.87%;对各个类别测试输入的准确率估计的平均误差仅为5.547%,比最新方法PACE减小了2.926%的误差,提升幅度为34.53%;对5种测试充分性度量的平均估计误差仅为8.739%,比最新方法PACE减小了7.328%的误差,提升幅度为45.61%. 展开更多

关键词 深度学习 软件测试 测试输入选择 多目标优化 遗传进化

下载PDF 职称材料

一种结合动态链接库信息的崩溃输入分类方法 被引量：1

10

作者 王文祥 高庆 +1 位作者 许可 张世琨 《软件学报》 EI CSCD 北大核心 2023年第4期1594-1612,共19页

软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致... 软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致软件崩溃的测试输入中,大部分崩溃的触发原因都是重复的,因此软件开发人员需要对测试输入进行分类,带来了许多冗余工作.目前,测试输入分类已经有很多自动化方法,主要包括基于程序修复的分类算法和基于软件崩溃信息的分类算法.前者通过对程序在语义上进行分析,在运行时通过在程序中替换修复模板后重新运行测试输入,进而对输入分类.因为此方法需要人为地对于软件崩溃编写修复模板,所以其分类的效率与修复模板的质量存在很大联系;且由于需要先修复崩溃、再对崩溃做分类,影响了软件崩溃的修复效率.采用后者的思想,提出了一种轻量而高效的利用软件崩溃信息的测试输入分类算法CICELY.其在软件崩溃点堆栈信息分类的算法基础上,在分析软件崩溃点堆栈时引入了动态链接库信息,通过区分系统动态链接库与用户动态链接库,结合用户代码位置信息,得到用户关注的函数集合,以在分类时以用户函数为基准对崩溃进行界定.最后,分别将CICELY与几种基于程序修复的分类算法和基于软件崩溃信息的流行分类工具进行了比较,实验测试的数据集共计19个项目、42组测试集.在与基于软件崩溃信息的分类工具Honggfuzz, CERT BFF在相同数据集上比较时, CICELY在分类结果的组数上比上述二者减少了2112.89%和135.05%,说明CICELY在同类算法上的实验效果有较大提升,具有更高的精确性.在与基于程序修复的分类算法“语义崩溃分类”用其论文中提供的测试数据集进行比较时, CICELY比“语义崩溃分类”的分组结果差4.42%;在由对应了 展开更多

关键词 软件崩溃 测试输入分类 动态链接库 程序修复 模糊测试

下载PDF 职称材料

面向环境非确定性的信息物理融合系统测试技术研究 被引量：2

11

作者 秦逸 许畅 +1 位作者 陈紫琦 吕建 《中国科学：信息科学》 CSCD 北大核心 2019年第11期1428-1450,共23页

信息物理融合系统(cyber-physical system,CPS)是“人-机-物”三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环... 信息物理融合系统(cyber-physical system,CPS)是“人-机-物”三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环境交互过程中所必然面对的环境非确定性给CPS软件的质量保障带来了新的挑战.本文深入分析了环境非确定性中的感知非确定性和规约非确定性分别给软件测试研究带来的挑战.为了应对这些挑战,提出了一个迭代式的研究框架,用于有效测试受环境非确定性影响的CPS软件.基于该研究框架,介绍了现有CPS软件测试技术研究进展,并重点介绍了3种考虑环境非确定性的软件测试技术,分别解决CPS软件测试中的测试输入生成、测试预言生成和环境适应性评估问题.本文基于一个自适应自控小车的CPS软件实例,初步验证了所介绍方法测试CPS软件的有效性. 展开更多

关键词 信息物理融合系统 软件测试 环境非确定性 测试输入生成 测试预言生成 环境适应性 评估

原文传递

基于输入域分类的实时软件可靠性模型 被引量：2

12

作者 宋治平 秦湘河 朱怡安 《计算机技术与发展》 2013年第7期96-100,共5页

航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性。长期以来,测控系统软件相对缺乏系统的可靠性测试研究。文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑... 航天测控软件是航天测控系统的重要组成部分,作为任务的关键性实时软件,其可靠性直接影响着整个测控系统的可靠性。长期以来,测控系统软件相对缺乏系统的可靠性测试研究。文中针对航天工程地面测控软件的特点及可靠性测试要求,综合考虑缺陷等级、输入域等因素,按照数学算法建立了基于输入域分类的实时软件的可靠性混合模型,并对该模型的实际应用进行了介绍。文中模型和测试算法对航天测控工程领域典型功能软件进行了可靠性测试,实验结果表明了该方法的可行性、有效性和易用性。 展开更多

关键词 航天测控软件 测试输入域 缺陷等级 可靠性模型

下载PDF 职称材料

面向Android平台的GUI测试输入自动生成研究综述 被引量：1

13

作者 唐文博 熊彩铃 王慧亚 《现代计算机》 2020年第8期64-67,共4页

Android移动操作系统自2007年推出以来,Android的移动应用发展迅猛.Android应用程序在发布前必须对其进行充分的测试,以确保其行为正确.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.因... Android移动操作系统自2007年推出以来,Android的移动应用发展迅猛.Android应用程序在发布前必须对其进行充分的测试,以确保其行为正确.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.因此,近年来,研究人员和从业人员都已开始研究Android应用程序测试自动化的方法.GUI(图形用户界面)自动化测试是Android自动化测试中最常用的方法,在GUI自动化测试流程中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,能够极大地影响自动化测试的有效性.对当前面向Android平台的GUI测试输入自动生成的研究进行综述,并提出当前研究面临的挑战. 展开更多

关键词 测试输入生成 ANDROID 智能手机 图形用户界面

下载PDF 职称材料

加权伪随机矢量易测试的可编程逻辑阵列

14

作者 彭新光 《山西矿业学院学报》 1994年第4期299-302,共4页

提出了一种实用的随机矢量易测试方案,用循环移位寄位器对乘积线进行划分,同时修改原有的输入译码器来减少乘积线和输出线的扇入数。通过对20个不同规模的可编程逻辑阵列实验,结果表明以很低的附加硬件电路获得了很高的故障被测度和较... 提出了一种实用的随机矢量易测试方案,用循环移位寄位器对乘积线进行划分,同时修改原有的输入译码器来减少乘积线和输出线的扇入数。通过对20个不同规模的可编程逻辑阵列实验,结果表明以很低的附加硬件电路获得了很高的故障被测度和较短的测试输入序列。 展开更多

关键词 伪随机矢量 易测试设计方案 可编程逻辑阵列 测试输入序列 故障被测度 测试成本

下载PDF 职称材料