新形势下军事装备软件实战化考核相关问题研究

1

作者 顾滨兵 刘宝玉 朱佳良 《舰船电子工程》 2024年第12期5-9,共5页

对当前军事装备软件不能满足作战实际需要、软件考核在实战考核落力不足等问题进行分析研究,通过剖析军事装备软件与战斗力生成的机制原理,在传统以软件测试为主体的软件考核体系基础上,提出软件实战化考核的目标需求和总体要求。提出... 对当前军事装备软件不能满足作战实际需要、软件考核在实战考核落力不足等问题进行分析研究,通过剖析军事装备软件与战斗力生成的机制原理,在传统以软件测试为主体的软件考核体系基础上,提出软件实战化考核的目标需求和总体要求。提出软件考核应当从传统的需求验证和性能考核,向软件设计模型和最终产品是否符合基本作战逻辑、战术思想和操作习惯的考核验证转变。分析软件实战化考核的技术特点,梳理主要策略方法,通过软件实战化考核促进软件产品能够有效提升指挥能力和装备操作水平,有效推进软件更好更快转化生成战斗力。 展开更多

关键词 实战化 试验考核 软件考核 需求规格 作战场景

在线阅读 下载PDF 职称材料

基于网格序列法和端点量化的等值线生成算法 被引量：6

2

作者 顾滨兵 杨兆海 +1 位作者 高宇 高忠民 《吉林大学学报（信息科学版）》 CAS 2010年第1期89-94,共6页

为了提高等值线生成率,高效直观地绘制衍射极图及其他相应等值线图,根据晶体结构数据的特点和对等值线绘制的要求,提出了一种基于网格序列法的等值线生成算法NSVD-GA(Grid Scan and Vertex Digit-al-Generation Algorithm of Contour Li... 为了提高等值线生成率,高效直观地绘制衍射极图及其他相应等值线图,根据晶体结构数据的特点和对等值线绘制的要求,提出了一种基于网格序列法的等值线生成算法NSVD-GA(Grid Scan and Vertex Digit-al-Generation Algorithm of Contour Lines Drawing)。该算法基于网格序列采用对网格端点量化后进行数字比较的方法绘制等值线,既避免了网格无关法等值线追踪起始点选取困难、网格出口判断复杂的问题,又有效地减少等值线值与端点的判断次数。该算法思路清晰,简洁高效,非常适合晶体结构等科研数据的等值线图表达及其他类似情况的等值线生成。 展开更多

关键词 等值线 等值线图 网格扫描 量化 极图

在线阅读 下载PDF 职称材料

雷达对抗装备软件测试系统的设计 被引量：1

3

作者 顾滨兵 张峰 李军锋 《计算机测量与控制》 2018年第7期99-103,共5页

专业化的软件测试评估平台是该类装备软件测试的重要支撑;为了对雷达对抗装备的显控、信号处理软件等进行全面、系统、准确的测试考核,在复杂电磁环境下雷达对抗装备及其配属软件试验/测试方法的基础上,研究建立雷达对抗装备软件测试系... 专业化的软件测试评估平台是该类装备软件测试的重要支撑;为了对雷达对抗装备的显控、信号处理软件等进行全面、系统、准确的测试考核,在复杂电磁环境下雷达对抗装备及其配属软件试验/测试方法的基础上,研究建立雷达对抗装备软件测试系统,来提高信号逼真、供可调可控的测试环境以及专业化、精确化的信号输入;通过复杂环境、软硬约束、特定方法等的分析研究,提出雷达对抗装备软件测试系统的主要设计思想,进行功能、性能设计,并给出该系统的主要组成和初步设计方案;利用提出的设计思想和方案,开展相应系统的研制,该系统提供包括测试环境模拟生成方法、被测件运行驱动方法、测试执行与数据采集方法和测评过程管理方法的测试应用,为全面地考核复杂电磁环境下雷达对抗装备软件提供更为有效的测试方法和更加丰富的技术手段。 展开更多

关键词 复杂电磁环境 雷达对抗装备 故障注入 测试场景

在线阅读 下载PDF 职称材料

基于软件、测试、缺陷“三域”铰链的软件测试新架构研究与应用 被引量：2

4

作者 顾滨兵 李军锋 朱佳良 《计算机测量与控制》 2023年第10期97-102,121,共7页

为推动软件测试更加精准深入高效,促进软件测试从“遍历式”向“启发式”转变,提出了一种新型的基于软件、缺陷、测试“三域”铰链的关联知识启发式的新型软件测试架构;通过信息表征模型化、缺陷数据知识化、测试投向精准化等,突破了软... 为推动软件测试更加精准深入高效,促进软件测试从“遍历式”向“启发式”转变,提出了一种新型的基于软件、缺陷、测试“三域”铰链的关联知识启发式的新型软件测试架构;通过信息表征模型化、缺陷数据知识化、测试投向精准化等,突破了软件测试数据聚类重组技术和软件典型缺陷模式提取技术,设计开发了相应的软件测试信息管理系统,实现软件精准化测试;在提高软件测试效益的同时,也为软件研制单位和使用单位提高研发质量、快速诊断排故等提供更具针对性的数据服务。 展开更多

关键词 软件测试架构 三域铰链 信息表征 启发式 知识化 精准测试

在线阅读 下载PDF 职称材料

一种新的基于缺陷的软件测试描述语言-DBSTDL 被引量：1

5

作者 顾滨兵 郑梅 《计算机测量与控制》 2017年第4期113-116,129,共5页

缺乏统一的测试描述语言(TDL)已成为提高测试效率和复用程度的瓶颈;以设备、信号等为核心的传统测试语言不能体现软件测试的基本思想,不适用于建立软件测试"共享知识库";为实现统一描述标准下的测试知识积累,在软件测试信息... 缺乏统一的测试描述语言(TDL)已成为提高测试效率和复用程度的瓶颈;以设备、信号等为核心的传统测试语言不能体现软件测试的基本思想,不适用于建立软件测试"共享知识库";为实现统一描述标准下的测试知识积累,在软件测试信息模型基础上,面向软件缺陷,采用分类法和因素分解法,围绕缺陷摘要与被测软件信息双重主线,重组软件测试信息,设计了新的测试描述语言(DBSTDL);该语言共包括6类词,3大类100多条基本语句,3组句群,2种主要的语言组合方式,涵盖了测试描述语言的框架和基本内容;应用DBSTDL语言实现了软件典型缺陷与测试样例库,验证了利用DBSTDL语言建库的思想,说明该语言可用于建立统一的软件测试描述标准,提供了规范描述手段。 展开更多

关键词 测试描述语言 测试信息 软件缺陷 结构化表格

在线阅读 下载PDF 职称材料

基于核的有向强连通图计算机随机生成算法

6

作者 顾滨兵 孙吉贵 +1 位作者 杨焕 田地 《吉林大学学报（信息科学版）》 CAS 2006年第5期507-511,共5页

针对图论算法研究和算法测试对随机生成有向强连通图的需求,在深入研究有向强连通图和极小有向强连通图的结构组成的基础上,提出了有向强连通图核的概念。参考有向连通图的随机生成算法,给出了一种有向强连通图的随机生成算法,并对该算... 针对图论算法研究和算法测试对随机生成有向强连通图的需求,在深入研究有向强连通图和极小有向强连通图的结构组成的基础上,提出了有向强连通图核的概念。参考有向连通图的随机生成算法,给出了一种有向强连通图的随机生成算法,并对该算法进行了测试。对具有上千个节点及上万条弧的强连通图的随机生成,采用该算法时间都在1 s以内,生成的结果能很好地应用于图论研究,以作为图论算法的随机测试用例。 展开更多

关键词 有向连通图 有向强连通图 有向强连通图的核 基础环 有向连通分支

在线阅读 下载PDF 职称材料

军事装备软件的安全性测试研究 被引量：1

7

作者 顾滨兵 李海浩 王勇利 《电子技术与软件工程》 2018年第7期64-65,共2页

装备软件的安全性是装备安全的重要内容。军事装备软件运行在特殊的使用环境下,从其遇到的安全性问题入手,阐明了军事装备的软件安全性和安全性测试,并分析军事装备软件的相应安全需求。并着重在软件测试阶段,针对性提出测试需求分析、... 装备软件的安全性是装备安全的重要内容。军事装备软件运行在特殊的使用环境下,从其遇到的安全性问题入手,阐明了军事装备的软件安全性和安全性测试,并分析军事装备软件的相应安全需求。并着重在软件测试阶段,针对性提出测试需求分析、探索建立测试思路和研究具体的测试方法。 展开更多

关键词 软件安全性 安全性测试 需求分析 软件等级

在线阅读 下载PDF 职称材料

装备试验中的软件缺陷信息在军用软件测试中的应用 被引量：1

8

作者 顾滨兵 王艳军 王勇利 《计量与测试技术》 2013年第1期40-42,44,共4页

软件是信息化装备中的重要组成部分,装备试验必然包含对装备软件的考核。由于这种考核是在逼真的使用环境下进行的,在此过程中产生的软件缺陷信息对软件测试具有很强的借鉴参考意义。但由于没有建立有效的共享渠道,这些信息未能很好地... 软件是信息化装备中的重要组成部分,装备试验必然包含对装备软件的考核。由于这种考核是在逼真的使用环境下进行的,在此过程中产生的软件缺陷信息对软件测试具有很强的借鉴参考意义。但由于没有建立有效的共享渠道,这些信息未能很好地应用于软件测试。本文通过对装备试验信息的研究分析,以完整的软件缺陷信息描述格式为基础,探索基于试验信息建立装备软件缺陷库并应用于软件测试的思路和方法,以提高装备软件测试能力。 展开更多

关键词 软件缺陷 软件缺陷信息 软件缺陷库 缺陷分析

在线阅读 下载PDF 职称材料

一种软件模型检测方法及其原型系统 被引量：4

9

作者 顾滨兵 《微计算机应用》 2010年第11期39-46,共8页

模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法及实现的原型系统,在模型检测技术理论和方法的基础上,重点介绍该系统的基本思路和框架,并通过模型检测技... 模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点。提出的软件模型检测方法及实现的原型系统,在模型检测技术理论和方法的基础上,重点介绍该系统的基本思路和框架,并通过模型检测技术在软件质量保证领域方面的应用,结合中间代码转换、程序分析技术和基于SAT方法的模型检测技术,能够进行软件特别是并行程序的验证。 展开更多

关键词 模型检测 软件验证 程序分析技术 SAT方法

在线阅读 下载PDF 职称材料

网上扬声调度系统管理控制部分的设计

10

作者 顾滨兵 张磊 樊雪 《计算机系统应用》 2005年第10期87-90,61,共5页

本文在介绍如何设计数字化的实时语音服务的基础上,提出了一种基于软件的网上扬声调度系统。该系统可以很好的支持网上通播、专向对讲、开会讨论等应用,并重点介绍了该系统中管理控制模块的设计。该控制模块可以很好地完成用户管理、指... 本文在介绍如何设计数字化的实时语音服务的基础上,提出了一种基于软件的网上扬声调度系统。该系统可以很好的支持网上通播、专向对讲、开会讨论等应用,并重点介绍了该系统中管理控制模块的设计。该控制模块可以很好地完成用户管理、指令处理以及语音传输控制。 展开更多

关键词 调度 组播 用户树 用户网 用户连接队列 指令合法性检查 设计数字化 系统管理 调度系统 控制部分

在线阅读 下载PDF 职称材料

军事智能装备试验鉴定的几点思考 被引量：1

11

作者 顾滨兵 李军锋 王鑫 《火力与指挥控制》 CSCD 北大核心 2024年第7期162-168,共7页

为推动新质新域作战力量生成,有效支撑军事智能装备建设发展,从军事智能装备的本质出发,围绕规格试验、能力考核、状态评估3个主要方面,总结智能装备试验“融智赋能”增量考核的内涵要义,并形成“验推较评”一体的军事智能装备试验鉴定... 为推动新质新域作战力量生成,有效支撑军事智能装备建设发展,从军事智能装备的本质出发,围绕规格试验、能力考核、状态评估3个主要方面,总结智能装备试验“融智赋能”增量考核的内涵要义,并形成“验推较评”一体的军事智能装备试验鉴定技术框架,提出智能水平评估基础平台建设构想和小圈闭环的新型智能验证模式,为智能装备试验鉴定发展提供了借鉴参考。 展开更多

关键词 智能装备 试验鉴定 增量考核 智能评估

在线阅读 下载PDF 职称材料

软件测试中的测量不确定性及对软件测试的影响

12

作者 顾滨兵 《计量与测试技术》 2015年第12期41-43,共3页

根据测量中的不确定性问题,本文提出了软件测试中的测量不确定性,分析了来源,与一般测量不确定性的区别。

关键词 不确定性 软件测试 测量不确定度

在线阅读 下载PDF 职称材料

软件测试质量评价方法 被引量：9

13

作者 李军锋 顾滨兵 李海浩 《计算机与现代化》 2018年第9期38-41,共4页

分析当前软件测试质量评价的研究现状及存在的几个误区,结合工作经验,基于度量简易、有效可行、相对公正的角度提出一种依据测试文档、测试充分性、抽测结果及测试效率进行测试质量评价的方法。最后通过实际项目进行软件测试质量评价验... 分析当前软件测试质量评价的研究现状及存在的几个误区,结合工作经验,基于度量简易、有效可行、相对公正的角度提出一种依据测试文档、测试充分性、抽测结果及测试效率进行测试质量评价的方法。最后通过实际项目进行软件测试质量评价验证,总结这种方法的下一步研究方向。 展开更多

关键词 软件测试 测试质量 评价方法

在线阅读 下载PDF 职称材料

应用织构极图研究ZnO外延膜的晶体取向特征 被引量：1

14

作者 高宇 顾滨兵 +3 位作者 侯长民 黄科科 高忠民 李向山 《实验技术与管理》 CAS 2007年第9期32-34,共3页

用MOCVD法在蓝宝石衬底上生长ZnO外延膜。用理学D/m ax 2550转靶衍射仪测量ZnO外延膜织构。观察到试样存在2种晶体取向关系：ZnO[11-20]//A l2O3[10-10]及ZnO[10-10]//A l2O3[10-10]。计算得到晶格取向极点分布平均半高宽为12.26O,且前... 用MOCVD法在蓝宝石衬底上生长ZnO外延膜。用理学D/m ax 2550转靶衍射仪测量ZnO外延膜织构。观察到试样存在2种晶体取向关系：ZnO[11-20]//A l2O3[10-10]及ZnO[10-10]//A l2O3[10-10]。计算得到晶格取向极点分布平均半高宽为12.26O,且前一种取向晶体的数量是后者的13倍。探讨了2种取向的热力学稳定性。给出了外延膜取向特性的逐层分析结果。 展开更多

关键词 ZnO外延膜 晶体取向 织构极图 极点密度 极点密度 分布半高宽

在线阅读 下载PDF 职称材料

舰载电子对抗系统软件一体化测评框架设计与应用 被引量：2

15

作者 王勇利 顾滨兵 李建波 《舰船电子工程》 2020年第6期74-79,共6页

为解决舰载电子对抗系统各分系统/设备在独立实装环境下开展的相关软件测试无法充分暴露系统性软件缺陷、软件测试阶段缺少效能评估手段等问题,基于成熟模拟仿真技术,采用模块化设计思想,构建出适用于软件系统性验证测试及效能评估的一... 为解决舰载电子对抗系统各分系统/设备在独立实装环境下开展的相关软件测试无法充分暴露系统性软件缺陷、软件测试阶段缺少效能评估手段等问题,基于成熟模拟仿真技术,采用模块化设计思想,构建出适用于软件系统性验证测试及效能评估的一体化测评框架。经实践应用证明,该一体化测评框架技术成熟度高、结构灵活易于裁剪,适用于大中小型不同规模舰载电子对抗系统的软件系统性验证性测试及效能评估。 展开更多

关键词 系统性验证测试 信息处理效能 效能评估

在线阅读 下载PDF 职称材料

场景图像中文本区域字符提取方法研究

16

作者 李海浩 顾滨兵 刘艳平 《计算机与数字工程》 2018年第12期2580-2584,共5页

随着计算机技术的发展,光学识别技术的发展已较为成熟,但自然场景图像包含较复杂背景,字符的提取和识别技术难度相对较大。在自然场景中文本区域提取技术的基础上,提出了一种字符提取模型,详细介绍了基于局部重叠阈值的图像二值化算法,... 随着计算机技术的发展,光学识别技术的发展已较为成熟,但自然场景图像包含较复杂背景,字符的提取和识别技术难度相对较大。在自然场景中文本区域提取技术的基础上,提出了一种字符提取模型,详细介绍了基于局部重叠阈值的图像二值化算法,通过字符的水平、垂直投影技术,实现了单个字符边界的划分,并根据字符的某些特征对非字符进行了过滤,最终实现了字符的提取。 展开更多

关键词 场景图像 字符提取 方差阈值

在线阅读 下载PDF 职称材料

基于DDS的可靠通信方法的分析和研究

17

作者 李海浩 顾滨兵 刘艳平 《微型电脑应用》 2018年第8期60-63,共4页

介绍了DDS可靠通信的高效通信模式和可靠通信模式,针对影响DDS通信反应时间、敏感度、活跃性、吞吐量和资源利用的数据信息、心跳信息和承认信息等参数信息,分析研究了DDS通信过程和RTPS可靠通信协议,详细阐述了DDS可靠通信应用中的激... 介绍了DDS可靠通信的高效通信模式和可靠通信模式,针对影响DDS通信反应时间、敏感度、活跃性、吞吐量和资源利用的数据信息、心跳信息和承认信息等参数信息,分析研究了DDS通信过程和RTPS可靠通信协议,详细阐述了DDS可靠通信应用中的激活、发送队列、接收队列和消息风暴的设置。 展开更多

关键词 数据分发服务 可靠通信协议 消息风暴

在线阅读 下载PDF 职称材料

基于GJB2725A的军用软件测试管理系统设计与实现 被引量：1

18

作者 王艳军 王勇利 顾滨兵 《计算机测量与控制》 2018年第8期133-137,共5页

为规范军用软件测评过程,提高测试质量,依据军方颁布的相关军用软件测评规定,通过分析目前军方对装备软件测评项目实施过程和采用能力的要求,设计实现了一套模块化、可定制功能的军用软件测试管理系统,系统集成了软件测试过程管理、测... 为规范军用软件测评过程,提高测试质量,依据军方颁布的相关军用软件测评规定,通过分析目前军方对装备软件测评项目实施过程和采用能力的要求,设计实现了一套模块化、可定制功能的军用软件测试管理系统,系统集成了软件测试过程管理、测试项目管理功能,可以实现对军用软件测评项目实施全过程管理,有效规范装备软件测试过程,保障测试按照规范要求实施,进一步提高军用软件的测评质量。 展开更多

关键词 GJB2725A 软件测评 测评质量 系统设计

在线阅读 下载PDF 职称材料

面向对象技术对软件测试的影响

19

作者 朱书超 顾滨兵 《河北省科学院学报》 CAS 2005年第z1期171-173,共3页

面向对象技术的大量使用成为一种新的流行趋势,而软件测试成为软件开发中越来越重要的一环.本文分析了面向对象技术对软件测试工具开发、测试流程管理、测试信息复用的影响,还探讨了面向对象软件测试的测试层次、测试内容和方法.

关键词 面向对象 软件测试 测试流程管理 类测试 集成测试 系统测试

在线阅读 下载PDF 职称材料

一种基于编码的OBDD模型检测的算法实现

20

作者 马晓龙 顾滨兵 刘鑫淼 《舰船电子工程》 2011年第10期118-121,共4页

文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自行开发的OBDD模型检测器,具体描述了OBDD的生成、化简以及使用OBDD进行模型检测的具体实现算法以及OBDD... 文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自行开发的OBDD模型检测器,具体描述了OBDD的生成、化简以及使用OBDD进行模型检测的具体实现算法以及OBDD模型检测的全过程,该算法实现简洁易读,可以直接应用于相关程序的开发。 展开更多

关键词 OBDD 模型检测 状态编码 CTL公式

在线阅读 下载PDF 职称材料