软件检测关键问题研究

来源 :信息化建设 | 被引量 : 0次 | 上传用户:lyzyk413026
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着社会的发展、信息化应用范围不断扩大.信息化建设主要是通过基于计算机微处理技术的人工智能软件及硬件的搭建,实现传统工作方式及模式的改变.在此背景下,软件数量大幅度增长.在软件系统满足用户和行业需求的同时,用户也时常为软件功能故障、代码适用度低、可移植性差而烦恼.利用软件检测技术可有效解决上述问题,本文对软件检测关键技术进行了研究.主要内容包括软件检测的内容、软件检测的目标、软件检测的关键性算法等.此文的研究内容对软件检测部门具有一定的借鉴意义和应用价值.
其他文献
通常的热交换站主要采用人力监控,这样既浪费了人力资源,又存在着许多隐患。在一些控制参数的调整上,人工调节存在着一定的偏差,很难使供热系统达到理想的运行效果。文章论述
本文深入分析了传统查询检索技术的不足之处,深入简述了上海公安局信息中心开创性的基于开源搜索引擎开发分布式海量数据查询检索系统,实现了公安海量数据基于关键词的关联检
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
科学技术的创新和进步,为当前教育事业的发展提供了重要的前提条件.现代教学对于多种先进科技的应用程度也越来越高,CAD作为一种优秀的绘图软件,能为学生提供良好的学习条件,
为了试验示范目前我省审定推广的大花生品种的适应性、丰产性、抗逆性,从中筛选出适合我县种植的抗病、优质、高产等综合性状好的大花生品种,以便为大田推广提供依据,特安排
介绍一个专用电力变压器在线监测评估系统。该系统建立了各种结构、不同冷却方式的电力变压器的特征参数库,分析了变压器内温度场分布的特点,各种变压器绕组热点计算模型,全
公共图书馆建立的最初目的就是满足读者的阅读需求,服务广大读者,现今,随着读者对阅读越来越重视,公共图书馆也在不断创新服务模式,逐渐开启了公共图书馆阅读推广.基于此,本
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
文章在分析和比较目前常用的几种路径优化算法的基础上,尝试将蚂蚁算法用于通用ATE开关资源测试中测试路径的优化。通过将蚂蚁算法信息素的引入,使得蚂蚁算法能够以较稳定的
人们获取社会信息一直以来都是以电视新闻节目作为主要的途径,然而数字化时代的迅速来临,使得手机电视、微信、腾讯QQ、新浪微博等互联网媒体得到了迅速的发展,从而对以电视