论文部分内容阅读
软件测试是保证大型软件系统开发成功不可缺少的支持条件，如何对“集成化ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统”开发过程的跟踪测试则是这一领域中的新课题。本文结合具体背景，重点介绍支持其结构测试的Ｃ源码静态分析工具的功能结构、设计原理与实现方法，并给出了该工具可检测的错误范围
一个支持C源码测试的静态分析工具
【摘 要】
：
软件测试是保证大型软件系统开发成功不可缺少的支持条件，如何对“集成化ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统”开发过程的跟踪测试则是这一领域中的新课题。本文结合具体背景，重点介绍支持其结构测试的Ｃ源码静
【机 构】
：
清华大学
【出 处】
：
机械科学与技术
【发表日期】
：
1996年5期
其他文献
本文论述了平面零自由度运动链的研究工作的实用意义和理论价值。首先根据平面零自由度运动链的结构特点对其进行了系统的分类，然后介绍了基本刚性链的重要性质及其机构综合中
本文所介绍的是关于机构创造性设计的方法，它主要基于机构型式和尺度综合的结合。机械设计人员掌握这种方法，对于革新现有的机构和设计机构均有指导意义。
介绍了一个实用的ＣＡＰＰ系统的设计与开发。重点讨论了零件信息描述、工艺知识表示、工艺决策等关键技术问题的解决
指挥军官作为军队各级的领导者和军事工作组织者,其素质的好坏,直接决定军队建设的水平和未来战争的胜败。在当今世界,军队建设越来越向现代化装备、多兵种编组和自动化指挥
加强医学生科研创新能力的培养是当前医学教育体制改革的重要内容。根据生理学的学科特点,从理论教学、实验教学、网络教学、科研小组4个方面提出系统培养医学本科生科研思维
本文以定西卫校、定西师专、甘肃中医学院三校合并为例，对院校合并的意义、合并过渡期存在的问题进行分析与思考，并提出合并过渡期教学管理的具体对策，以期对合并过渡期的教学管
计算机代数是研究用计算机进行公式处理的科学，本文以ｍｕＳＩＭＰ语言为工具，将计算机代数方法应用于空间啮合原理的研究中。建立了一个研究啮合空间的公式处理系统，用于曲面的几何分析和共
用模糊综合决策理论建立了某船舶汽轮发电机组在线监测与故障诊断系统。用阶比采样获取振动信号，提取时域的信息状态变化率参数及阶比域的ＡＲ阶比谱值参数为状态特征参数。在综合
本文根据熔休流动的停留时间分布特性，通过对能量方程中对流项的适当变换，用有限差分法计算并比较了在各种工况下单螺杆熔体挤出机中熔体温度的沿程分布，分析表明：上述变换可以大