论文部分内容阅读
基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。
一种有效的静态缺陷函数检测框架
【摘 要】
：
基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框
【机 构】
：
全军军事训练软件测评中心,解放军理工大学工程兵工程学院,解放军理工大学指挥自动化学院,济南军区山东省军区后勤部
【出 处】
：
指挥信息系统与技术
【发表日期】
：
2010年6期
【基金项目】
：
国家高技术研究发展计划（863计划）课题（2009AA01Z402）
其他文献
应急通信网络必须能够在紧急突发场合有效监视目标敏感区域并提供及时可靠的通信连接。文中介绍了应急通信网络的要求和特点，阐述了应急通信网络的体系结构。围绕如何实现可扩
本文以10名印度医学留学生为研究对象,分别采取听辨实验与声学实验的方法利用Praat语音软件对其单字调发音的调域、调型、调值及时长情况进行分析并与标准普通话的发音样本进
<正> 一龙树是印度大乘佛教中观理论的奠基人,约活动于公元二、三世纪。印度佛教产生于公元前六、五世纪。到公元前二、一世纪,大乘佛教开始萌芽。大乘佛教的产生与初期佛教
学生宿舍是高校校园的最小居住单元,其作用强大,承担着学生的生活、学习、交往等活动。由于缺乏对宿舍室内环境的重视,宿舍内部普遍存在通风不良的现象。以山东建筑大学学生
概述了在传统方法的基础上,应用预处理技术提高麦草半纤维素及木素的分离、软化和脱木素的效率。对气穴辅助脱木素过程进行了详细论述,提出了降低成本和合理利用能源的操作指