科技研发

R&D

COSINE

COSINE


静态代码分析工具( COSINE- SCAF)

静态代码分析工具用于使用Fortran开发的科学计算类程序的静态代码检查。该工具软件支持针对无效引用、重复引用、常数数据类型、浮点判断、简单变量判断、分支语句的默认分支判断、程序注释量以及重名文件等检查功能,这些合规性检查降低了后期测试的缺陷率。
 

Static code analysis tool is used for conducting static code checking for Fortran Code of the scientific computing program. This tool supports checking the invalid references, repeated references, constant data types, floating-point judgment, simple variable judgment, default branch judgment, program comments and file names. These compliance checking reduces the defect rate in late-phase testing.