论文部分内容阅读
分析了软件静态分析技术在综合电子信息系统软件测试中的应用,提出了一组静态分析检查规则集,阐述了结合主流测试工具,实现对检查规则集的自动化支持。实例应用表明,该技术能较好地解决综合电子信息系统软件静态分析的充分性问题。
综合电子信息系统软件静态分析技术的应用
【摘 要】
：
分析了软件静态分析技术在综合电子信息系统软件测试中的应用,提出了一组静态分析检查规则集,阐述了结合主流测试工具,实现对检查规则集的自动化支持。实例应用表明,该技术能
【机 构】
：
中国电子科技集团公司第二十八研究所
【出 处】
：
指挥信息系统与技术
【发表日期】
：
2014年6期
其他文献
近年来,我国的建筑工程建设有了很大进展,在建筑暖通施工的过程中,电热采暖膜的应用十分广泛。但是从目前的施工效果分析,其中还存在着一些问题。
美国佐治亚州Norcross市的RockTenn公司，日前以3．43亿美元的价格收购了SimpsonLumber公司位于华盛顿Tacoma市的SimpsonTocoma纸厂。基于2013年工厂的财务状况和运营效率，收购成
思维范式决定着人们所能看到或能理解的东西,乃至人的行为方式和行动力。量子论范式所揭示的不确定性、不可预测、不稳定的世界,超越了原子论范式的认知,而信息科技发展所加
一部经典之作的翻译无疑媒介着一种异质文化的传播。随着时代的发展,人们不断对这种文化经典进行重译,从某种程度上也形象地再现了人们对其所承载的异质文化的容受过程及态度
为提升港口国监督检查官的执法水平,分析我国港口国监督检查官队伍中存在的问题,对港口国监督检查官队伍的培养和管理提出建议：进行制度创新,让检查官有足够的职业生涯发展空
数字化技术对于矿山工作具有促进作用,矿山测量是数字矿山建设过程中的重要部分之一,工作内容是为矿山的规划设计、勘探建设等测绘工作。基于此,本文提出了矿图数字化、评估
我国农村面积广阔,乡村建设也有了很大进展。乡村振兴是我党做出的重大决策部署,乡村振兴亟需规划引领。分析了当前村庄规划编制中的主要问题,提出乡村振兴背景下村庄规划思
随着信息技术的发展,社会全面进入互联网时代,互联网引发了社会的深刻变革,高校廉政文化建设同样面临互联网这一“最大变量”的冲击,机遇与挑战并存,高校应当深刻把握网络时
院长到底有多重要？院长在医院扮演着什么角色？一千个人眼里有一千个哈姆雷特。在广东省人民医院院长庄建看来，院长是医院的管家，重要职责是做好协调，把领导班子和员工的智慧融合在