| |
 |
| 通用实时Java程序代码分析工具 |
| 概述 |
| VeriFlux是德国Aicas公司开发的世界领先的实时Java程序代码分析工具。 |
| VeriFlux is an automatic static code analysis tool for use in complete applications, as well as custom program parts. |
| Nothing needs to be changed in the application to carry out the analysis. Error sources such as run-time errors or |
| thread-related errors are highlighted in the source code. |
| |
| 特性 |
| ● 全自动实时Java静态代码分析 |
 |
| ● 察觉所有可能的代码运行错误 |
| ● 寻找可能发生死锁及混乱的代码 |
| ● 察觉高隐含性的死代码 |
| ● 分析、完善程序 |
| ● 不对应用程序及重要代码作任何更改 |
| ● 提供实时Java应用程序的质量及效率 |
| |
| |
|
| 应用领域 |
| ● 航空、航天、军事测控 |
| ● 基于PC的控制软件/设备 |
| ● 国防指挥控制系统 |
| ● 工业生产自动化 |
| ● 运动控制、机器人和数控设备 |
| ● 飞机信息融合系统 |
| ● 交通信息处理 |
|
| |
|
| |
| |
