论文部分内容阅读
本文简要介绍了嵌入式软件及其测试的发展现状．简要阐述了嵌入式软件静态测试的主要内容，并结合实例对KIocwork软件测试工具进行介绍．说明了Klocwork在嵌入式软件静态测试中的应用。
Klocwork在嵌入式软件静态测试中的应用
【摘 要】
：
本文简要介绍了嵌入式软件及其测试的发展现状．简要阐述了嵌入式软件静态测试的主要内容，并结合实例对KIocwork软件测试工具进行介绍．说明了Klocwork在嵌入式软件静态测试中的应
【机 构】
：
中国电子系统工程研究所软件评测中心
【出 处】
：
电子与电脑
【发表日期】
：
2011年7期
其他文献
据统计,近5年来,致公党成都市委和担任市政协委员的13名致公党员在市政协会上提交提案292件,2000年至2002年,致公党成都市委会连续3年被市政协授予“提案工作先进集体”称号
认真贯彻党的宗教政策 近几来,四川省委、省政府高度重视宗教工作,着力加强对宗教工作的领导,认真贯彻2001年12月召开的全国宗教工作会议精神,及时处理宗教方面存在的热点和
近年来,绵阳市在推动共产党领导的多党合作和政治协商制度规范化、制度化、程序化方面做了一些有益的探索,取得了一定成效。概括起来,就是以"三个到位"带动"三个促进"。
编辑同志：我今年80岁,患有高血压多年,目前使用苯磺酸左旋氨氯地平片降压,血压得到了控制,也稳定了下来。但是我现在发现血压的高压和低压压差有点大,比如150/80,145/60,140/7
随着现代化信息技术的发展，用户对信息需求的要求越来越高，因此，不断提高信息的服务质量成了当前图书馆满足用户需求的重要工作之一。知识服务成为了时下最重要的一种信息服务方
会计职业判断能力是会计职业素质的重要组成部分,是影响会计信息质量的重要因素,本文从独立院校会计教学的现状入手,着重分析了独立院校缺乏职业判断能力培养的问题,积极探索
中共通江县委在学习贯彻十六大精神活动中,切实改进和加强对统一战线工作的领导。 一、大胆启用新人能人。县委领导明确指出,统战部不是“养老部”,而是创业部,是党外
自由择业党外知识分子工作是统一战线工作的新领域。为了做好这个特殊群体的统战工作,寻求行之有效的工作方法,我们对绵阳城区自由择业党外知识分子的基本情况、现状进行了调
Allegro推出一款全新的低电流BiCMOS光电烟雾探测器IC,该IC具有超低待机电流,平均电池寿命长达10年。A5303器件可与红外光室配合使用,感测烟雾微粒散发的光线。联网功能让设