SofCheck督察是一个静态错误检测工具,可以自动识别可能的编程错误,不依赖于劳动力密集型的运行时间测试和验证逻辑的正确性。它集成到现有的开发工具和过程。
SofCheck督察在一个完全自动化的神器出山:www.shenqi73.com方式执行线,由线测试,并保证完整路径覆盖。 SofCheck督察发现的缺陷,早在开发过程中一起编译时,他们是最昂贵的修复。此外,它也可以对现有的代码运行发现潜在的缺陷,才成为该领域中的一个问题。
督察SofCheck将支持大型系统,检测范围广泛的编程errorssuch,错误地使用指针,索引的数组,缓冲区溢出(一个普遍的安全存储泄漏源)数字溢出,数字wraparounds,和不当使用的应用程序编程接口( API的)。它针对每个错误的源代码行的代码的根本原因。
即使在没有明确的错误,SofCheck督察提供了一个彻底表征的每一个组成部分,该系统的输入,输出,创建堆对象,先决条件所需的投入运行时故障排除,推定的返回值外部的方法,以及后置的特点输出范围。
的检查可以在命令行启动,或以交互方式,使用的SofCheck的督察控制台。
下面是一些主要特点“SofCheck督察”:
·寻找更多的错误。更快。
·加快产品上市速度
·SofCheck督察最大限度地提高您的投资回报率
·轻松地与现有系统整合
·SofCheck测试,保证代码的信心
要求:
·SofCheck督察的服务器上运行在Intel x86,基于Intel x64,Sun的Sparc的Sun x64的CPU
·静态错误检测是复杂和耗时的,和将受益于所有的速度(CPU)和存储器(RAM),可提供的。
·双核2.0 GHz或更高频率的CPU可以检查每分钟约1000行代码。
·SofCheck推荐2 GB或更大的RAM。更复杂的检查将需要更多的内存。 4 GB的RAM是实际的限制,许多32位操作系统。
·最多64位操作系统可以利用超过4 GB的物理内存,如果有的话。
限制:
·45天试用版
·200 Java类文件或更少。
上一个软件:DBG 2.15.5