论文部分内容阅读
基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。
C软件测试工具系统CSTT
【摘 要】
：
基于一个统一的测试方法,我们设计并实现了支持C软件测试的工具系统CSTT,CSTT由静态分析工具、断言检测工具、符号踪迹工具、分枝覆盖工具和断点显示工具组成,本文描述了该测试方法,介绍了CSTT的功能。
【机 构】
：
武汉大学软件工程研究所
【出 处】
：
计算机学报
【发表日期】
：
1989年02期
其他文献
RTSS是一个实时系统性能模拟工具,用于分析预测实时系统中最为重要的时间相关类性能指标.它支持模型说明,自动实现模拟过程以降低模拟系统实现代价.本文介绍RTSS所基于的性能
我们考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。本文从全局性构造的角度对它作了某种分析,得出如下结果:在由n个确定的命题变元所可能构成的一切析取
在任何领域，对于情况的详细分析、比较及决策而言，可靠的数据都是必要的。许多年前，瓷砖是以重量为计的，之后开始以平方米计算，而这也是现在普遍接受的方法。
本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言
本文介绍集成数据库设计评价系统NITDBDA的设计思想、算法,以及特点.它支持关系和网络数据库从概念、逻辑直到物理设计的全过程,实现了关系数据库的逻辑与物理设计、网络数据