软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.     

指控软件可用性工程生命周期模型

针对当前装甲指控软件的应用现状和存在的问题,运用可用性工程理论和方法,提出了指控软件的可用性工程生命周期模型,该模型包括可用性需求分析、模型构建、可用性设计、可用性测试与评估、安装部署与使用体验、用户反馈等过程。通过与一般软件测试的比较,强调可用性测试实验环境的作用。该模型突出用户的作用,重视用户反馈,可为指控软件的设计和开发提供理论指导。     

石河子警方打掉异地网络诈骗团伙

日前,石河子警方成功侦破一起特大网络诈骗案,犯罪嫌疑人余某等4人在浙江省杭州市落入法网。今年2月期间,石河子市居民马某等3人分3次向虚假的黄金现货交易平台软件"MT4"打款共计17.7万元进行黄金交易。当3名受害人认为盈利准备赎回时,发现自己账户内的资     

文化活动中心，离我们是远还是近？

前不久,我们来到南空某部,就文化活动中心的管理和使用、文化活动中心在基层官兵中的地位和作用等展开了调查。感到,当前各级对文化活动中心的建设比较重视,硬件与软件设施也得到了比较大的改善,许多部队的文化活动中心,已经成为集娱乐、休闲、学习、训练于一体的活动场所,极大地丰富了官兵的业余文化生活。但是,也有一些单位的文化活动中心存在着利用率不高,重建设轻使用,重管理轻效益的现象。近在“咫尺”隔“天涯”开放时间与官兵需求频频撞车。某连王指导员是一名电脑迷,对多媒体制作的兴趣尤大,由他设计的几套多媒体课件,多次被上级机…     

军中“硅谷”决战信息化海战场——记海军大连舰艇学院作战软件研究中心

这里是中国海军作战软装备发源地,第一个舰艇作战软件、第一套舰艇作战软件系统……第一套舰艇编队作战软件系统就诞生在这里。这里是中国海军惟一的水面舰艇作战软件研制基地,从这里“出炉”的作战软装备,已成为我舰艇战斗力跃升的“倍增器”。这里是中国海军舰艇作战软件人才的重要培养基地,从这里走出的大批博士、硕士和学士,已成为海军信息化建设的生力军。这里就是军中“硅谷”——海军大连舰艇学院作战软件研究中心。勇做探路者——中国“芯片”横空出世如果把一艘军舰比喻成一座高科技城堡,那么作战软件就是这座城堡的核心“芯片”。…     

软件可维护性的一种定量计算方法

软件可维护性是软件维护难易程度评价的标准,为实现软件可维护性的定量计算,在介绍波动效应的基础上,根据软件可维护性计算的基本思路和基本原理,建立了基于波动效应分析的软件可维护性计算模型,并对模型进行了分析和校验。     

软件通信体系结构和军事电子信息系统一体化

本文说明了军事电子信息系统迫切需要一体化的理由,介绍了美军电子信息系统一体化的发展思路,强调指出了战术无线通信系统的顶层设计标准软件通信体系结构的地位和作用,提出了关于实施软件通信体系结构标准的建议。     

试论SDX重塑工控系统

本文介绍了工控系统及发展,分析了工控系统的发展脉络,指出"数据表示精细化、数据价值层次化"是主线,继而介绍了软件定义一切(SDX)的提出及实质,分析了软件定义对产业数字化转型的影响以及工控系统向边缘架构的演进,最后展望了SDX对整个社会的影响。     

【专题】人工智能装备质量监督效能研究

近年来,人工智能技术迅速发展和渐趋成熟,在装备领域的应用大放异彩,极大地拓展了传统装备性能,特别是自主性和智能化水平。但人工智能算法本身固有的逻辑推理性差、具有不可解释性和需要学习训练等特性给人工智能装备的质量监督带来了新挑战,现有评价手段的欠缺也使人工智能装备发展在实用可靠方面充满不确定性。本文在总结归纳人工智能装备新特性拓展和质量监督新挑战的基础上,重点围绕有效提升人工智能装备的质量监督展开研究。提出应在夯实基础能力设施建设、注重日常数据采集整理、灵活技术状态管控、研究有效评价手段、强化人才队伍建设和闭环质量信息反馈与利用等六方面加强人工智能装备质量监督的措施建议,以期为人工智能装备的发展建设提供参考。