CN109614079A - 一种面向航电领域的编码规则检查系统 - Google Patents

一种面向航电领域的编码规则检查系统 Download PDF

Info

Publication number
CN109614079A
CN109614079A CN201811395275.4A CN201811395275A CN109614079A CN 109614079 A CN109614079 A CN 109614079A CN 201811395275 A CN201811395275 A CN 201811395275A CN 109614079 A CN109614079 A CN 109614079A
Authority
CN
China
Prior art keywords
coding rule
coding
code
tool
checking tool
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201811395275.4A
Other languages
English (en)
Inventor
马丽娟
马晋
缪万胜
周磊
费玮莹
王念伟
程春姬
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
China Aeronautical Radio Electronics Research Institute
Original Assignee
China Aeronautical Radio Electronics Research Institute
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by China Aeronautical Radio Electronics Research Institute filed Critical China Aeronautical Radio Electronics Research Institute
Priority to CN201811395275.4A priority Critical patent/CN109614079A/zh
Publication of CN109614079A publication Critical patent/CN109614079A/zh
Pending legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)

Abstract

本发明属于软件编码技术领域，涉及一种面向航电领域的编码规则检查系统；所述的编码规则检查系统包含：服务器、数据库、客户端、编码规则检查工具和中文报告生成工具；所述的数据库、编码规则检查工具和中文报告生成工具位于服务器；所述的编码规则检查工具用于对用户代码进行静态分析，并将分析结果存入位于服务器端的数据库内，所述的客户端用于查看代码的静态分析结果。本发明的面向航电领域的编码规则检查系统，实现了可以自定义编码规则的、自动化的编码准则检查系统，实现了检查系统与软件开发库工具的集成，提高了开发人员编码代码质量和效率，增加与外部系统的接口，实现了与外部项目管理平台的集成。

Description

一种面向航电领域的编码规则检查系统
技术领域
本发明属于软件编码技术领域，涉及一种面向航电领域的编码规则检查系统。
背景技术
众所周知，保证飞机航电系统软件质量，提高软件开发效率已成为亟待解决的问题。软件编码质量对于软件质量、软件重用具有重要作用。开发人员需要花费大量的人工工作量去理解准则、维护代码；同时没有有效的手段，开发人员也没有养成增量式检查软件代码的习惯，造成在项目后期的自测试或三方测试过程中发现大量编码问题，而无法及时修复；由于没有信息平台支持，导致项目开发过程中发现的通病仍然会在其它项目，甚至于在同一项目的其他成员中发生。
发明内容
本发明的目的是：提供一种面向航电领域的编码规则检查系统，以解决目前开发人员在开发过程中无法有效进行增量式代码检查使得测试人员发现大量编码问题，而无法及时修复，导致的开发效率低下的技术问题。
为解决此技术问题，本发明的技术方案是：
一种面向航电领域的编码规则检查系统，所述的编码规则检查系统包含：服务器、数据库、客户端、编码规则检查工具和中文报告生成工具；所述的数据库、编码规则检查工具和中文报告生成工具位于服务器；
所述的编码规则检查工具用于对用户代码进行静态分析，并将分析结果存入位于服务器端的数据库内，所述的客户端用于查看代码的静态分析结果。
所述的编码规则检查工具：用于对开发人员提交的代码进行静态分析：包括编码规则检查和软件度量分析。
所述的编码规则检查工具还包括开发库版本控制工具，所述的开发库版本控制工具用于开发库中代码的提交与检查；增加开发库版本控制工具，除了开发人员自身外，还可以提供给质量保证人员进行代码检查。
所述的编码规则检查工具配置有自定义编码规则集，所述的编码规则集用于提交代码时的检查标准的选择。
所述的编码规则检查工具还包括检查工具查询接口，所述的检查工具查询接口用于对外部管理工具提供接口。
所述的中文报告生成工具基于编码规则检查工具对软件分析后产生的数据文件结果上进行工作的，根据定制的报告模板格式自动生成中文报告。
所述的编码规则检查系统在编码规则检查过程中代码先提交后排队等候。
优选地，所述的编码规则检查系统在代码提交后进行压缩再排队等候，在排队前预先压缩可以减轻网络传输压力和服务器负担。
本发明的有益效果是：本发明的面向航电领域的编码规则检查系统，实现了可自定义编码规则集、自动化的编码准则检查系统，实现了检查系统与软件开发库工具的集成，提高了开发人员编码代码质量和效率，增加与外部系统的接口，实现了与外部项目管理平台的集成。并通过将编码规则检查工具部署在服务器、从客户端提交排队检查的方式大大节约了编码规则检查工具的采购成本。
将软件编码准则检查工具与开发库版本控制工具有效集成后，将有利于研发人员在不改变现有操作习惯的基础上快速地上手使用，在每次代码提交之前进行软件编码规则的检查，有利于及时认识到当前编码的不足之处，快速纠正不符合编码规则的代码并养成规范的编码习惯。
附图说明
图1为本发明的系统架构组成示意图；
图2为本发明的系统的整体控制流程示意图；
图3为本发明的解压缩包源代码流程示意图；
图4为本发明的编码规则检查工具及中文报告生成工具统计流程示意图；
图5为本发明的中文报告生成工具结果分析并存储流程示意图。
具体实施方式
为了更好地理解本发明，下面通过附图和实施用例对本发明作进一步详细说明。
如图1所示为本发明的面向航电领域的编码规则检查系统的系统架构组成示意图，包括：服务器、数据库、客户端、编码规则检查工具和中文报告生成工具；所述的数据库、编码规则检查工具和中文报告生成工具位于服务器；所述的编码规则检查工具用于对用户代码进行静态分析，并将分析结果存入位于服务器端的数据库内，所述的客户端用于查看代码的静态分析结果。
面向航电领域的编码规则检查系统以编码规则检查工具为基础对用户代码进行静态分析,并将分析结果存入位于服务器端的数据库内，友好的客户端可视化界面可以直观的看到代码的分析结果。
编码规则集合自定制：根据航电软件研制的现状和特点，综合测试与验证管理系统的编码规则定制功能主要包括：用户可以选择编程规则的最大集合；内嵌单位内部开发标准和行业内标准；用户可以在现有的编码规则集合内筛选配置自己的编码规则集；用户也可以根据型号要求自定义新的编码规则。
服务器端负责管理编码规则集、接收客户端的请求、处理客户端请求，并将客户端提交的代码通过编码规则检查工具进行分析，编码规则检查工具的分析结果通过中午报告生成工具解析之后直接存入数据库，结果分析报告也可以存入数据库中。
数据库存放所有的静态分析结果和分析报告，数据库采用MySQL来实现，其他程序可以通过方便的访问数据库，方便集成。
客户端界面设计从用户的角度出发，用户可以通过客户端提交查看请求，查看历史记录，并且提供结果过滤和添加注释的功能；另外客户端还可以和常见的开发库工具集成。
编码规则检查工具功能强大、全面、易于使用，不仅适合于主机平台软件质量保证和软件测试，同时适合于嵌入式软件的软件质量保证和软件测试，其静态分析功能主要包括自动化的编码准则检查和软件质量度量，用于辅助代码评审等相关工作。
中文报告生成工具用于质量评价工作中的软件质量评价的代码评审、辅助质量分析和报告文档生成，主要功能是：自动获取评测项目的相关评价数据，对代码违反编程标准进行审核与评注，制作质量评价度量模型，制作软件质量评价的报告模板，对评测项目根据所用度量模型进行分析，根据所用报告模板自动生成评测中文文档。
检查工具查询接口：本发明的系统需要和其他管理工具对接，来获取软件编码检查的一些统计信息，要求综合测试与验证管理系统的服务器能提供一些对外的接口，包括如下功能：采用mysql数据库；提供数据库说明文档，包括数据库里表的名称、字段等信息。
利用本发明的面向航电领域的编码规则检查系统在在处理客户端请求的编码规则检查时，主要有四个流程，整体控制流程，解压缩源代码包，静态分析及中文报告生成统计，中文报告生成结果分析并存储。整体控制流程如图2所示。
为了减少网络压力，客户端传输到服务器的文件需要压缩，服务器需要一个线程来解压缩收到的文件，其流程如图3所示。
静态分析及中文报告生成统计流程如图4所示。
中文报告生成结果分析并存储流程如图5所示。
丰富的用户界面可使开发人员直观快速的浏览编码规则检查结果，历史编码规则检查报告和生成的中文测试报告保存在服务器端的数据库里，方便开发人员随时查阅；通过和SourceInsight、UltraEdit和VisualStudio等常用编辑器的集成，研发人员能从规则检查报告页面上点击问题直接跳转到有问题的代码处进行编辑。开发人员可在自己本地目录下，针对文件和目录点击右键提交“编码规则检查”，简单快捷。将软件编码准则检查工具与SVN有效集成后，将有利于研发人员在不改变现有操作习惯的基础上快速地上手使用，在每次代码提交之前进行软件编码规则的检查，有利于及时认识到当前编码的不足之处，快速纠正不符合编码规则的代码并养成规范的编码习惯。

Claims (8)

1.一种面向航电领域的编码规则检查系统，其特征在于：所述的编码规则检查系统包含：服务器、数据库、客户端、编码规则检查工具和中文报告生成工具；所述的数据库、编码规则检查工具和中文报告生成工具位于服务器；所述的编码规则检查工具用于对用户代码进行静态分析，并将分析结果存入位于服务器端的数据库内，所述的客户端用于查看代码的静态分析结果。
2.根据权利要求1所述的面向航电领域的编码规则检查系统，其特征在于：所述的编码规则检查工具：用于对开发人员提交的代码进行静态分析：包括编码规则检查和软件度量分析。
3.根据权利要求1所述的面向航电领域的编码规则检查系统，其特征在于：所述的编码规则检查工具还包括开发库版本控制工具，所述的开发库版本控制工具用于开发库中代码的提交与检查。
4.根据权利要求1所述的面向航电领域的编码规则检查系统，其特征在于：所述的编码规则检查工具配置有自定义编码规则集，所述的编码规则集用于提交代码时的检查标准的选择。
5.根据权利要求1所述的面向航电领域的编码规则检查系统，其特征在于：所述的编码规则检查工具还包括检查工具查询接口，所述的检查工具查询接口用于对外部管理工具提供接口。
6.根据权利要求1所述的面向航电领域的编码规则检查系统，其特征在于：所述的中文报告生成工具基于编码规则检查工具对软件分析后产生的数据文件结果上进行工作的，根据定制的报告模板格式自动生成中文报告。
7.根据权利要求1至6任一项所述的面向航电领域的编码规则检查系统，其特征在于：所述的编码规则检查系统在编码规则检查过程中代码先提交后排队等候。
8.根据权利要求7所述的面向航电领域的编码规则检查系统，其特征在于：所述的编码规则检查系统在代码提交后进行压缩再排队等候。
CN201811395275.4A 2018-11-21 2018-11-21 一种面向航电领域的编码规则检查系统 Pending CN109614079A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811395275.4A CN109614079A (zh) 2018-11-21 2018-11-21 一种面向航电领域的编码规则检查系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811395275.4A CN109614079A (zh) 2018-11-21 2018-11-21 一种面向航电领域的编码规则检查系统

Publications (1)

Publication Number Publication Date
CN109614079A true CN109614079A (zh) 2019-04-12

Family

ID=66003752

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811395275.4A Pending CN109614079A (zh) 2018-11-21 2018-11-21 一种面向航电领域的编码规则检查系统

Country Status (1)

Country Link
CN (1) CN109614079A (zh)

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111966598A (zh) * 2020-08-19 2020-11-20 江南机电设计研究所 一种C++Test定制化方法及航天型号软件代码单元静态分析方法
CN112230889A (zh) * 2020-10-16 2021-01-15 湖南皖湘科技有限公司 一种制作软件开发编码规范的方法
CN112559354A (zh) * 2020-12-18 2021-03-26 中国平安财产保险股份有限公司 前端代码规范检测方法、装置、计算机设备及存储介质
CN113568795A (zh) * 2021-07-30 2021-10-29 杭州时趣信息技术有限公司 一种静态化服务测试方法、装置、设备及存储介质

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050066319A1 (en) * 2003-09-22 2005-03-24 Deline Robert Anthony Persisted specifications of method pre-and post-conditions for static checking
CN103309804A (zh) * 2013-04-08 2013-09-18 中国电子科技集团公司第十研究所 自动化代码规则检查平台
CN104615540A (zh) * 2015-02-10 2015-05-13 上海创景计算机系统有限公司 代码规范管理系统
CN107729247A (zh) * 2017-10-13 2018-02-23 郑州云海信息技术有限公司 基于jenkins检查源程序代码错误的方法和装置

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050066319A1 (en) * 2003-09-22 2005-03-24 Deline Robert Anthony Persisted specifications of method pre-and post-conditions for static checking
CN103309804A (zh) * 2013-04-08 2013-09-18 中国电子科技集团公司第十研究所 自动化代码规则检查平台
CN104615540A (zh) * 2015-02-10 2015-05-13 上海创景计算机系统有限公司 代码规范管理系统
CN107729247A (zh) * 2017-10-13 2018-02-23 郑州云海信息技术有限公司 基于jenkins检查源程序代码错误的方法和装置

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111966598A (zh) * 2020-08-19 2020-11-20 江南机电设计研究所 一种C++Test定制化方法及航天型号软件代码单元静态分析方法
CN112230889A (zh) * 2020-10-16 2021-01-15 湖南皖湘科技有限公司 一种制作软件开发编码规范的方法
CN112559354A (zh) * 2020-12-18 2021-03-26 中国平安财产保险股份有限公司 前端代码规范检测方法、装置、计算机设备及存储介质
CN113568795A (zh) * 2021-07-30 2021-10-29 杭州时趣信息技术有限公司 一种静态化服务测试方法、装置、设备及存储介质
CN113568795B (zh) * 2021-07-30 2024-04-26 杭州时趣信息技术有限公司 一种静态化服务测试方法、装置、设备及存储介质

Similar Documents

Publication Publication Date Title
CN110764753B (zh) 一种业务逻辑代码生成方法、装置、设备及存储介质
CN109614079A (zh) 一种面向航电领域的编码规则检查系统
US20120246170A1 (en) Managing compliance of data integration implementations
Carlson et al. The NASA automated requirements measurement tool: a reconstruction
WO2009042222A1 (en) Method and apparatus for automatically determining compliance with building regulations
CN103473672A (zh) 企业级数据中心的元数据质量稽核系统、方法及平台
CN108762743A (zh) 一种数据表操作代码生成方法及装置
CN110020021B (zh) 基于可视化的数据流处理方法
CN109684616A (zh) 动态报表公式组装填报的方法及系统
CN108628748A (zh) 自动化测试管理方法和自动化测试管理系统
CN101751400A (zh) 技术数据分析的系统与方法以及专利分析的系统
CN106708965A (zh) 一种数据的处理方法和装置
CN108876283A (zh) 一种自动审核系统及方法
CN109408502A (zh) 一种数据标准处理方法、装置及其存储介质
CN105808510A (zh) 一种调试数据校验方法及装置
CN111966587A (zh) 数据采集方法、装置和设备
CN112735571B (zh) 一种医疗健康数据上传管理平台
CN117033460B (zh) 一种基于总线矩阵的数据模型自动构建系统及方法
CN113255310A (zh) 一种医学检验lims系统中检验报告可视化配置方法
CN114911773B (zh) 一种通用元模型设计方法
CN108897877A (zh) 基于excel的大数据分析工具和方法
CN107894940A (zh) 一种日志分析装置及方法
Eichelberger et al. A comprehensive survey of UML compliance in current modelling tools
CN116501757B (zh) 一种基于er图的模拟数据构造方法及装置
CN115099547A (zh) 一种基于多数据源的合格证明文件自动生成平台

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
RJ01 Rejection of invention patent application after publication
RJ01 Rejection of invention patent application after publication

Application publication date: 20190412