捷联惯导姿态算法的测试输入研究 被引量：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 职称材料

MRITIS—一种远程智能试题录入系统 被引量：2

4

作者 苏志同 巩玲玲 《计算机工程与应用》 CSCD 2013年第5期140-143,共4页

为提高远程试题录入的工作效率,简化复杂的录入和图片上传步骤,提出了一种基于MWA(MetaWeblog API)的远程智能试题录入系统(MWA based Remote Intelligent Test Input System,MIRITIS)。利用WireShark对Microsoft OfficeWord2007博客发... 为提高远程试题录入的工作效率,简化复杂的录入和图片上传步骤,提出了一种基于MWA(MetaWeblog API)的远程智能试题录入系统(MWA based Remote Intelligent Test Input System,MIRITIS)。利用WireShark对Microsoft OfficeWord2007博客发布功能的数据包格式进行截取和分析,并基于MWA设计了试题录入交互模块。服务器端采用正则表达式和机器学习技术对试题进行分割和提取,并存入到数据库中。实验结果表明,MIRITIS相对于传统方式提高了效率,且错误率较低,具有一定的实用价值。 展开更多

关键词 MetaWeblog API 机器学习 试题录入 正则表达式

下载PDF 职称材料

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

5

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

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

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

下载PDF 职称材料

意外充分性引导的深度神经网络测试样本生成

6

作者 郭虹静 陶传奇 黄志球 《计算机研究与发展》 EI CSCD 北大核心 2024年第4期1003-1017,共15页

由于深度神经网络(deep neural network,DNN)模型的复杂性和不确定性等属性,对模型的一般行为和边界行为进行充分的测试是保障模型质量的重要手段.当前的研究主要基于制定的覆盖准则,结合模糊测试技术生成衍生测试样本,从而提升测试充分... 由于深度神经网络(deep neural network,DNN)模型的复杂性和不确定性等属性,对模型的一般行为和边界行为进行充分的测试是保障模型质量的重要手段.当前的研究主要基于制定的覆盖准则,结合模糊测试技术生成衍生测试样本,从而提升测试充分性,但较少综合考虑测试样本的多样性及个体揭错能力.意外充分性指标量化测试样本与训练集在神经元输出方面的差异,是测试充分性评估的重要指标,目前缺乏基于此指标的测试样本生成方法.因此,提出了一种意外充分性引导的深度神经网络测试样本生成方法,首先,筛选对于决策结果贡献较大的重要神经元,以其输出值为特征,改进意外充分性指标;其次,基于测试样本的意外充分性度量筛选具有揭错能力的种子样本;最后,利用覆盖引导的模糊测试思想,将测试样本的意外充分性值和DNN模型预测的类别概率差异作为联合优化目标,利用梯度上升算法计算扰动,迭代生成测试样本.为了验证所提方法的有效性,选取5个DNN模型作为被测对象,涵盖4种不同的图像数据集,实验结果表明,改进的意外充分性指标能够有效捕捉异常的测试样本,同时减少计算时间开销.在测试样本生成方面,与方法DeepGini和RobOT相比,基于所提的种子样本选择策略生成的衍生测试集的意外覆盖率最高提升了5.9个百分比和15.9个百分比.相比于方法DLFuzz和DeepXplore,所提方法的意外覆盖率最高提升了26.5个百分比和33.7个百分比. 展开更多

关键词 软件测试 测试样本生成 测试覆盖 深度神经网络 意外充分性

下载PDF 职称材料

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

7

作者 沐燕舟 王赞 +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 职称材料

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

8

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

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

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

下载PDF 职称材料

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

9

作者 秦逸 许畅 +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

10

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

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

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

下载PDF 职称材料

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

11

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

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

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

下载PDF 职称材料

自动测试用例生成中非四则运算的等价变换方法

12

作者 李峰 黄俊飞 宫云战 《北京邮电大学学报》 EI CAS CSCD 北大核心 2015年第4期63-67,共5页

C工程中的非四则运算在所有数值运算中出现的比例为23%.在使用搜索技术进行测试用例生成时,非四则运算的求解效率很低,因为非四则运算没有对应的区间运算法则以提高搜索效率.为此,提出一种等价变换方法,将非四则运算分解为多个四则运算... C工程中的非四则运算在所有数值运算中出现的比例为23%.在使用搜索技术进行测试用例生成时,非四则运算的求解效率很低,因为非四则运算没有对应的区间运算法则以提高搜索效率.为此,提出一种等价变换方法,将非四则运算分解为多个四则运算,再应用四则运算的区间运算来提高整体的求解效率.实验表明,此方法能提高非四则运算的测试用例生成效率. 展开更多

关键词 测试用例生成 非四则运算 区间运算 等价变换

原文传递

网络教学中C程序设计填空题机器批改的实现 被引量：2

13

作者 王邯 肖俊 冯刚 《计算机与数字工程》 2003年第1期37-41,共5页

在现存的网络考试系统中 ,有关题型均为标准化试题 ,这对于需严格考察学生程序设计能力的程序设计考试而言不太合适。本文从C语言的特点出发 ,探讨了机器自动批改C程序设计填空题的实现 ,提出了解决方案 。

关键词 网络教学 程序设计 填空题 机器批改 C语言 标准化试题

下载PDF 职称材料

计算机一级考试练习自测系统的设计与实现 被引量：1

14

作者 金春霞 白秋产 《兰州工业高等专科学校学报》 2002年第3期9-13,共5页

介绍了用VB开发计算机基础自测系统的设计方法 ,采用Access数据库实现试题库的存放 ,并提出用VB编写客户程序访问Word和Excel文档的思想 ,实现对Word和Excel文档的自动阅卷功能 。

关键词 计算机一级考试 练习自测系统 设计

下载PDF 职称材料

开发车辆可靠性试验的研究 被引量：2

15

作者 刘守银 余仕侠 丁元俊 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第6期739-743,共5页

为了准确地确定开发车辆的试验场可靠性试验模式,文章通过检测车辆行驶时路面对车辆产生的输入加速度,来计算车辆的疲劳受害度和相对标准可靠性路面的不同路面负荷倍率,并分析路面、载荷和速度对疲劳受害度和负荷倍率的影响,确定开发车... 为了准确地确定开发车辆的试验场可靠性试验模式,文章通过检测车辆行驶时路面对车辆产生的输入加速度,来计算车辆的疲劳受害度和相对标准可靠性路面的不同路面负荷倍率,并分析路面、载荷和速度对疲劳受害度和负荷倍率的影响,确定开发车辆的设计目标里程和试验场可靠性试验里程的相互关系。该方法对科学有效地进行开发中车辆的可靠性试验具有一定意义。 展开更多

关键词 可靠性试验模式 输入加速度 疲劳受害度 路面负荷倍率

下载PDF 职称材料