用于测试自动工具还有很多例如环境模拟、代码检查、测试文档生成、测试执行验证、输出比较、正确性证明等以及各种调试工具而且出现了将多种测试工具融为体集成化测试系统 (1)SADAT 德国IDT开发sADAT是对FORTRAN进行测试集成化工具它把静态分析、动态分析、测试用例生成、路径谓词演算等许多功能集成在起用统命令语言各工具都使用公共数据库中信息成为种功能很强测试工具 sADAT在源代码编译无错基础上首先进行静态分析通过词法分析整理发布生成源正文表、标号表、语句表、符号表、符号使用表以及公用块表结构分析结果生成流程图、简化流程图和相应信息这些将成为后面各阶段分析 [阅读全文] [PDF]
1 共1条 分1页
- 单片机数码管:51单片机数码管显示的好帮手---MAX...
- 点阵显示屏:智能点阵显示屏HCMS-29xx/39xx及其应用
- 单片机教程:单片机编程入门七
- 汇编语言指令集:IBM-PC汇编语言指令集
- 数据传送指令:MCS-51数据传送指令
- 0083智能工社:浅谈足球游戏的人工智能
- 提拔将领:即时战略游戏将领指挥AI方案设想
- directinput:DirectInput 鼠标编程入门
- 实现爆炸后的振动效果
- 飞机射击类小游戏:有关飞机射击类游戏的设计原理
- 音效最好的播放器:游戏音乐和音效的播放
- 游戏调试:利用双计算机调试游戏程序
- 多任务处理:游戏中的多任务处理
- 电脑游戏中的人工智能制作
- 系统升级:角色扮演游戏的升级系统研究
- rpg游戏制作:深入RPG游戏制作—图形篇
- directdraw:通向DirectDraw的捷径
- 3d场景:如何在3D场景中加入Fog
- 游戏搜索:论游戏中的搜索问题(初级篇)
- directx如何使用:使用DirectX优化声音特性