好文档 - 专业文书写作范文服务资料分享网站

COBOT用户手册 V2.7 

天下 分享 时间: 加入收藏 我要投稿 点赞

C/C++代码静态分析工具COBOT 用户手册(V2.7)

用于输出检测进度信息、编译信息以及代码检测和度量分析结果信息的区域。 6.(辅助区):

图 1-8

用于展示文件的函数节点信息(文件的方法大纲)以及查看函数或变量的调用点信息。

1.3 检测流程

按照如下所示的基本检测流程进行编码规则检测和度量分析:

新建项目?导入程序?检测设置?检测分析?问题追踪?结果导出?记录查看。

用户新建需要检测的工程项目名称,然后可以在该工程目录下导入C/C++文件(或文件夹),选择项目类型以及编译器类型等信息,可以对导入的工程文进行代码统计。在检测工程之前,需要配置规则检测项或度量分析项,即选择需要检测的规则条目和度量分析元。另外也需要对检测深度、检测模式以及检测结果数上限进行设置。检测配置完成后,就可以对工程进行检测了。检测完毕后,将会在输出区输出检测结果(或度量分析结果)。可以依据输出结果来进行问题

6

C/C++代码静态分析工具COBOT 用户手册(V2.7)

的追踪确认,检测记录能够自动定位到相应的代码行。最后可以将检测结果以EXCEL或WPS格式文件导出。用户也可以查看某个项目的检测历史记录信息。

2 缺陷检测

编码规则检测支持的标准包括CRSC、语义缺陷、GJB 5369-2005,MISRA C-2004、BACC C-2008、921 C-2007、GJB 8114-2013等。

GJB 5369-2005 MISRA C-2004 BACC C-2008 921 C-2007 2.1 用户登录

2.1.1 管理员身份登录

访问COBOT工具地址,进入系统登录页面,如下图所示:

7

C/C++代码静态分析工具COBOT 用户手册(V2.7)

图2-1

本系统默认以超级管理员的身份登录,登录成功后进入系统首页。以超级管理员身份登录后,可以进行用户创建和用户授权的操作。 (1)用户创建

以超级管理员身份登录系统后,选择工具栏中的「权限管理」。在弹出的页面中选择菜单栏中的「用户管理页面」。如下图所示:

图 2-2

图 2-3

在弹出的用户列表页面上,点击菜单栏中的「新增」按钮,如下图所示:

图 2-4

在弹出的新增用户对话框中,填写用户名、姓名、密码及邮箱等信息,点击「新增」按钮完成用户信息注册。注册完成后刷新网页即可在用户列表中看到新创建的用户信息。如下图所示:

8

C/C++代码静态分析工具COBOT 用户手册(V2.7)

图 2-5

图 2-6

如果新建的用户名与已经存在的用户名相同,系统会弹出如下图所示的提示信息。

图 2-7

(2)用户授权

用户需经授权后才能对相关工程项目进行操作。点击选择需要授权的工程项目,点击右侧菜单栏中的「授权」按钮。如下图所示:

图 2-8 9

C/C++代码静态分析工具COBOT 用户手册(V2.7)

在弹出的用户授权对话框中,勾选需要授权的用户,点击「确定」即可完成授权。如下图所示:

图 2-9

图 2-10

2.1.2 普通用户身份登录

完成用户注册后,就可以通过用户名和密码登录系统。普通用户权限有限,对相关项目的操作需经超级管理员授权后才能进行。

2.2 新建项目

2.2.1 项目创建

点击工具栏中的「新建」,如下图所示:

10

COBOT用户手册 V2.7 

C/C++代码静态分析工具COBOT用户手册(V2.7)用于输出检测进度信息、编译信息以及代码检测和度量分析结果信息的区域。6.(辅助区):图1-8用于展示文件的函数节点信息(文件的方法大纲)以及查看函数或变量的调用点信息。
推荐度:
点击下载文档文档为doc格式
2ft7j6i7eb9pugm7qnnb9acj39qpyw00ejr
领取福利

微信扫码领取福利

微信扫码分享