静态方法是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析,找出欠缺和可疑之处,例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错,并为测试用例选取提供指导。
扩展静态文本控件扩展静态文本控件扩展静态文本控件...
👤 shjgzh
⬇️ 2 次下载
FPGA时序分析文档。不错,应该有帮助。喜欢的朋友下载看看...
👤 默默
⬇️ 7 次下载
适用于ARM架构的tcpdump静态版本,内置完整依赖库,可直接部署用于网络抓包与通信问题分析,适合嵌入式环境调试和性能研究。...
👤 qdxqdxqdxqdx
⬇️ 2 次下载
单片机...
👤 旗鱼旗鱼
⬇️ 168 次下载
静态数据成员的使用...
👤 yimoney
⬇️ 93 次下载