【摘 要】
：
随着嵌入式系统硬件可靠性水平的不断提高和嵌人式软件的日益复杂化，软件的可靠性在嵌入式系统整体可靠性中所占的比重也越来越大。在探讨了代码静态分析技术中关键步骤的基础
【机 构】
：
华东理工大学信息学院,化工过程先进控制与优化技术教育部重点实验室。
【基金项目】
：
国家“863”基金资助项目(编号:2009AA04Z144);浙江省科技计划基金资助项目(编号:2008C16016);上海市重点学科(B504)基金资助项目
论文部分内容阅读
随着嵌入式系统硬件可靠性水平的不断提高和嵌人式软件的日益复杂化，软件的可靠性在嵌入式系统整体可靠性中所占的比重也越来越大。在探讨了代码静态分析技术中关键步骤的基础上，制定了编码标准，并且选择了合适的静态分析工具；同时，介绍了自行开发的代码测试框架和测试用例设计方法，并将其运用到某智能仪表软件的测试中，得到了良好的测试效果。
其他文献
体育目的是体育基础理论研究的基点问题，对于体育其他问题的探讨，往往要回归到对体育目的的反思和重构上来。在体育对人的价值已经超越了单纯的身体养护之后，我国当代体育价值观
航海英语学习贯穿航海技术整个学习和工作过程。然而,隶属于科技英语范畴的航海英语,专业词汇量大,语言表述严谨,学生在航海英语学习特别是船长航海英语学习中出现了不少困难
根据建国以来50年江苏大豆生产情况,分析了当前大豆生产上存在的问题及其原因,并提出了发展大豆生产应采取的有效措施及长远发展设想.
摘要目的研究偏突颌畸形患者和正常人在下颌不同运动及姿势位时双侧颞肌前束（TA）、咬肌（MM）、二腹肌前腹（DA）和胸锁乳突肌（SCM）的肌电活动情况，探讨咀嚼肌和胸锁乳突肌在骨性偏颌中的
《影视精品解读》是广播电视编导专业的核心课程,通过对这门课程教学内容、教学方式、考核方式的改革,旨在提高课程教学效果,把学生培养成既具有创造意识又具有实践能力的"影
<正>(2019年12月17日中国共产党河北省第九届委员会第十次全体会议通过)中国共产党河北省第九届委员会第十次全体会议,于2019年12月16日至17日在石家庄召开。出席这次全会的
从“十二五”开始，应该从普惠的目标转向公平的普惠，这个公平就落脚在城乡统筹上。只有通过城乡统筹的制度安排，才能够逐步体现制度的公平性，并且在现在普惠的基础上，使制度建设产
通过具体的分析,对如何降低土地评估风险进行了讨论。为实现评估结果的客观公正提出了几点建议,希望能够为有关的工作人员提供一些帮助,避免土地评估纠纷。
矮小症是指在相似生活环境下,同种族、同性别和年龄的个体身高低于正常人群平均身高2个标准差（-2SD）,或低于第3百分位数（-1.88SD）者[1]。笔者对其采取中医辨证治疗,取得较好疗效,
档案管理工作是事业单位管理工作中的重要环节。只有完善事业单位档案管理工作,才能够对内部人员进行有序管理,但是我国大部分事业单位内部档案管理工作存在着众多的问题,严