期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到133篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于最优路径相似度度量的MPI程序路径覆盖测试方法
1
作者 袁剑锋 刘佳 郭建卫 《电脑与信息技术》 2025年第1期41-47,共7页
针对消息传递接口(Message Passing Interface,MPI)程序中,路径覆盖路径相似度度量方法在测试数据生成方面效率较低的问题,提出一种高效且高可靠性的测试路径度量方法。该方法首先基于不同的相似性度量方法,度量MPI程序路径间的相似度,... 针对消息传递接口(Message Passing Interface,MPI)程序中,路径覆盖路径相似度度量方法在测试数据生成方面效率较低的问题,提出一种高效且高可靠性的测试路径度量方法。该方法首先基于不同的相似性度量方法,度量MPI程序路径间的相似度,并运用协同进化算法产生测试数据;然后,对比在不同的相似性度量方法下,产生覆盖MPI程序目标路径测试数据的有效性和效率;最后,确定对应最高有效性和效率的相似度度量方法为最优路径相似度公式。所提出的验证方法被应用于7个并行程序上,实验结果表明,所提方法在生成测试数据方面具有最高的效率和有效性。 展开更多
关键词 相似度度量方法 测试数据生成 路径覆盖测试 MPI程序 协同进化算法
在线阅读 下载PDF
基于GJB 5000B的敏捷测试研究
2
作者 杨梦萌 《电光系统》 2025年第2期62-64,共3页
随着GJB 5000B在军用软件中的全面推行,根据现代军用软件规模大、复杂性高、需求变动频繁的特点,进行了敏捷测试在CGJB 5000B中实施框架的探讨,为“软件定义装备”时代提供坚实的质量保障基础。
关键词 敏捷测试 GJB 5000B 软件测试
在线阅读 下载PDF
武器装备软件测试用例复用技术
3
作者 邹诗苑 张龙 +2 位作者 丁小芩 王丽娜 刘佳 《兵工自动化》 北大核心 2025年第6期82-85,共4页
为提高测试的效率和质量,对武器装备软件测试用例的复用进行了探讨。提出测试项、测试用例的概念及用例库的基本构架,采用Z规格说明语言对测试用例进行统一描述,描述方法运用在武器装备软件的测试用例复用实例中,能保证软件测试的有效... 为提高测试的效率和质量,对武器装备软件测试用例的复用进行了探讨。提出测试项、测试用例的概念及用例库的基本构架,采用Z规格说明语言对测试用例进行统一描述,描述方法运用在武器装备软件的测试用例复用实例中,能保证软件测试的有效性及测试用例的通用性、独立性、规范化和易修改性。通过测试用例的复用,结果表明:该研究能加快测试用例的设计进度,减少测试人员的负担,提高武器装备软件测试的效率和质量。 展开更多
关键词 测试用例 复用 武器装备软件 Z语言
在线阅读 下载PDF
基于注意力和代价敏感的软件缺陷预测方法
4
作者 毛敬恩 周世健 +1 位作者 章树卿 樊鑫 《计算机测量与控制》 2024年第9期94-100,共7页
软件缺陷预测的目的是预先识别容易出现缺陷的代码模块以帮助软件质量保障团队适当的分配资源和人力;当前基于稳定学习的软件缺陷预测方法在特征提取过程中缺乏代码图像的全局信息,并忽视了不平衡数据对模型性能的影响;为了解决上述问题... 软件缺陷预测的目的是预先识别容易出现缺陷的代码模块以帮助软件质量保障团队适当的分配资源和人力;当前基于稳定学习的软件缺陷预测方法在特征提取过程中缺乏代码图像的全局信息,并忽视了不平衡数据对模型性能的影响;为了解决上述问题,文章提出了一种基于注意力和代价敏感的软件缺陷预测方法;该方法在SDP-SL的神经网络中增加了全局注意力模块,重点关注图像中和缺陷代码相关的特征,并将分类器的损失函数改进为代价敏感的损失函数,降低类不平衡对模型性能的影响;为了评估SDP-SLAC的性能,在PROMISE数据库中的10个开源Java项目上进行了多组比较实验;实验结果表明,SDP-SLAC方法可以有效提升缺陷预测模型的性能。 展开更多
关键词 软件缺陷预测 全局注意力 代价敏感 类不平衡 损失函数
在线阅读 下载PDF
人工智能技术在软件测试中的应用 被引量：2
5
作者 叶臻敏 《上海电气技术》 2024年第2期78-81,共4页
目前,人工智能技术快速发展,应用越来越广泛。介绍了传统软件测试方法存在的问题,分析了现有人工智能测试工具和解决方案,并对传统软件测试方法和人工智能测试进行了对比。同时展望了人工智能技术在软件测试应用方面的发展趋势。
关键词 人工智能 软件 测试 应用
在线阅读 下载PDF
嵌入式软件中断程序综合测试方法
6
作者 胡晓明 高园园 +1 位作者 李立攀 石朝禧 《电子产品可靠性与环境试验》 2024年第4期68-72,共5页
中断驱动型嵌入式系统在汽车电子、航空航天、医疗电子和无线传感器等领域广泛应用,发生错误可能导致任务失败或系统崩溃,甚至带来安全风险,但由于中断事件触发响应机制的特殊性,常规测试方法难以实现充分测试。为了解决上述问题,提出... 中断驱动型嵌入式系统在汽车电子、航空航天、医疗电子和无线传感器等领域广泛应用,发生错误可能导致任务失败或系统崩溃,甚至带来安全风险,但由于中断事件触发响应机制的特殊性,常规测试方法难以实现充分测试。为了解决上述问题,提出了一种嵌入式软件中断程序综合测试方法,通过静态方法检查中断代码设计简洁性、优先级结构设置、资源访问冲突和现场备份及恢复,通过动态方法测试中断程序响应时间、处理时间和中断触发异常,静/动结合完成嵌入式软件中断程序的专项测试。经工程应用验证,与传统测试相比,该方法能够更精准地发现嵌入式软件中断程序中存在的问题,提高中断测试的有效性和充分性。 展开更多
关键词 软件测试 嵌入式软件 中断 代码审查 动态测试
在线阅读 下载PDF
一种POSIX标准接口静态测试方法
7
作者 刘思琪 王剑亮 胡沛昌 《电子产品可靠性与环境试验》 2024年第4期97-103,共7页
针对操作系统的可移植操作系统接口(POSIX)标准接口符合性测试过程,根据1003.1—2017标准和正则表达式,提出了一种POSIX标准接口静态测试方法。首先,基于1003.1—2017标准提取接口信息,形成了POSIX标准的接口信息库;其次,根据接口信息... 针对操作系统的可移植操作系统接口(POSIX)标准接口符合性测试过程,根据1003.1—2017标准和正则表达式,提出了一种POSIX标准接口静态测试方法。首先,基于1003.1—2017标准提取接口信息,形成了POSIX标准的接口信息库;其次,根据接口信息设计正则表达式,由正则表达式匹配接口信息,并通过匹配结果实现自动生成静态测试脚本;然后,在被测操作系统上编译静态测试脚本集合,根据编译输出信息,判断被测操作系统是否提供了符合POSIX标准的函数接口;最后,以某国产嵌入式操作系统为测试对象,选取静态测试脚本并执行测试,根据编译信息可以确定该操作系统提供的POSIX函数接口声明是否符合POSIX标准。 展开更多
关键词 软件测试 可移植操作系统接口 正则表达式 测试脚本 操作系统
在线阅读 下载PDF
云智慧测试技术与应用 被引量：7
8
作者 沈松 应怀樵 +3 位作者 葛宝珊 吕伟 杜峰 郝磊 《振动．测试与诊断》 EI CSCD 北大核心 2013年第S1期202-205,231-232,共6页
云智慧测试技术是将虚拟仪器技术和嵌入式及云计算技术相结合的新一代测试技术,主要由3个部分组成,包括位于测试现场的前端智慧采集硬件,位于云中心的后端云计算测试服务软件,以及位于操作人员手中的移动上网终端设备。这3个部分可以分... 云智慧测试技术是将虚拟仪器技术和嵌入式及云计算技术相结合的新一代测试技术,主要由3个部分组成,包括位于测试现场的前端智慧采集硬件,位于云中心的后端云计算测试服务软件,以及位于操作人员手中的移动上网终端设备。这3个部分可以分布在全球可连入互联网的任何地点,因此成为完全的基于互联网的测量方式。前端采集硬件使用的嵌入式技术,后端云计算测试服务软件使用的云计算技术,以上是实现虚拟仪器技术向云智慧测试技术发展的重要手段。 展开更多
关键词 远程测量 监测 云计算 嵌入式 云智慧测试
在线阅读 下载PDF
电阻式触摸屏多点校准及触摸压力研究 被引量：4
9
作者 江秀红 段富海 +1 位作者 曹阳 胡爱玲 《计算机测量与控制》 CSCD 北大核心 2012年第8期2278-2280,共3页
针对电阻式触摸屏在小点状目标应用环境中存在触点判断不准确、灵敏度不高的问题,提出两种改进措施;其一在现有三点校准算法基础之上,增加校准点数提高转换精度;通过贪心算法对随机校准点集进行优化约简,并利用最小二乘法求得校准系数;... 针对电阻式触摸屏在小点状目标应用环境中存在触点判断不准确、灵敏度不高的问题,提出两种改进措施;其一在现有三点校准算法基础之上,增加校准点数提高转换精度;通过贪心算法对随机校准点集进行优化约简,并利用最小二乘法求得校准系数;其二为提高触摸坐标的准确性和触摸方式的鲁棒性,加入触摸压力检测和阈值判定来去除无效点击;测试结果表明,基于贪心算法的多点校准可提高坐标校准系数的精度,而触摸压力判定的加入则有效提高了轻触时的坐标精度。 展开更多
关键词 触摸屏 贪心算法 最小二乘法 触摸压力
在线阅读 下载PDF
实用软件测试方法研究 被引量：11
10
作者 杨培培 赵海生 李振星 《计算机应用》 CSCD 北大核心 2015年第A01期166-167,173,共3页
分别讲述了实施GJB5000A二级软件管理过程中,软件单元测试、集成测试、合格性测试的管理过程和测试方法,并结合相应的测试工具,设计了使用C++test进行单元测试中动态测试的方法,使用Klocwork进行单元测试中静态测试的方法,使用Testbed... 分别讲述了实施GJB5000A二级软件管理过程中,软件单元测试、集成测试、合格性测试的管理过程和测试方法,并结合相应的测试工具,设计了使用C++test进行单元测试中动态测试的方法,使用Klocwork进行单元测试中静态测试的方法,使用Testbed进行集成测试的方法,使用QTP进行合格性测试的方法。实践证明,这些方法大大提高软件代码的规范性、稳定性、可靠性等,在提高软件验证、测试水平及软件产品质量等方面具有明显的优势。 展开更多
关键词 GJB5000A二级 软件测试 单元测试 集成测试 合格性测试
在线阅读 下载PDF
非网络环境下软件测试的难点及应对策略
11
作者 王宝华 《电光系统》 2024年第4期57-60,共4页
文章深入探讨了非网络环境下软件测试的技术难点,并针对这些难点提出了具体的应对策略。研究涵盖了功能测试、性能测试、安全性测试、接口测试、边界测试、恢复性测试、人机交互界面测试、余量测试、可靠性、兼容性和安装性测试以及测... 文章深入探讨了非网络环境下软件测试的技术难点,并针对这些难点提出了具体的应对策略。研究涵盖了功能测试、性能测试、安全性测试、接口测试、边界测试、恢复性测试、人机交互界面测试、余量测试、可靠性、兼容性和安装性测试以及测试覆盖率、应对需求不明确的测试等多个方面。通过采用自动化测试工具,搭建本地测试环境,模拟网络攻击等手段,提升软件测试的全面性和有效性。文章还强调了综合测试的重要性,以确保软件在各种复杂场景下的稳定性和性能。 展开更多
关键词 软件测试 技术难点 自动化测试 功能测试 性能测试 安全性测试
在线阅读 下载PDF
软件可靠性测试平台研究 被引量：2
12
作者 谢敏 许丽星 +1 位作者 林文凤 刘志 《兵工自动化》 2015年第11期62-65,共4页
基于可靠性测试需求设计并实现了一种可靠性测试的平台,阐述了平台的硬件设计方案与软件设计方案,该平台硬件层、模型层、数据层、协议层与应用层均可以根据测试需求现场定义,平台的通用性较强;平台能够基于软件剖面定义实现测试用例自... 基于可靠性测试需求设计并实现了一种可靠性测试的平台,阐述了平台的硬件设计方案与软件设计方案,该平台硬件层、模型层、数据层、协议层与应用层均可以根据测试需求现场定义,平台的通用性较强;平台能够基于软件剖面定义实现测试用例自动生成、测试数据自动收集与可靠性测试数据的收集,为软件可靠性测试与评估提供了有力的支持。 展开更多
关键词 软件可靠性 测试平台 测试自动化 实时平台
在线阅读 下载PDF
用于基本路径测试的路径字符串组合算法 被引量：5
13
作者 王敏 陈亚光 《计算机工程与科学》 CSCD 北大核心 2013年第12期134-140,共7页
自McCabe提出基本路径测试法以来,人们一直在探索基本路径集的求解算法,以提高基本路径测试的效率。为此,提出一种基于路径字符串组合的基本路径集的求解算法,算法把被测程序看作是若干基本结构的组合,构建了各基本结构路径字符串的构... 自McCabe提出基本路径测试法以来,人们一直在探索基本路径集的求解算法,以提高基本路径测试的效率。为此,提出一种基于路径字符串组合的基本路径集的求解算法,算法把被测程序看作是若干基本结构的组合,构建了各基本结构路径字符串的构成方式和组合方式,制定了路径字符串的组合规则。依据这些方式及规则导出了基本路径集的求解算法。实验表明,在满足相同覆盖准则的情况下,该算法比McCabe所提出的方法求解过程更简洁,并且输出的中间结果易于理解,便于测试用例集的优化。 展开更多
关键词 路径字符串 基本路径测试 基本路径集 白盒测试
在线阅读 下载PDF
一种基于类的Java多线程程序数据竞争静态检测算法 被引量：3
14
作者 宋东海 贲可荣 张志祥 《计算机工程与科学》 CSCD 北大核心 2014年第2期233-237,共5页
多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分... 多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。 展开更多
关键词 多线程程序 数据竞争 程序切片 静态分析 竞争检测
在线阅读 下载PDF
基于软计算技术的军用软件可靠性预测模型研究 被引量：1
15
作者 孙媛 赵建军 周源 《兵工自动化》 2017年第2期56-60,65,共6页
针对软件可靠性预测模型不能适用于现实环境中所有情况的问题,设计一种基于软计算技术的军用软件可靠性预测模型。通过分析使用软计算技术解决军用软件可靠性预测的前景,在介绍软件可靠性概念的基础上,对软件可靠性预测模型进行分类,讨... 针对软件可靠性预测模型不能适用于现实环境中所有情况的问题,设计一种基于软计算技术的军用软件可靠性预测模型。通过分析使用软计算技术解决军用软件可靠性预测的前景,在介绍软件可靠性概念的基础上,对软件可靠性预测模型进行分类,讨论了使用软计算技术预测军用软件可靠性的不同方法,对军用软件可靠性预测的度量标准和失效的预测方法的评估指标开展研究,比较了通用的软件失效数据集的来源、特点和缺陷数目,总结了常用的可靠性预测工具的特点和适用范围。分析结果表明:采用软计算技术解决军用软件可靠性预测问题,能够优化测试效果,符合军用软件的实际情况。 展开更多
关键词 软件可靠性 度量 预测工具 软计算
在线阅读 下载PDF
基于VC++6.0的ARINC429总线接口卡通讯程序 被引量：1
16
作者 范秀英 杨必军 鲍金河 《兵工自动化》 2011年第4期91-92,96,共3页
为控制侦察任务舱内的单台或多台航空相机同时工作,设计基于ARINC429总线接口卡的航空相机综合控制系统。在简要介绍航空相机综合控制系统的基础上,详细阐述基于ARINC429总线接口卡通讯软件流程和程序设计方法。结果表明,该方法操作简... 为控制侦察任务舱内的单台或多台航空相机同时工作,设计基于ARINC429总线接口卡的航空相机综合控制系统。在简要介绍航空相机综合控制系统的基础上,详细阐述基于ARINC429总线接口卡通讯软件流程和程序设计方法。结果表明,该方法操作简单、运行可靠,能减少保障设备数量和提高检测效率,并已成功应用于某型侦察机部队中。 展开更多
关键词 ARINC429总线 航空相机 综合控制系统 VC++6.0
在线阅读 下载PDF
面向对象技术在软件自动化测试中的应用 被引量：4
17
作者 杨珺 毕忠勤 鲁宏勇 《上海电力学院学报》 CAS 2014年第2期176-180,共5页
在对软件测试自动化认识的基础上,着重介绍了在软件测试自动化领域广泛使用的捕获/回放技术,分析了捕获/回放技术的优点,以及造成缺点的原因,并针对这些原因,将软件开发领域中广泛使用的面向对象技术引入到软件测试的自动化过程中,获得... 在对软件测试自动化认识的基础上,着重介绍了在软件测试自动化领域广泛使用的捕获/回放技术,分析了捕获/回放技术的优点,以及造成缺点的原因,并针对这些原因,将软件开发领域中广泛使用的面向对象技术引入到软件测试的自动化过程中,获得了较好的效果. 展开更多
关键词 面向对象 软件测试自动化技术 捕获 回放 属性集 对象继承树
在线阅读 下载PDF
基于分组的并行程序多路径覆盖测试数据进化生成 被引量：1
18
作者 田甜 巩敦卫 《中国科技论文》 CAS 北大核心 2014年第4期441-450,共10页
尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程... 尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。 展开更多
关键词 软件测试 并行程序 路径覆盖 测试数据 遗传算法
在线阅读 下载PDF
人工智能医学软件产品网络安全测评体系研究 被引量：4
19
作者 李丹 刘杰 +3 位作者 云雷 马燕娇 汤锦依 章婷华 《电子质量》 2022年第12期91-97,共7页
人工智能技术在医学领域的应用取得了显著的进展,但同时也面临着各种网络安全挑战。分析了人工智能医学软件可能面临的网络安全风险,提出了人工智能医学软件产品网络安全测评内容、方法和过程,并建立了人工智能医学软件产品网络安全测... 人工智能技术在医学领域的应用取得了显著的进展,但同时也面临着各种网络安全挑战。分析了人工智能医学软件可能面临的网络安全风险,提出了人工智能医学软件产品网络安全测评内容、方法和过程,并建立了人工智能医学软件产品网络安全测评体系,为实施人工智能医学软件产品网络安全测评奠定了基础。 展开更多
关键词 人工智能医学软件 算法不可解释性 对抗样本 深度学习 网络安全测评
在线阅读 下载PDF
浅谈软件测试方法 被引量：2
20
作者 吴妮妮 商林 《湖北成人教育学院学报》 2011年第4期145-147,共3页
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋... 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势等。 展开更多
关键词 软件测试 软件质量 软件的易测试性
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
使用帮助 返回顶部