论文部分内容阅读
软件测试技术对于确保软件质量、高可靠性、高安全性越发受到行业重视。静态分析指的是一种在不执行程序的情况下对程序行为进行分析的静态测试技术。本文以五指棋程序为例用Klocwork对工程做静态分析。
基于Klocwork Insight静态测试技术应用及其研究
【摘 要】
：
软件测试技术对于确保软件质量、高可靠性、高安全性越发受到行业重视。静态分析指的是一种在不执行程序的情况下对程序行为进行分析的静态测试技术。本文以五指棋程序为例用
【机 构】
：
成都理工大学
【出 处】
：
电脑与电信
【发表日期】
：
2011年11期
其他文献
查考大桥（Puente Chacao ）位于智利南部，连接智利本土和奇洛埃岛，由智利公共工程部面向国际招标，采用 EPC模式建设。中国一家联合体提交的投标方案为（216＋1045＋1190＋319） m的三塔两跨连
<正> 《中国社会保障》杂志2005年第1期上刊登了河南省社会医疗保险中心《〈工伤保险条例〉、〈劳动保障监察条例〉的部分处罚条文如何执行》一文,对《劳动保障监察条例》、
目的:采用网络药理学方法,研究银杏叶"成分-靶点-心脑血管相关疾病"复杂网络,预测银杏叶治疗心脑血管类疾病的有效成分及其潜在靶点。方法:建立药物分子-靶点相互作用的随机
目的:探讨"调肝肾,祛痰瘀"复方血压峰值前给药对自发性高血压大鼠(SHR)心肾组织转化生长因子-β1(TGF-β1)-Smads信号通路的影响。方法:将30只12周龄的自发性高血压大鼠,随机
<正>1998年3月,我应全美国社会工作学院院长会议和美国社会工作教育协会的邀请,参加了在奥兰多举行的全美社会工作学院院长会议和美国社会工作教育协会第44届年会,并在院长会
<正>受理时效某纺织企业于2003年未按程序办理相关手续擅自延长工作时间,大部分职工考虑到找份工作不容易而忍气吞声,企业也考虑到调动职工劳动积极性的需要,在工资发放中加
目的探讨慢性丙型肝炎患者血清趋化因子白细胞介素-8(IL-8)的表达水平及抗病毒治疗后的动态变化。方法对74例慢性丙型肝炎患者及30例健康对照的血清标本,应用双抗体夹心ABC-E
随着人们对疾病的复杂发病机制的认识逐步加深,使得多靶标的药物开发成为一种必然趋势。中药以其多成分、多靶标整体调节的作用特点而受到越来越多的关注。从整体水平上阐明
2001年11月,劳动保障部会同中央金融工委、中央企业工委对全国医疗保险工作进行了一次联合大检查。联合检查组兵分5路,跨越15个省、区、市,通过听取汇报、召开座谈会、现场考