面向路径的测试数据自动生成方法述评 被引量：46

1

作者 单锦辉 王戟 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2004年第1期109-113,共5页

为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为四类———随机法... 为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为四类———随机法、静态法、动态法和试探法 ,分析和比较了每一类中有代表性的方法 ,并探讨了研究方向 . 展开更多

关键词 测试数据自动生成 程序路径 约束求解 数值优化

在线阅读 下载PDF 职称材料

汇编嵌入式软件程序流程图自动生成的研究 被引量：9

2

作者 汪文勇 王学东 +2 位作者 向渝 唐科 刘利枚 《计算机科学》 CSCD 北大核心 2005年第2期173-175,201,共4页

程序流程图的自动生成是软件结构分析及软件测试的基础。为实现汇编嵌入式软件程序流程图的自动生成,本文首先分析汇编嵌入式软件的特征,将汇编指令划分为5种典型类型,分别定义其单键表存储结构,给出链表生成算法。在此基础上,给出汇编... 程序流程图的自动生成是软件结构分析及软件测试的基础。为实现汇编嵌入式软件程序流程图的自动生成,本文首先分析汇编嵌入式软件的特征,将汇编指令划分为5种典型类型,分别定义其单键表存储结构,给出链表生成算法。在此基础上,给出汇编嵌入式软件程序流程图自动生成算法。最后,对算法的时间复杂度进行了分析。 展开更多

关键词 嵌入式软件 自动生成 程序流程图 单链表 汇编 软件测试 存储结构 软件结构 指令 复杂度

在线阅读 下载PDF 职称材料

程序切片技术在软件测试中的应用 被引量：14

3

作者 孙继荣 李志蜀 +2 位作者 王莉 殷锋 金虎 《计算机应用研究》 CSCD 北大核心 2007年第5期210-213,217,共5页

基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的... 基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用。 展开更多

关键词 程序切片 软件测试 数据依赖 控制依赖 测试数据自动生成

在线阅读 下载PDF 职称材料

基于组件技术的自动测试系统通用软件体系 被引量：3

4

作者 赵颖 孙群 +1 位作者 孟晓风 王国华 《计算机工程与设计》 CSCD 北大核心 2008年第4期1028-1030,1034,共4页

为了实现自动测试系统的通用性,提出一种系统软件平台的通用架构方法,规划了软件平台的功能结构和层次结构。基于组件技术开发了资源管理器软构件,进行系统硬件资源的统一管理,实现了软件平台与硬件平台的分层。将该方法应用于某型自动... 为了实现自动测试系统的通用性,提出一种系统软件平台的通用架构方法,规划了软件平台的功能结构和层次结构。基于组件技术开发了资源管理器软构件,进行系统硬件资源的统一管理,实现了软件平台与硬件平台的分层。将该方法应用于某型自动测试系统开发中,实践结果表明,软件系统具备一定的通用性、可扩展性和可移植性,效果良好。 展开更多

关键词 自动测试系统 软件体系 通用性 测试程序 资源管理 组件技术

在线阅读 下载PDF 职称材料

民用飞机电源系统控制器自动测试系统设计 被引量：3

5

作者 李莉 于沛 +1 位作者 陈丽娟 刘绚 《电光与控制》 北大核心 2016年第1期44-47,52,共5页

以民用飞机电源系统为背景,针对电源系统控制器的功能和工作模式,建立了该产品的通用自动测试系统(GPATS),阐述了GPATS平台软件的选择依据,并对GPATS的设计方案和具体的实现方法进行了分析和描述。

关键词 电源系统控制器 通用自动测试系统 测试程序集 民用飞机

在线阅读 下载PDF 职称材料

同步发电机励磁系统自动电压调节器通用测试系统的设计 被引量：1

6

作者 谷志锋 邵天章 +1 位作者 杨润生 张岭 《工矿自动化》 2010年第11期33-36,共4页

针对传统的自动电压调节器测试方法存在测试项目较少、安全性差、建设成本高、设备参数差异大等缺陷,提出了一种基于LabWindows/CVI的自动电压调节器通用测试系统的设计方案,并介绍了系统的构成和原理。该系统实现了自动电压调节器的动... 针对传统的自动电压调节器测试方法存在测试项目较少、安全性差、建设成本高、设备参数差异大等缺陷,提出了一种基于LabWindows/CVI的自动电压调节器通用测试系统的设计方案,并介绍了系统的构成和原理。该系统实现了自动电压调节器的动态测试,相比于传统的测试系统,具有测试项目齐全、测试周期短、通用性强等优点。 展开更多

关键词 同步发电机 自动电压调节器 通用测试 虚拟仪器 Labwindows/CVI编程 RTDS测试 AVR

在线阅读 下载PDF 职称材料

ATE通用平台研究 被引量：6

7

作者 王远达 卢永吉 《航空兵器》 2007年第5期33-36,共4页

在对国内外ATE(自动测试设备)通用平台的发展历程进行综述的基础上,参考国外设计较为成功的通用自动测试设备,分析了国内ATE存在的问题,阐明了研究ATE通用平台的必要性,介绍了通用性设计的原则,并重点讨论了ATE通用平台的关键技术。

关键词 自动测试设备 通用平台 测试程序集 测试语言

在线阅读 下载PDF 职称材料

基于确定性测试集的数字集成电路随机测试 被引量：3

8

作者 谢永乐 陈光 《仪器仪表学报》 EI CAS CSCD 北大核心 2002年第6期576-578,共3页

提出了一种基于确定性测试集的数字集成电路随机测试生成方法。通过确定性测试集的分类及随机化 ,该方法能生成高性能的随机测试多权集。和平凡随机测试及采用单权集下的随机测试相比 ,采用文中的方法在压缩测试长度的同时还可获得较高... 提出了一种基于确定性测试集的数字集成电路随机测试生成方法。通过确定性测试集的分类及随机化 ,该方法能生成高性能的随机测试多权集。和平凡随机测试及采用单权集下的随机测试相比 ,采用文中的方法在压缩测试长度的同时还可获得较高的故障覆盖率。对标准电路的实验验证了该加权集生成算法的有效性 。 展开更多

关键词 确定性测试集 加权随机测试 自动测试生成器 多权集 数字集成电路 故障诊断

在线阅读 下载PDF 职称材料

测试程序集组件化设计研究与实现 被引量：3

9

作者 肖勇 《现代电子技术》 2023年第8期154-158,共5页

针对自动测试系统设计过程中,测试程序存在的开发效率低、语义不统一、维护难度大,对开发人员技术水平要求较高,阻碍自动测试系统整体开发速度及推广应用等问题,文中开展测试程序集组件化设计研究,并通过软件设计实现相关功能,改变测试... 针对自动测试系统设计过程中,测试程序存在的开发效率低、语义不统一、维护难度大,对开发人员技术水平要求较高,阻碍自动测试系统整体开发速度及推广应用等问题,文中开展测试程序集组件化设计研究,并通过软件设计实现相关功能,改变测试程序集的设计方式。首先,构建测试程序集设计所需资源库,动态识别提取资源库相关信息,并结构化表达;其次,对测试程序集内容要素进行分类,结合UI设计开发对应的组件,组件关联资源库结构化信息,实现拖拽组件、组件内容参数化设置的非编码设计方式以及自动生成源代码;最后,采用Python脚本语言与PyQT界面设计工具,结合测试程序集设计流程,开发相应的软件功能,将测试程序集设计界面呈现给设计师。实际使用证明,测试程序集设计软件操作简单,自动生成的源代码可被自动测试系统软件平台执行,提高自动测试系统的开发效率。 展开更多

关键词 自动测试系统 测试程序集 动态识别 组件化 参数化 非编码 自动生成 脚本语言

在线阅读 下载PDF 职称材料

测试向量生成的新搜索算法 被引量：2

10

作者 曾成碧 陈光 《系统工程与电子技术》 EI CSCD 2000年第6期73-76,共4页

描述一种新的健全高效的测试向量自动生成方法———测试向量生成的可满足性算法。与现有的测试向量生成算法相比 ,满足性算法是一种有效改进搜索空间的搜索算法 ,运用几种简化技术 ,进一步改进故障诊断的方法。由部分ISCAS’85基准电... 描述一种新的健全高效的测试向量自动生成方法———测试向量生成的可满足性算法。与现有的测试向量生成算法相比 ,满足性算法是一种有效改进搜索空间的搜索算法 ,运用几种简化技术 ,进一步改进故障诊断的方法。由部分ISCAS’85基准电路的仿真结果表明 ,满足性算法健全、有效 ,而且电路增大 。 展开更多

关键词 故障诊断 测试向量生成算法 搜索算法

在线阅读 下载PDF 职称材料

基于GPIB数字繁用表程序控制的设计及应用

11

作者 单江东 田小建 +1 位作者 汝玉星 许健 《实验技术与管理》 CAS 2008年第3期80-83,共4页

计算机通过GPIB接口和标准设备命令语言（SCPI）的控制方法，实现了对M2000数字繁用表的程序控制。采用Quick BASIC作为编程语言和模块化的编程思想。软件部分由系统设置模块、快速测量模块、连续测量模块、结果显示模块和数据保存模块... 计算机通过GPIB接口和标准设备命令语言（SCPI）的控制方法，实现了对M2000数字繁用表的程序控制。采用Quick BASIC作为编程语言和模块化的编程思想。软件部分由系统设置模块、快速测量模块、连续测量模块、结果显示模块和数据保存模块组成。利用所设计的自动测试系统实际测量了半导体激光器驱动器输出电流的稳定度，输出电流稳定度的测量结果为30ppm。 展开更多

关键词 自动测试系统 GPIB 数字繁用表 模块化编程 电流稳定度

在线阅读 下载PDF 职称材料

Java存储过程的自动生成与测试

12

作者 胡宏银 姚峰 何成万 《计算机工程与设计》 CSCD 北大核心 2007年第10期2291-2293,2296,共4页

通过定义存储过程模板,并根据表信息替换模板中的变量,从而生成大量具有类似处理流程的Java存储过程。给出了Update存储过程的生成模板、注册模板以及测试程序模板,并用VBA实现了自动生成Java存储过程的主要方法,还讨论了测试数据的准... 通过定义存储过程模板,并根据表信息替换模板中的变量,从而生成大量具有类似处理流程的Java存储过程。给出了Update存储过程的生成模板、注册模板以及测试程序模板,并用VBA实现了自动生成Java存储过程的主要方法,还讨论了测试数据的准备、测试及测试结果的确认方法。实践表明,该方法能保证软件的质量、缩短开发周期以及提高软件的可修改性。 展开更多

关键词 JAVA存储过程 自动生成 测试 存储过程生成模板 存储过程注册模板 存储过程测试程序模板

在线阅读 下载PDF 职称材料

改进可满足性的测试向量生成算法

13

作者 曾成碧 陈光 《四川大学学报（工程科学版）》 EI CAS CSCD 2000年第3期54-57,共4页

描述了可满足性的测试向量生成 (SAT ATPG)算法 ,针对此算法的不足 ,提出反向路径敏化算法 (BPS)嵌入SAT ATPG中 ,减少了CNF的构成时间和搜索空间 ,而且减轻故障压缩的工作量 。

关键词 搜索算法 可满足性 测试向量生成算法 集成电路

在线阅读 下载PDF 职称材料

程序自动修复:关键问题及技术 被引量：16

14

作者 李斌 贺也平 马恒太 《软件学报》 EI CSCD 北大核心 2019年第2期244-265,共22页

程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有... 程序自动修复技术能够有效地降低软件维护成本,是近年来学术研究的热点问题.待修复程序规约的刻画,对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约,将现有修复问题分为不完全规约、完全规约和半完全规约这3大类待修复问题.以3类抽象问题为线索,梳理了不同前提假设下修复技术面临的核心问题、问题之间的联系和技术体系中的逻辑关系.分析了不完全规约程序修复问题中高精度补丁生成、规约补全和补丁择优等问题,梳理了完全规约程序修复问题中内存泄漏、资源泄露、并发错误中的数据竞争、原子性违背、顺序违背和死锁,配置错误以及特定性能错误等具体问题及研究进展,整理了半完全规约程序修复问题中多种形式的修复具体问题及研究进展.最后分析了程序自动修复面临的机遇和挑战. 展开更多

关键词 程序自动修复 静态分析 程序规约 补丁生成 测试集

在线阅读 下载PDF 职称材料

机载电子设备通用自动测试系统研究与实现 被引量：9

15

作者 刘世军 杨瑞青 《现代电子技术》 2009年第6期178-181,185,共5页

自动测试系统作为军事装备中的重要组成部分,可大大降低武器系统的维护时间。科学技术的发展和军方的需求,促使了通用综合测试系统的产生和广泛应用。机载电子设备通用自动测试系统是一套开放的、可扩展测试系统。通用性实现的关键是系... 自动测试系统作为军事装备中的重要组成部分,可大大降低武器系统的维护时间。科学技术的发展和军方的需求,促使了通用综合测试系统的产生和广泛应用。机载电子设备通用自动测试系统是一套开放的、可扩展测试系统。通用性实现的关键是系统硬件结构标准化、软件结构及软件基础构件标准化、测试程序编程语言标准化。结合机载电子设备的应用背景,给出了通用自动测试系统硬件平台、软件平台设计与实现,对设计出的通用测试系统进行了试验,经分析可以满足通用性设计要求。 展开更多

关键词 机载电子设备 通用自动测试系统 仪器驱动程序 测试程序

在线阅读 下载PDF 职称材料

基于实时仿真的AGC闭环测试能力研究 被引量：2

16

作者 伍文聪 胡斌江 +3 位作者 朱益华 胡亚平 郭琦 欧开健 《南方电网技术》 CSCD 北大核心 2021年第4期43-49,共7页

当前电网正开展统一调频市场建设,在实际电网中开展自动发电控制(automatic generation control,AGC)功能测试的难度将进一步加大,调度自动化迫切需要有一个可真实模拟实际电网的仿真环境来支撑开展AGC功能测试。实时仿真在技术可行性... 当前电网正开展统一调频市场建设,在实际电网中开展自动发电控制(automatic generation control,AGC)功能测试的难度将进一步加大,调度自动化迫切需要有一个可真实模拟实际电网的仿真环境来支撑开展AGC功能测试。实时仿真在技术可行性上具备开展AGC闭环测试的能力,为验证其有效性,本文搭建了基于实时仿真的AGC闭环测试系统,反演了实际现场的AGC动作事件。试验结果表明建立的RTDS实时仿真模型具备仿真大电网系统频率变化的能力,同时RTDS系统具备与AGC应用闭环试验的能力,可应用于电网AGC功能测试工作。 展开更多

关键词 实时仿真 自动发电控制 闭环测试 电网运行 实时数字仿真器

在线阅读 下载PDF 职称材料

基于样本程序的自动化测试工具 被引量：8

17

作者 王津 左春 张正 《计算机工程》 CAS CSCD 北大核心 2020年第3期198-205,213,共9页

为提升基于样本程序的行业软件质量,在分析样本程序内容和领域数据的基础上,提出一种自动化测试工具。通过分析样本程序中规范化的骨架注释,利用规则库提取出自动化测试所需的元素定位参数和业务流程标识,并从领域数据中抽取出业务数据... 为提升基于样本程序的行业软件质量,在分析样本程序内容和领域数据的基础上,提出一种自动化测试工具。通过分析样本程序中规范化的骨架注释,利用规则库提取出自动化测试所需的元素定位参数和业务流程标识,并从领域数据中抽取出业务数据。在此基础上,应用代码引擎自动生成测试脚本。实验结果表明,该测试工具可快速测试和修改基于样本程序的行业软件的业务流程,与通用的QTP测试工具相比,其测试效率和脚本正确率较高。 展开更多

关键词 自动化测试 样本程序 规则库 领域数据 脚本数据自动生成

在线阅读 下载PDF 职称材料

基于K近邻的数字电路自动测试向量生成方法 被引量：2

18

作者 李文星 王天成 李华伟 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2023年第11期1802-1810,共9页

基于分支限界搜索的自动测试向量生成(ATPG)是数字电路测试中的关键技术,搜索中的回溯次数对ATPG性能造成很大影响.为了减少ATPG回溯次数,提出一种基于K近邻(KNN)的数字电路ATPG方法.将机器学习中的KNN算法引入POEDM测试生成算法,KNN结... 基于分支限界搜索的自动测试向量生成(ATPG)是数字电路测试中的关键技术,搜索中的回溯次数对ATPG性能造成很大影响.为了减少ATPG回溯次数,提出一种基于K近邻(KNN)的数字电路ATPG方法.将机器学习中的KNN算法引入POEDM测试生成算法,KNN结合电路结构数据和可测试性度量信息来指导PODEM算法中回退路径的选择,替代传统的启发式策略,以尽快地到达有效决策点,减少回溯次数.在ISCAS85,ISCAS89和ITC99基准电路上进行验证,与传统启发式策略以及一种基于人工神经网络(ANN)的回退路径选择策略相比,所提方法在回溯次数、回退次数、运行时间和故障覆盖率指标方面分别实现了最高1625.0%,466.0%,260.0%和2.2%的改进.同时,相比基于ANN的方法,KNN没有显式的训练过程,在搭建模型阶段能够节省一定的显存资源开销,并且可以使用更少的训练集样本得到有效的预测模型. 展开更多

关键词 数字电路测试 自动测试向量生成 K近邻 分支限界搜索 回溯次数

在线阅读 下载PDF 职称材料