【摘 要】
：
软件测试是软件工程中很重要的组成部分,分为动态测试与静态测试。静态分析在执行动态测试前可以尽可能发现程序中的缺陷,通过静态分析可以发现一些潜在的软件错误。例如软件的结构是否合理清晰,是否有变量冗余或者未定义的信息,接口是否脱节。还用于检查在逻辑上可能存在错误的结构以及多余的不可到达的程序段。静态分析主要包括代码分析、代码审查与软件度量三个方面。
论文部分内容阅读
软件测试是软件工程中很重要的组成部分,分为动态测试与静态测试。静态分析在执行动态测试前可以尽可能发现程序中的缺陷,通过静态分析可以发现一些潜在的软件错误。例如软件的结构是否合理清晰,是否有变量冗余或者未定义的信息,接口是否脱节。还用于检查在逻辑上可能存在错误的结构以及多余的不可到达的程序段。静态分析主要包括代码分析、代码审查与软件度量三个方面。
其他文献
四川天宇种业有限责任公司注册资本3000万元,拥有四川省农业厅颁发的全省主要农作物种子生产、经营许可证。是集杂交水稻、杂交玉米、杂交油菜、特种玉米、良种小麦等农作物
科服网汇集与整合了各类科技服务资源,为科技型中小企业提供了便捷、高效的服务,本文重点通过对大型仪器共享管理系统开发功能的阐述和研究,揭示了系统成为支撑科技型中小企业创新创业的基础条件支撑平台,以及促进全市大型仪器设备资源的高效利用的意义和作用。
2015年中国麻纺织行业延续“缓增长”新常态，行业呈现增速放缓，企业税负和成本过高，投资拉动效果不明显，进出口增速放缓等特点。 主营业务收入增速放缓 据国家统计局数据，2015年1～11月，全国293家规模以上麻纺织企业主营业务收入累计514.76亿元，较上年同期的475.24亿元同比增长8.32%，增速连续两年低于10%，而且增速主要得益于海关出口，出口交货值同比提高18.33%；而主营业务
为了深入贯彻落实中央农村工作会议精神，根据《四川省科学技术普及条例》的要求，2015年3月6～7日，四川省农科院正厅级调研员黄钢研究员率领本院8位专家参加了四川省科技厅、省委宣
2015年12月27日，广东省服装服饰行业协会（下称“省服协”）第六届会员代表大会在广州召开，会议选举产生了第六届会员代表大会理事、会长、执行会长、执行副会长及副会长。其中，卜晓
目前,对于变压器状态的检修的技术还不够成熟,大多数都停留在初级阶段过渡到系统阶段的程度。对变压器状态的检修及其相关的工作研究正在逐步展开,取得了很大的进步。本文对变压器的检测技术进行深刻的分析,并在此基础上研究其工作原则,阐述具体故障的分析办法,希望能够对开张变压器状态监测工作有一定的帮助,以便为其提供理论与技术指导。
本文根据富顺县农牧业局水稻品种联合试验情况,介绍了川优6203在本县栽培的特征特性与产量表现及中稻再生稻的栽培管理措施.川优6203在2014年全县两镇集中示范400hm2,表现出
目前,计算机技术已经广泛应用于多个领域,机械设计领域也不例外。在机械设计中,由计算机技术作为基础的三维CAD技术为机械设计开拓了一片新天地,并为机械设计带来了很大的便
截至2013年6月底,我国网民规模达到5.91亿人,互联网普及率为44.1%。网民中使用手机上网的比例也继续提升,由69.3%上升至74.5%,中国地域广阔,960万平方公里土地大部分分布在农村,2011年年末全国大陆总人口为134735万人。其中城镇人口为69079万人,占总人口比重达到51.3%。虽然近些年来农村人口下降比较快,仍然占全国人口总数的半壁江山。农村经济问题不可小觑。
去秋以来,四川省农业部门大力推进小春高产高效创建活动,组织动员农民群众加强田间管理,积极防治小麦条锈病等重大病虫害,为夺取小麦、油菜丰收奠定了坚实基础。入春后全省大