CN109343890A - 一种代码集成方法及*** - Google Patents
一种代码集成方法及*** Download PDFInfo
- Publication number
- CN109343890A CN109343890A CN201810941860.3A CN201810941860A CN109343890A CN 109343890 A CN109343890 A CN 109343890A CN 201810941860 A CN201810941860 A CN 201810941860A CN 109343890 A CN109343890 A CN 109343890A
- Authority
- CN
- China
- Prior art keywords
- code
- information
- integrated
- pretreatment
- source code
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
-
- 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
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- 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
- G06F11/3616—Software analysis for verifying properties of programs using software metrics
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (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
技术领域
本发明属于代码集成领域,具体涉及一种代码集成方法及***。
背景技术
代码评审(Code Review)是指在软件开发过程中,对计算机源代码与编码标准的规范性以及代码的质量进行***性检查的过程。代码评审作为软件开发流程中的重要环节,可以发现编码规范、代码结构、功能实现甚至性能调优等方面的问题。因此,通过代码评审能够提高软件开发的质量,且能够在项目的初期发现代码缺陷,有效降低损失。代码评审的过程也是对代码进行重新梳理的过程,便于开发人员能够加深对***的理解,促进团队沟通、促进知识共享和共同进步。
当前代码评审一般通过如下方式进行:开发人员进行手动的代码走读,交叉评审,参与者可以是任意两个开发组员进行结对检查。结对评审时,代码作者讲解代码实现原理、评审者提出问题和修改意见,修改后提交代码差异至评审***,项目经理或开发组长可以通过代码评审工具从代码版本库中获取代码文件,并基于显示的代码文件进行评审,评审通过后将代码合入到代码版本库中。
然而,由于现代大型软件开发的工作量大、流程长、迭代多,开发人员提交代码频繁,一旦提交到评审***则需要评审人员进行代码评审,评审人员仅进行手动的代码走读,交叉评审,然而提交的代码由于需要多人合作进行撰写,由于存在撰写错误集成后存在格式不统一、用语不统一和功能不统一等情况,导致评审人员在评审代码时往往难于抓住重点代码,且评审人员评审的工作量巨大,耗时耗力,造成代码评审的效率偏低。
发明内容
针对现有技术的以上缺陷或改进需求,本发明通过建立用于代码集成的代码评审的自动流程,对开发人员提交的预处理信息进行自动验证,验证后再通过软件检测工具对开发人员的源代码进行缺陷和代码规范检测,检测合格后自动将源代码合入得到新的集成代码后供评审人员审核,从而有效地解决了现有的代码评审流程中评审人员难以抓到重点代码的问题,减少了评审人员的工作量,提高了代码评审的效率。
为实现上述目的,按照本发明的一个方面,提供了一种代码集成方法,其特征在于,具体为:
S1.建立集成任务,集成任务包括预处理信息的填写和源代码的提交;
S2.对集成任务的预处理信息进行验证,存储通过验证的集成任务对应的源代码;
S3.对存储的源代码进行缺陷检查和代码规范检测,生成源代码质量初审结果,并依据该源代码质量初审结果判断预处理信息验证通过的源代码是否可以合入集成代码;
S4.依据预处理信息验证通过的源代码在整个集成代码中的位置信息,将经判断可以合入的源代码合入集成代码并生成新的集成代码,同时生成对应的评审任务;
S5.存储通过评审后的新的集成代码。
作为本发明的进一步改进,预处理信息包括任务号、开发人员信息、评审编号、评审人员信息、任务介绍和代码合入位置信息。
作为本发明的进一步改进,步骤S2中对集成任务的预处理信息进行验证通过的条件为:预设的数据库中存在预处理信息的任务号和开发人员信息且预处理信息的总行数不小于预设值。
作为本发明的进一步改进,步骤S4中评审任务的生成过程为:自动触发脚本curl开源文件传输工具构建一个评审任务。
作为本发明的进一步改进,步骤S3中对预处理信息验证通过的源代码进行缺陷检查和代码规范检测的工具包括warnings、violations、checkstyle、findbugs、cppcheck、cpplint、flake8和pylint,还可以通过上述工具对预处理信息验证通过的源代码中的错误进行修正。
为实现上述目的,按照本发明的另一个方面,提供了一种代码集成***,该***包括开发人员客户端、预处理单元、代码规范检测单元、评审交互单元、集成代码存储单元及评审人员客户端,预处理单元设置连接开发人员客户端、代码规范检测单元及评审交互单元,评审交互单元设置连接代码规范检测单元、集成代码存储单元及评审人员客户端,
开发人员客户端用于开发人员建立集成任务,集成任务包括预处理信息的填写和源代码的提交,并发送预处理信息给预处理单元;
预处理单元接收集成任务的预处理信息并进行验证,存储通过验证的集成任务对应的源代码并发送给代码规范检测单元;
代码规范检测单元对预处理信息验证通过的源代码进行缺陷检查和代码规范检测,生成源代码质量初审结果;依据源代码质量初审结果判断预处理信息验证通过的源代码是否可以合入集成代码,可以合入则代码规范检测单元将预处理信息验证通过的源代码和对应的预处理信息发送给评审交互单元;
评审交互单元接收预处理信息验证通过的源代码和对应的预处理信息,依据对应的预处理信息识别预处理信息验证通过的源代码在整个集成代码中的位置信息,依据位置信息将预处理信息验证通过的源代码合入集成代码生成一个新的集成代码;同时生成一个对应的评审任务;
评审人员客户端用于评审人员对新的集成代码进行代码评审,通过评审后存储新的集成代码至集成代码存储单元。
作为本发明的进一步改进,预处理信息包括任务号、开发人员信息、评审编号、评审人员信息、任务介绍和代码合入位置信息。
作为本发明的进一步改进,预处理单元对集成任务的预处理信息进行验证通过的条件为:预设的数据库中存在预处理信息的任务号和开发人员信息且预处理信息的总行数不小于预设值。
作为本发明的进一步改进,评审交互单元生成一个对应的评审任务的过程为:自动触发脚本curl开源文件传输工具构建一个评审任务。
作为本发明的进一步改进,代码规范检测单元对预处理信息验证通过的源代码进行缺陷检查和代码规范检测的工具包括warnings、violations、checkstyle、findbugs、cppcheck、cpplint、flake8和pylint,还可以通过上述工具对预处理信息验证通过的源代码中的错误进行修正。
总体而言,通过本发明所构思的以上技术方案与现有技术相比,具有以下有益效果:
本发明的代码集成方法及***,通过自动构建实现对代码评审的整个流程的集成处理,并形成一套完整的基于持续集成的代码评审方法及装置,其通过建立用于代码集成的代码评审的自动流程,对开发人员提交的预处理信息进行自动验证,验证后再通过软件检测工具对开发人员的源代码进行缺陷和代码规范检测,检测合格后自动将源代码合入得到新的集成代码后供评审人员审核,从而有效地解决了现有的代码评审流程中评审人员难以抓到重点代码的问题,减少了评审人员的工作量,提高了代码评审的效率。
本发明代码集成方法及***,使用持续集成工具提前对源代码进行缺陷静态检查和代码规范检测,使得开发人员能够快速定位代码隐藏错误和缺陷,代码评审人只用更专注于分析和提出代码设计缺陷,能有效解决现有代码评审流程需要评审人员花费大量时间和精力进行评审的技术问题,从而进一步提高了评审效率。
附图说明
图1是本发明实施例的一种代码集成***的结构示意图。
具体实施方式
为了使本发明的目的、技术方案及优点更加清楚明白,以下结合附图及实施例,对本发明进行进一步详细说明。应当理解,此处所描述的具体实施例仅用以解释本发明,并不用于限定本发明。
此外,下面所描述的本发明各个实施方式中所涉及到的技术特征只要彼此之间未构成冲突就可以相互组合。下面结合具体实施方式对本发明进一步详细说明。
图1为本发明实施例的一种代码集成***的结构示意图。如图1所示,该***包括开发人员客户端、预处理单元、代码规范检测单元、评审交互单元、集成代码存储单元及评审人员客户端,预处理单元设置连接开发人员客户端、代码规范检测单元及评审交互单元,评审交互单元设置连接代码规范检测单元、集成代码存储单元及评审人员客户端。
首先,开发人员在开发人员客户端登陆代码集成***界面建立一个集成任务并按预设的模式填写相应的预处理信息,预处理信息包括:源代码任务号、简介、描述、关联故障、评审人员等,同时通过代码集成***
界面向预处理单元提交源代码,提交代码前应优先使用本地的代码检查工具对源代码进行缺陷静态检查和代码规范检测,并在代码中添加适当的注释。
代码集成***的预处理单元对该集成任务的预处理信息进行强制验证,判断该集成任务的预处理信息结果是否通过验证;通过验证时,将该代码集成***的集成任务状态设置为验证成功状态,预处理单元存储该集成任务对应的源代码;未通过验证时,则将该代码集成***的集成任务状态设置为验证失败,禁止开发人员提交源代码,并返回错误提示信息;
具体为:预处理单元的服务器检测到开发人员提交源代码,此时自动触发检测脚本运行,检测脚本对集成任务的预处理信息进行强制注释验证,查询预处理单元的数据库***中是否存在对应任务号;判断提交人员是否在数据库***的用户或用户组中;并判断预处理信息的总行数是否满足要求;判断验证结果是否通过,当验证结果通过时,可以进行下一步;当验证结果没有通过验证时,则返回错误提示,如“任务号无效”、“开发人员信息不正确”、“预处理信息总行数至少为6行”等提示信息至开发人员客户端,提醒开发人员进行重新修改提交。
预处理单元将预处理信息验证通过的源代码发送给代码规范检测单元,代码规范检测单元对源代码进行缺陷检查和代码规范检测,并通过不同的代码插件对源代码的错误进行再加工处理,从而实现源代码的前期质量管理;代码规范检测单元依据代码质量初审结果判断该源代码是否可以合入至集成代码,不能合入时,将该代码集成***中的集成任务状态设置为验证失败,禁止开发人员提交源代码,并返回错误提示信息,邮件通知开发人员。
具体为:代码规范检测单元可以针对主流的开发语言的源代码进行缺陷静态检查和代码规范检测,利用warnings、violations、checkstyle、findbugs、cppcheck、cpplint、flake8、pylint等代码检测工具或插件,对源代码进行缺陷静态检查和代码规范检测,得到量化的代码质量初审结果,代码规范检测单元依据代码质量初审结果判断该源代码是否可以合入至集成代码,不能合入时,将该代码集成***中的集成任务状态设置为验证失败,禁止开发人员提交源代码,并返回错误提示信息,邮件通知开发人员。
代码规范检测单元将源代码及预处理信息发送给评审交互单元,评审交互单元按照该集成任务的预处理信息识别源代码在整个集成代码中的位置信息,并依据位置信息将源代码合入集成代码生成一个新的集成代码,同时生成一个评审任务,评审交互单元发送邮件通知代码评审人员;
本步骤中,预处理单元将预处理信息验证通过的源代码提交至代码规范检测单元,代码规范检测单元识别源代码在整个集成代码中的位置信息将源代码合入完成后,会自动更新一个代码合入的版本;同时代码规范检测单元自动触发脚本运行,脚本中使用curl开源文件传输工具触发代码规范检测单元构建一个评审任务。
评审人员在评审员客户端登陆代码集成***界面进行代码评审,通过评审后,将新的集成代码更新至集成代码存储器,未通过评审时邮件告知开发人员评审意见。具体为:至少两位评审人员评审通过并同意提交后,将新的集成代码同步至代码正式仓库。
作为本发明一个优先的实施例,代码集成方法具体为:
S1.开发人员建立一个集成任务并按预设的模式填写相应的预处理信息,预处理信息包括:源代码任务号、简介、描述、关联故障、评审人员等,同时提交源代码,提交代码前应优先使用本地的代码检查工具对源代码进行缺陷静态检查和代码规范检测,并在代码中添加适当的注释。
S2.对该集成任务的预处理信息进行强制验证,判断该集成任务的预处理信息结果是否通过验证;通过验证时,将该集成任务状态设置为验证成功状态,预处理单元存储该集成任务对应的源代码;未通过验证时,则将该集成任务状态设置为验证失败,禁止开发人员提交源代码,并返回错误提示信息;
具体为:预处理单元的服务器即SVN服务器检测到开发人员提交源代码,此时自动触发检测脚本运行,检测脚本对集成任务的预处理信息进行强制注释验证,查询预处理单元的数据库***中是否存在对应任务号;判断提交人员是否在数据库***的用户或用户组中;并判断预处理信息的总行数是否满足要求;判断验证结果是否通过,当验证结果通过时,可以进行步骤S3;当验证结果没有通过验证时,则返回错误提示,如“任务号无效”、“开发人员信息不正确”、“预处理信息总行数至少为6行”等提示信息至开发人员客户端,提醒开发人员进行重新修改提交。
S3.对源代码进行缺陷检查和代码规范检测,并通过不同的代码插件对源代码的错误进行再加工处理,从而实现源代码的前期质量管理;依据代码质量初审结果判断该源代码是否可以合入至集成代码,不能合入时,将该集成任务状态设置为验证失败,禁止开发人员提交源代码,并返回错误提示信息,邮件通知开发人员。
具体为:代码集成***可以针对主流的开发语言的源代码进行缺陷静态检查和代码规范检测,利用warnings、violations、checkstyle、findbugs、cppcheck、cpplint、flake8、pylint等代码检测工具或插件,对源代码进行缺陷静态检查和代码规范检测,得到量化的代码质量结果和报表,代码规范检测单元依据代码质量结果和报表判断该源代码是否可以合入至集成代码,不能合入时,将该代码集成***中的集成任务状态设置为验证失败,禁止开发人员提交源代码,并返回错误提示信息,邮件通知开发人员。
S4.按照该集成任务的预处理信息识别源代码在整个集成代码中的位置信息,同时生成一个评审任务,并将源代码合入集成代码生成一个新的集成代码,发送邮件通知代码评审人员;
具体为:预处理单元将预处理信息验证通过的源代码提交至代码规范检测单元,代码规范检测单元识别源代码在整个集成代码中的位置信息将源代码合入完成后,会自动更新一个代码合入的版本;同时代码规范检测单元自动触发脚本运行,脚本中使用curl开源文件传输工具触发代码规范检测单元构建一个评审任务。
S5.评审人员登陆代码集成***界面进行对新的集成代码进行代码评审,通过评审后,将新的集成代码更新至集成代码存储器,未通过评审时邮件告知开发人员评审意见。具体为:至少两位评审人员评审通过并同意提交后,将新的集成代码同步至代码正式仓库。
本领域的技术人员容易理解,以上所述仅为本发明的较佳实施例而已,并不用以限制本发明,凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明的保护范围之内。
Claims (10)
1.一种代码集成方法,其特征在于,具体为:
S1.建立集成任务,所述集成任务包括预处理信息的填写和源代码的提交;
S2.对所述集成任务的预处理信息进行验证,存储通过验证的集成任务对应的源代码;
S3.对所述存储的源代码进行缺陷检查和代码规范检测,生成源代码质量初审结果,并依据该源代码质量初审结果判断所述预处理信息验证通过的源代码是否可以合入集成代码;
S4.依据所述预处理信息验证通过的源代码在整个集成代码中的位置信息,将经判断可以合入的源代码合入集成代码并生成新的集成代码,同时生成对应的评审任务;
S5.存储通过评审后的新的集成代码。
2.根据权利要求1所述的一种代码集成方法,其特征在于,所述预处理信息包括任务号、开发人员信息、评审编号、评审人员信息、任务介绍和代码合入位置信息。
3.根据权利要求2所述的一种代码集成方法,其特征在于,步骤S2中对所述集成任务的预处理信息进行验证通过的条件为:预设的数据库中存在所述预处理信息的任务号和开发人员信息且所述预处理信息的总行数不小于预设值。
4.根据权利要求1-3中任一项所述的一种代码集成方法,其特征在于,步骤S4中评审任务的生成过程为:自动触发脚本curl开源文件传输工具构建一个评审任务。
5.根据权利要求1-4中任一项所述的一种代码集成方法,其特征在于,步骤S3中对预处理信息验证通过的源代码进行缺陷检查和代码规范检测的工具包括warnings、violations、checkstyle、findbugs、cppcheck、cpplint、flake8和pylint,还可以通过上述工具对预处理信息验证通过的源代码中的错误进行修正。
6.一种代码集成***,该***包括开发人员客户端、预处理单元、代码规范检测单元、评审交互单元、集成代码存储单元及评审人员客户端,预处理单元设置连接开发人员客户端、代码规范检测单元及评审交互单元,评审交互单元设置连接代码规范检测单元、集成代码存储单元及评审人员客户端,其特征在于,
开发人员客户端用于开发人员建立集成任务,所述集成任务包括预处理信息的填写和源代码的提交,并发送预处理信息给预处理单元;
预处理单元接收所述集成任务的预处理信息并进行验证,存储通过验证的所述集成任务对应的源代码并发送给代码规范检测单元;
代码规范检测单元对预处理信息验证通过的源代码进行缺陷检查和代码规范检测,生成源代码质量初审结果;依据所述源代码质量初审结果判断所述预处理信息验证通过的源代码是否可以合入集成代码,可以合入则代码规范检测单元将所述预处理信息验证通过的源代码和对应的预处理信息发送给评审交互单元;
评审交互单元接收所述预处理信息验证通过的源代码和对应的预处理信息,依据对应的预处理信息识别预处理信息验证通过的源代码在整个集成代码中的位置信息,依据所述位置信息将预处理信息验证通过的源代码合入集成代码生成一个新的集成代码;同时生成一个对应的评审任务;
评审人员客户端用于评审人员对新的集成代码进行代码评审,通过评审后存储新的集成代码至集成代码存储单元。
7.根据权利要求6所述的一种代码集成***,其特征在于,所述预处理信息包括任务号、开发人员信息、评审编号、评审人员信息、任务介绍和代码合入位置信息。
8.根据权利要求7所述的一种代码集成***,其特征在于,所述预处理单元对所述集成任务的预处理信息进行验证通过的条件为:预设的数据库中存在所述预处理信息的任务号和开发人员信息且所述预处理信息的总行数不小于预设值。
9.根据权利要求6-8中任一项所述的一种代码集成***,其特征在于,所述评审交互单元生成一个对应的评审任务的过程为:自动触发脚本curl开源文件传输工具构建一个评审任务。
10.根据权利要求6-9中任一项所述的一种代码集成***,其特征在于,所述代码规范检测单元对预处理信息验证通过的源代码进行缺陷检查和代码规范检测的工具包括warnings、violations、checkstyle、findbugs、cppcheck、cpplint、flake8和pylint,还可以通过上述工具对预处理信息验证通过的源代码中的错误进行修正。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810941860.3A CN109343890A (zh) | 2018-08-17 | 2018-08-17 | 一种代码集成方法及*** |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810941860.3A CN109343890A (zh) | 2018-08-17 | 2018-08-17 | 一种代码集成方法及*** |
Publications (1)
Publication Number | Publication Date |
---|---|
CN109343890A true CN109343890A (zh) | 2019-02-15 |
Family
ID=65294121
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810941860.3A Pending CN109343890A (zh) | 2018-08-17 | 2018-08-17 | 一种代码集成方法及*** |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109343890A (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110059953A (zh) * | 2019-04-16 | 2019-07-26 | 睿驰达新能源汽车科技(北京)有限公司 | 一种评审工作质量的评估方法及装置 |
CN110231937A (zh) * | 2019-05-20 | 2019-09-13 | 平安科技(深圳)有限公司 | 脚本缺陷扫描方法、装置、计算机设备和存储介质 |
CN111580802A (zh) * | 2020-04-30 | 2020-08-25 | 完美世界(北京)软件科技发展有限公司 | 持续集成方法、基于分布式编译的持续集成方法及*** |
CN113703730A (zh) * | 2021-08-30 | 2021-11-26 | 平安普惠企业管理有限公司 | 持续集成方法、装置、计算机设备及存储介质 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103336688A (zh) * | 2013-06-20 | 2013-10-02 | 中标软件有限公司 | 面向云计算软件研发过程中的软件集成方法及*** |
CN107015911A (zh) * | 2017-04-07 | 2017-08-04 | 广东亿迅科技有限公司 | 持续集成的代码评审方法及装置 |
-
2018
- 2018-08-17 CN CN201810941860.3A patent/CN109343890A/zh active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103336688A (zh) * | 2013-06-20 | 2013-10-02 | 中标软件有限公司 | 面向云计算软件研发过程中的软件集成方法及*** |
CN107015911A (zh) * | 2017-04-07 | 2017-08-04 | 广东亿迅科技有限公司 | 持续集成的代码评审方法及装置 |
Non-Patent Citations (1)
Title |
---|
佚名: ""gitlab+checkstyle实现代码上传时进⾏代码规范检查"", 《HTTPS://BLOG.CSDN.NET/U012465508/ARTICLE/DETAILS/80788557》 * |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110059953A (zh) * | 2019-04-16 | 2019-07-26 | 睿驰达新能源汽车科技(北京)有限公司 | 一种评审工作质量的评估方法及装置 |
CN110231937A (zh) * | 2019-05-20 | 2019-09-13 | 平安科技(深圳)有限公司 | 脚本缺陷扫描方法、装置、计算机设备和存储介质 |
CN111580802A (zh) * | 2020-04-30 | 2020-08-25 | 完美世界(北京)软件科技发展有限公司 | 持续集成方法、基于分布式编译的持续集成方法及*** |
CN111580802B (zh) * | 2020-04-30 | 2024-03-22 | 完美世界(北京)软件科技发展有限公司 | 持续集成方法、基于分布式编译的持续集成方法及*** |
CN113703730A (zh) * | 2021-08-30 | 2021-11-26 | 平安普惠企业管理有限公司 | 持续集成方法、装置、计算机设备及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109343890A (zh) | 一种代码集成方法及*** | |
US11354301B2 (en) | Multi-system operation audit log | |
Bartocci et al. | First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 | |
Grieskamp et al. | Model‐based quality assurance of protocol documentation: tools and methodology | |
US20100192006A1 (en) | Database change verifier | |
US20190317760A1 (en) | Interactive And Dynamic Search Based Approach To Software Refactoring Recommendations | |
CN111783103A (zh) | 基于Maven的依赖管理方法、装置、电子装置及存储介质 | |
Güdemann et al. | Counterexample guided synthesis of monitors for realizability enforcement | |
Terra et al. | A recommendation system for repairing violations detected by static architecture conformance checking | |
US20180018165A1 (en) | Source code transfer control method, computer program therefor, and recording medium therefor | |
CN106294171A (zh) | 产品自动部署的测试***、方法和装置 | |
Giannakopoulou et al. | Behaviour analysis of distributed systems using the tracta approach | |
US20190386909A1 (en) | Method and program product for a private performance network with geographical load simulation | |
CN104598218A (zh) | 用于合并和重用门户信息的方法和*** | |
CN107506408A (zh) | 对海量事件分布式关联匹配的方法及*** | |
Vargas et al. | Enabling real-time feedback in software engineering | |
CN116186716A (zh) | 一种面向持续集成部署的安全分析方法及装置 | |
Maffort et al. | Mining architectural patterns using association rules | |
Ouederni et al. | Measuring the compatibility of service interaction protocols | |
Roa et al. | Specification of behavioral anti-patterns for the verification of block-structured collaborative business processes | |
Siavvas et al. | The IoTAC software security-by-design platform: Concept, challenges, and preliminary overview | |
CN116596510A (zh) | 一种运维故障管理方法、***、终端设备及存储介质 | |
Salaün | Quantifying the similarity of non-bisimilar labelled transition systems | |
Suliman et al. | Blockcheck: A consortium blockchain-based conformance checking framework for business processes | |
AU2019222794A1 (en) | Method and system for testing and validation of cryptographic algorithms |
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: 20190215 |