Imagix 4D代码分析工具套件

1.源代码分析
2.静态代码分析
3.软件度量分析
4.增量(Delta)分析
5.代码审查
--  完整性检查                 --结构性检查
--一致性检查                   --可追溯性检查
--正确性检查                   --可理解性检查
--可修改性检查               --可验证性检查
--可预测性检查               --软件版本控制
--健壮性检查                
6.自动化文献编制