面向诊断驱动测试模式的故障字典推理算法研究 被引量：2

1

作者 赵秀丽 牛双诚 +1 位作者 王子玲 刘晓东 《计算机工程与科学》 CSCD 北大核心 2012年第6期70-73,共4页

诊断驱动测试是一种智能测试模式,可以有效缩短测试时间,提高维护效率。故障字典是一种传统的故障诊断方法,大量地应用于生产生活中。本文根据诊断驱动测试模式的需求,设计了故障字典的新推理算法,并提出了测试项目的优选原则。本文提... 诊断驱动测试是一种智能测试模式,可以有效缩短测试时间,提高维护效率。故障字典是一种传统的故障诊断方法,大量地应用于生产生活中。本文根据诊断驱动测试模式的需求,设计了故障字典的新推理算法,并提出了测试项目的优选原则。本文提出的方法已经在自动测试设备的软件平台上得到了实现和验证。 展开更多

关键词 测试模式 诊断驱动测试 故障诊断 故障字典 交互式诊断 测试项目

在线阅读 下载PDF 职称材料

消息交互系统领域驱动测试框架研究与应用 被引量：1

2

作者 鞠炜刚 胡继东 《计算机应用与软件》 2017年第1期39-44,共6页

为解决消息交互系统测试用例编写维护复杂、效率低下的问题,基于领域驱动测试思想,针对消息交互系统的特点,提出一种通用消息交互系统领域测试模型。在此基础上设计开发了消息交互系统领域驱动测试框架,用领域语言描述测试用例,采用领... 为解决消息交互系统测试用例编写维护复杂、效率低下的问题,基于领域驱动测试思想,针对消息交互系统的特点,提出一种通用消息交互系统领域测试模型。在此基础上设计开发了消息交互系统领域驱动测试框架,用领域语言描述测试用例,采用领域驱动设计DDD四层架构,基于领域模型,对测试用例进行组织、设计和开发,并直接驱动执行,提高了消息交互系统的测试效率。 展开更多

关键词 消息交互系统 领域驱动测试 领域测试模型 测试框架 分层架构

在线阅读 下载PDF 职称材料

基于逻辑驱动测试完整性模糊综合评判 被引量：3

3

作者 韩阳 杨玲萍 《计算机工程》 EI CAS CSCD 北大核心 2006年第15期75-77,共3页

对软件逻辑驱动测试设计的评价方法进行了研究,将模糊数学中的模糊综合评判方法应用于对逻辑驱动测试设计需考虑的模块接口、局部数据结构、独立路径、边界条件、错误处理等因素的测试设计完整性的评价中,提出了数学模型和评判方法,并... 对软件逻辑驱动测试设计的评价方法进行了研究,将模糊数学中的模糊综合评判方法应用于对逻辑驱动测试设计需考虑的模块接口、局部数据结构、独立路径、边界条件、错误处理等因素的测试设计完整性的评价中,提出了数学模型和评判方法,并以一个实例验证了该方法的可行性,同时,也为软件白盒测试用例设计的评价提供了一种新的思路和方法。 展开更多

关键词 模糊综合评判 逻辑驱动测试 软件测试设计

在线阅读 下载PDF 职称材料

基于遗传算法的覆盖率驱动测试产生器 被引量：1

4

作者 王树朋 黄凯 严晓浪 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2016年第3期580-588,共9页

为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并利用基于功能覆盖率的适应度函数评估测试的优劣.通过遗传算法... 为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并利用基于功能覆盖率的适应度函数评估测试的优劣.通过遗传算法(GA)建立覆盖率与测试产生器之间的联系,分析覆盖率和测试之间的关系,根据分析结果改变测试产生器的约束和限制,驱动测试产生器生成新一代的测试,新一代的测试可以覆盖到上一代的测试无法覆盖的功能点.实验结果表明:在2个高性能的32位多核处理器的验证环境中,该测试产生器可以明显减少仿真时间,提高验证效率. 展开更多

关键词 覆盖率 测试产生器 遗传算法(GA) 覆盖率驱动测试产生器 适应度函数

在线阅读 下载PDF 职称材料

基于程序分析的通信软件模型驱动测试研究

5

作者 蒋凡 章磊 +1 位作者 陈军成 王建学 《计算机工程与应用》 CSCD 北大核心 2009年第31期66-68,84,共4页

针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型... 针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。 展开更多

关键词 通信软件 模型驱动的测试 程序分析 测试生成

在线阅读 下载PDF 职称材料

基于SIP的FPGA驱动电压补偿测试研究

6

作者 黄健 陈诚 +2 位作者 王建超 李岱林 杜晓冬 《现代电子技术》 北大核心 2025年第4期30-33,共4页

在基于SIP的现场可编程门阵列(FPGA)性能参数验证测试时,驱动电压测试会受到多种因素的影响,如PCB线阻、插座信号损耗以及测试温度等,这些因素导致ATE测试的实测值与真实值之间存在偏差。为了提高驱动电压的测试精度,提出一种基于卷积... 在基于SIP的现场可编程门阵列(FPGA)性能参数验证测试时,驱动电压测试会受到多种因素的影响,如PCB线阻、插座信号损耗以及测试温度等,这些因素导致ATE测试的实测值与真实值之间存在偏差。为了提高驱动电压的测试精度,提出一种基于卷积神经网络(CNN)与长短时记忆(LSTM)网络的误差补偿方法。将PCB线长、测试温度等参数作为特征输入到CNN-LSTM模型中,模型经过训练迭代后能够预测出驱动电压的误差值;再将预测的误差值应用于ATE测试机中,对实测值进行补偿和修正,从而使得测试结果更加接近真实值。实验结果表明,所提方法能够有效地减小测试误差,提高FPGA驱动电压测试的准确性。 展开更多

关键词 驱动电压测试 误差补偿 系统级封装(SIP)技术 现场可编程门阵列 卷积神经网络 长短时记忆网络

在线阅读 下载PDF 职称材料

基于测试驱动模型的教学设计及实践研究

7

作者 马克西姆 李泽超 +1 位作者 张勇斌 付秀丽 《包装工程》 CAS 北大核心 2024年第S02期87-91,共5页

当前教学模式普遍存在教师与学生对于学习成果认知模糊以及评价标准单一的问题。为了解决这一问题,研究借鉴了成果导向教育(Outcome⁃Based Education,OBE)的核心理念,设计并实施了一种融合“测试驱动模型+课程考核”的创新教学方法,旨... 当前教学模式普遍存在教师与学生对于学习成果认知模糊以及评价标准单一的问题。为了解决这一问题,研究借鉴了成果导向教育(Outcome⁃Based Education,OBE)的核心理念,设计并实施了一种融合“测试驱动模型+课程考核”的创新教学方法,旨在构建一种新型的课堂教学模式。通过实验分析,验证了所提出教学模式的有效性。研究结果显示,在采用“测试驱动模型+课程考核”的教学环境中,学生的学习成果得到了显著提升。同时,学生群体和非任课教师对于该教学模式的反馈也显示出较高的认可度。 展开更多

关键词 OBE理念 测试驱动模型 课程考核

在线阅读 下载PDF 职称材料

模型驱动的自动化测试架构 被引量：7

8

作者 周景才 杨家红 陈毅波 《计算机工程与应用》 CSCD 北大核心 2010年第2期66-68,131,共4页

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策... 如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。 展开更多

关键词 统一建模语言 基于模型驱动测试 被测系统 测试用例 测试逻辑 系统设计模型 测试设计模型

在线阅读 下载PDF 职称材料

基于三维芯片热驱动的扫描测试策略 被引量：9

9

作者 神克乐 向东 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1202-1206,共5页

本文针对三维芯片测试,首先提出了一种扫描结构,这种结构考虑了硅通孔(through silicon vias)互连的代价,在有效的降低测试时间的同时,还可以压缩测试激励数据和测试响应;另外在降低温度方面,扫描树结构也有很好的表现.在三维芯片中的热... 本文针对三维芯片测试,首先提出了一种扫描结构,这种结构考虑了硅通孔(through silicon vias)互连的代价,在有效的降低测试时间的同时,还可以压缩测试激励数据和测试响应;另外在降低温度方面,扫描树结构也有很好的表现.在三维芯片中的热点(hotspot)经常会影响性能和可靠性.接着,本文提出了一种测试向量排序策略,从而避免测试向量可能会导致温度分布不均,有效的降低了三维芯片的温度.实验结果表明,本文提出的扫描树结构要比传统的扫描链结构在峰值温度方面降低了15%.如果在扫描树结构上应用测试排序策略,芯片上峰值温度可以降低超过25%. 展开更多

关键词 热驱动测试策略 扫描树 三维芯片 测试排序

在线阅读 下载PDF 职称材料

一种模型驱动的协议测试故障注入引擎设计 被引量：3

10

作者 徐珞 吴际 刘超 《计算机工程与应用》 CSCD 北大核心 2007年第16期111-113,145,共4页

故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。

关键词 故障注入 协议测试 模型驱动测试

在线阅读 下载PDF 职称材料

介观压阻效应电磁驱动微机械陀螺仪的设计与测试

11

作者 王瑞荣 杜康 +1 位作者 石云波 刘俊 《传感技术学报》 CAS CSCD 北大核心 2010年第12期1700-1703,共4页

将共振隧穿二极管具有的介观压阻效应与哥氏效应结合应用于陀螺的设计中,提出了一种新型的采用回折型正交梁的陀螺结构。结合现在的工艺水平,设计了合理的加工工艺方案,并进行了加工与封装。通过对封装后的陀螺进行驱动方向测试,得到了... 将共振隧穿二极管具有的介观压阻效应与哥氏效应结合应用于陀螺的设计中,提出了一种新型的采用回折型正交梁的陀螺结构。结合现在的工艺水平,设计了合理的加工工艺方案,并进行了加工与封装。通过对封装后的陀螺进行驱动方向测试,得到了固有频率的范围;检测方向上利用振动台对陀螺灵敏度进行了测试,得到在1kHz和4kHz时的测试灵敏度分别为7.51mV/gn、100.74mV/gn。 展开更多

关键词 介观压阻效应 微机械陀螺 驱动测试 检测测试

在线阅读 下载PDF 职称材料

模型驱动的分布式测试执行自动化研究与实现 被引量：4

12

作者 吴安怡 吴际 +1 位作者 陈金刚 刘超 《计算机工程与应用》 CSCD 北大核心 2007年第10期101-104,共4页

随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,提供了部署和调度两个测试模... 随着分布式应用在商业领域中的普及,对可用于有效缩短产品上市周期的分布式测试自动化技术的研究显得日益重要。提出了一种模型驱动的自动化测试方法,并将其应用于分布式测试中。为了能够支持分布式测试执行,提供了部署和调度两个测试模型,其中,部署模型描述了测试执行环境和脚本分发的情况,调度模型描述了远程测试执行机的调度运行顺序;为了能够实现测试执行的自动化,设计了一个分布式测试执行框架。最后,通过Web应用测试的实例验证了该方法能有效减少测试时间。 展开更多

关键词 模型驱动测试 测试自动化 分布式测试

在线阅读 下载PDF 职称材料

模型驱动的EJB构件测试建模研究 被引量：2

13

作者 邓雄 常创业 +2 位作者 吴际 金茂忠 刘超 《电子学报》 EI CAS CSCD 北大核心 2006年第B12期2467-2472,共6页

基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原... 基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原算法和模型一致性检测方法.该测试建模方法,从软件构件的层次,实现了EJB静态结构和动态行为的建模,并通过模型一致性检测实现EJB代码的潜在缺陷检查.这一测试模型将为测试用例和测试数据的生成提供有力的支持. 展开更多

关键词 EJB 构件测试 测试建模 模型驱动测试 构件识别 平台相关测试模型 模型复原 模型检查

在线阅读 下载PDF 职称材料

覆盖率驱动的随机测试生成技术综述 被引量：22

14

作者 沈海华 卫文丽 陈云霁 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期419-431,441,共14页

随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度... 随机测试生成技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一,其目标是通过覆盖率指导测试向量生成,减少重复测试向量,加速验证的收敛过程,提高验证的自动化程度和效率.文中全面综述了覆盖率驱动的随机测试生成技术的发展历程、研究现状和技术分类,并结合具体实例对各种方法及其面临的主要问题进行了讨论、评价和总结. 展开更多

关键词 验证 VLSI 随机测试生成 覆盖率驱动的测试生成

在线阅读 下载PDF 职称材料

活动图模型驱动的Web应用程序测试方法 被引量：6

15

作者 何可 李晓红 冯志勇 《计算机应用》 CSCD 北大核心 2010年第9期2365-2369,共5页

提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果... 提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果的报告。实现了一个原型工具以支持活动图模型驱动的Web应用程序测试方法,设计并完成了一个实验,验证了该方法的可行性与有效性。 展开更多

关键词 统一建模语言 活动图 Web应用程序测试 模型驱动的测试

在线阅读 下载PDF 职称材料

基于形式化方法的测试驱动开发研究 被引量：6

16

作者 刘振宇 王恒 《计算机工程与设计》 CSCD 北大核心 2008年第15期3944-3946,3950,共4页

对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试... 对测试驱动开发中测试用例的自动生成和管理问题进行了研究,并对现有方法进行了分析和比较。给出了一种基于形式化方法的测试用例生成和管理方案。该方案通过形式化语言描述软件规约,并通过相应工具生成和管理测试用例,从而提高了测试驱动开发的效率。最后给出了该方案在极限编程各个开发阶段的应用。 展开更多

关键词 极限编程 形式化方法 测试驱动开发 软件过程 软件重构

在线阅读 下载PDF 职称材料

基于测试驱动技术的档案管理系统的开发 被引量：4

17

作者 刘晶 《计算机工程》 CAS CSCD 北大核心 2008年第6期279-280,共2页

传统的系统分析设计方法难以保证档案管理系统开发的效率和质量,将测试驱动开发的方法应用于档案管理系统开发,可以明确档案管理系统的开发需求,减少过度设计,加速开发进程,改进软件的质量。该文介绍和分析了测试驱动技术在档案管理系... 传统的系统分析设计方法难以保证档案管理系统开发的效率和质量,将测试驱动开发的方法应用于档案管理系统开发,可以明确档案管理系统的开发需求,减少过度设计,加速开发进程,改进软件的质量。该文介绍和分析了测试驱动技术在档案管理系统开发过程中的相关应用。 展开更多

关键词 档案管理 框架 测试驱动开发

在线阅读 下载PDF 职称材料

模型驱动的Web应用测试

18

作者 李诺 黄陇 +2 位作者 吴际 金茂忠 刘超 《计算机工程》 CAS CSCD 北大核心 2007年第15期91-93,共3页

为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型... 为了保证Web应用软件的质量,需要系统化的方法支持其测试。模型驱动的Web应用测试方法以模型为中心,通过建立Web应用模型描述被测系统,基于该模型产生测试用例,并且使用模型驱动的测试执行工具自动化执行测试,将测试结果返回到各个模型上。该文通过总结比较该领域的研究现状,讨论了实现模型驱动的Web应用测试的关键技术,并提出了目前研究的不足之处及潜在的研究方向和重点。 展开更多

关键词 WEB应用 模型驱动的测试 测试模型 测试用例生成

在线阅读 下载PDF 职称材料

虚拟仪器在电磁驱动式微拉伸测试系统的应用

19

作者 余朋清 丁建宁 +2 位作者 杨继昌 范真 李长生 《仪表技术与传感器》 CSCD 北大核心 2003年第8期15-17,共3页

电磁驱动式微拉伸装置是评价微构件材料力学性能的有力工具,其中数据的采集、处理和分析是得到材料性能的重要过程。通过A/D采集板(ZTPCI8310)将电流、电压信号传入计算机,然后利用LabView软件中的虚拟仪器模块对逐次采集的信号进行计算... 电磁驱动式微拉伸装置是评价微构件材料力学性能的有力工具,其中数据的采集、处理和分析是得到材料性能的重要过程。通过A/D采集板(ZTPCI8310)将电流、电压信号传入计算机,然后利用LabView软件中的虚拟仪器模块对逐次采集的信号进行计算,按照预先设定的方案直接自动得到各种曲线和性能参数,如:杨氏模量、抗拉强度等。论述了虚拟仪器Labview采集、处理分析数据的原理及方法。 展开更多

关键词 电磁驱动式微拉伸测试系统 虚拟仪器 微构件 力学性能 LABVIEW 性能参数

在线阅读 下载PDF 职称材料

测试驱动过程模型在辅助决策系统开发中的应用 被引量：1

20

作者 张博刚 张威 +1 位作者 王斌 陈月宁 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期44-49,共6页

为了解决辅助决策系统中模型、知识和数据的选择问题,在辅助决策系统开发过程中引入测试驱动过程模型,并对测试驱动过程模型及其开发步骤进行详细分析.以空调机组的辅助决策系统开发为例,研究测试驱动过程模型应用在辅助决策系统开发过... 为了解决辅助决策系统中模型、知识和数据的选择问题,在辅助决策系统开发过程中引入测试驱动过程模型,并对测试驱动过程模型及其开发步骤进行详细分析.以空调机组的辅助决策系统开发为例,研究测试驱动过程模型应用在辅助决策系统开发过程中的方法.最后以确定预测模型为例,说明测试驱动开发模型应用在模型和知识选择中的具体流程,并验证其优点.案例表明在辅助决策系统开发过程中应用测试驱动过程模型,开发过程更加有针对性,模型、知识和数据的选择更加明确. 展开更多

关键词 测试驱动开发 测试驱动过程模型 辅助决策系统 开发过程 决策资源

在线阅读 下载PDF 职称材料