CN114546858A - 基于物业行业的接口自动化测试平台 - Google Patents

基于物业行业的接口自动化测试平台 Download PDF

Info

Publication number
CN114546858A
CN114546858A CN202210164866.0A CN202210164866A CN114546858A CN 114546858 A CN114546858 A CN 114546858A CN 202210164866 A CN202210164866 A CN 202210164866A CN 114546858 A CN114546858 A CN 114546858A
Authority
CN
China
Prior art keywords
module
interface
output
input
control connection
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.)
Granted
Application number
CN202210164866.0A
Other languages
English (en)
Other versions
CN114546858B (zh
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.)
Linjiu Wisdom Guangdong Technology Co ltd
Original Assignee
Linjiu Wisdom Guangdong Technology Co ltd
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 Linjiu Wisdom Guangdong Technology Co ltd filed Critical Linjiu Wisdom Guangdong Technology Co ltd
Priority to CN202210164866.0A priority Critical patent/CN114546858B/zh
Publication of CN114546858A publication Critical patent/CN114546858A/zh
Application granted granted Critical
Publication of CN114546858B publication Critical patent/CN114546858B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • 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/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3684—Test management for test design, e.g. generating new test cases
    • 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/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/602—Providing cryptographic facilities or services
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06K—GRAPHICAL DATA READING; PRESENTATION OF DATA; RECORD CARRIERS; HANDLING RECORD CARRIERS
    • G06K17/00—Methods or arrangements for effecting co-operative working between equipments covered by two or more of main groups G06K1/00 - G06K15/00, e.g. automatic card files incorporating conveying and reading operations
    • G06K17/0022—Methods or arrangements for effecting co-operative working between equipments covered by two or more of main groups G06K1/00 - G06K15/00, e.g. automatic card files incorporating conveying and reading operations arrangements or provisions for transferring data to distant stations, e.g. from a sensing device
    • G06K17/0025—Methods or arrangements for effecting co-operative working between equipments covered by two or more of main groups G06K1/00 - G06K15/00, e.g. automatic card files incorporating conveying and reading operations arrangements or provisions for transferring data to distant stations, e.g. from a sensing device the arrangement consisting of a wireless interrogation device in combination with a device for optically marking the record carrier

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computer Security & Cryptography (AREA)
  • Software Systems (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明公开了基于物业行业的接口自动化测试平台，包括创建输入模块、传输调用模块、后台数据模块、输出整合模块和用例测试模块；该发明安全、可靠，测试平台通过对功能测试、界面测试、性能测试和兼容性测试，实现全面测试的目的；该自动化测试平台支持支持全流程用例录入，同时支持一个项目，一个模块的所有用例测试，该平台同时支持xmind用例管理以及自动录入自动化测试用例功能，在输入框输入整个接口信息，点击提交就可以自动生成一条自动化测试用例；且具有扫码进行巡逻检查的功能，通过接口搜索模块、扫码输入模块、调用分析模块实现通过接口获取对应的二维码信息，并通过接口自动扫码完成任务。

Description

基于物业行业的接口自动化测试平台
技术领域
本发明涉及物业系统测试技术领域，具体为基于物业行业的接口自动化测试平台。
背景技术
由于物业管理平台在搭建完成后，需要专业测试人员进行测试，市场上对于物业行业的接口测试平台的使用有了一定的要求；但是，现有的测试平台较为简单，不够全面，且自动化程度较低，影响使用；因此，现阶段发明出基于物业行业的接口自动化测试平台是非常有必要的。
发明内容
本发明的目的在于提供基于物业行业的接口自动化测试平台，以解决上述背景技术中提出现有的测试平台较为简单，不够全面的问题。
为实现上述目的，本发明提供如下技术方案：基于物业行业的接口自动化测试平台，包括创建输入模块、传输调用模块、后台数据模块、输出整合模块和用例测试模块，所述创建输入模块的输出端与传输调用模块的输入端控制连接，传输调用模块的输出端分别与后台数据模块和输出整合模块的输入端控制连接，且后台数据模块和输出整合模块的输出端均与传输调用模块的输入端控制连接，输出整合模块的输出端与用例测试模块的输入端控制连接，创建输入模块由项目创建模块、代码编写模块、自动检测模块、用例整合模块、第一用例输出模块和自检反馈模块组成，项目创建模块的输出端与代码编写模块的输入端控制连接，代码编写模块的输出端与自动检测模块的输入端控制连接，且自动检测模块的输出端分别与用例整合模块和自检反馈模块的输入端控制连接，自检反馈模块的输出端与代码编写模块的输入端控制连接，用例整合模块的输出端与第一用例输出模块的输入端控制连接。
优选的，所述后台数据模块由用例接收模块、接口生成模块、数据加密模块、二维码添加模块、接口整合模块、接口存储模块、复合接口模块和接口搜索模块组成。
根据权利要求1所述的基于物业行业的接口自动化测试平台，其特征在于：所述用例接收模块的输出端分别与接口生成模块和数据加密模块的输入端控制连接，接口整合模块的输入端分别与接口生成模块和二维码添加模块的输出端控制连接，且二维码添加模块的输入端与数据加密模块的输出端控制连接，接口整合模块的输出端与接口存储模块的输入端控制连接，接口存储模块的输出端与复合接口模块的输入端控制连接，接口搜索模块的输出端分别与接口存储模块、复合接口模块的输入端控制连接，复合接口模块的输入端分别与二维码添加模块和接口整合模块的输出端控制连接。
优选的，所述输出整合模块由指令输入模块、扫码输入模块、调用分析模块、接口调用模块、审核提交模块、审核反馈模块、逻辑生成模块、数据解码模块、用例生成模块和第二用例输出模块组成。
优选的，所述指令输入模块和扫码输入模块的输出端均与调用分析模块的输入端控制连接，调用分析模块的输出端与接口调用模块的输入端控制连接，接口调用模块的输出端与审核提交模块的输入端控制连接，审核提交模块的输出端分别与审核反馈模块和逻辑生成模块的输入端控制连接，且审核反馈模块的输出端与调用分析模块的输入端控制连接，逻辑生成模块的输入端与数据解码模块的输入端控制连接，数据解码模块的输出端与用例生成模块的输入端控制连接，用例生成模块的输出端与第二用例输出模块的输入端控制连接。
优选的，所述用例测试模块由功能测试模块、边界测试模块、异常测试模块、性能测试模块、安全测试模块、测试反馈模块和测试输出模块组成。
优选的，所述功能测试模块、边界测试模块、异常测试模块、性能测试模块和安全测试模块的输出端均与测试反馈模块的输入端控制连接，测试反馈模块的输出端与测试输出模块的输入端控制连接。
与现有技术相比，本发明的有益效果是：该发明安全、可靠，测试平台通过对功能测试、界面测试、性能测试和兼容性测试，实现全面测试的目的；平台搭建完成后，测试人员只需要创建项目、模块后就可以编写对应的测试用例，由于是接口自动化测试，因此测试人员只需要通过抓包或者开发的接口文档就可以知道接口的相关信息，进行录入；且该自动化测试平台支持支持全流程用例录入，同时支持一个项目，一个模块的所有用例测试，该平台同时支持xmind用例管理以及自动录入自动化测试用例功能，在输入框输入整个接口信息，点击提交就可以自动生成一条自动化测试用例；且具有扫码进行巡逻检查的功能，通过接口搜索模块、扫码输入模块、调用分析模块实现通过接口获取对应的二维码信息，并通过接口自动扫码完成任务。
附图说明
图1为本发明的系统框架图；
图2为本发明的系统模块结构示意图；
图3为本发明的系统流程图；
图4为本发明的用例创建示意图；
图5为本发明的测试报告示意图；
图中：1、创建输入模块；2、传输调用模块；3、后台数据模块；4、输出整合模块；5、用例测试模块；101、项目创建模块；102、代码编写模块；103、自动检测模块；104、用例整合模块；105、第一用例输出模块；106、自检反馈模块；301、用例接收模块；302、接口生成模块；303、数据加密模块；304、二维码添加模块；305、接口整合模块；306、接口存储模块；307、复合接口模块；308、接口搜索模块；401、指令输入模块；402、扫码输入模块；403、调用分析模块；404、接口调用模块；405、审核提交模块；406、审核反馈模块；407、逻辑生成模块；408、数据解码模块；409、用例生成模块；410、第二用例输出模块；501、功能测试模块；502、边界测试模块；503、异常测试模块；504、性能测试模块；505、安全测试模块；506、测试反馈模块；507、测试输出模块。
具体实施方式
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
请参阅图1-5，本发明提供的一种实施例：基于物业行业的接口自动化测试平台，包括创建输入模块1、传输调用模块2、后台数据模块3、输出整合模块4和用例测试模块5，创建输入模块1的输出端与传输调用模块2的输入端控制连接，传输调用模块2的输出端分别与后台数据模块3和输出整合模块4的输入端控制连接，且后台数据模块3和输出整合模块4的输出端均与传输调用模块的输入端控制连接2，输出整合模块4的输出端与用例测试模块5的输入端控制连接，创建输入模块1由项目创建模块101、代码编写模块102、自动检测模块103、用例整合模块104、第一用例输出模块105和自检反馈模块106组成，项目创建模块101的输出端与代码编写模块102的输入端控制连接，代码编写模块102的输出端与自动检测模块103的输入端控制连接，且自动检测模块103的输出端分别与用例整合模块104和自检反馈模块106的输入端控制连接，自检反馈模块106的输出端与代码编写模块102的输入端控制连接，用例整合模块104的输出端与第一用例输出模块105的输入端控制连接；后台数据模块3由用例接收模块301、接口生成模块302、数据加密模块303、二维码添加模块304、接口整合模块305、接口存储模块306、复合接口模块307和接口搜索模块308组成；用例接收模块301的输出端分别与接口生成模块302和数据加密模块303的输入端控制连接，接口整合模块305的输入端分别与接口生成模块302和二维码添加模块304的输出端控制连接，且二维码添加模块304的输入端与数据加密模块303的输出端控制连接，接口整合模块305的输出端与接口存储模块306的输入端控制连接，接口存储模块306的输出端与复合接口模块307的输入端控制连接，接口搜索模块308的输出端分别与接口存储模块306、复合接口模块307的输入端控制连接，复合接口模块307的输入端分别与二维码添加模块304和接口整合模块305的输出端控制连接；输出整合模块4由指令输入模块401、扫码输入模块402、调用分析模块403、接口调用模块404、审核提交模块405、审核反馈模块406、逻辑生成模块407、数据解码模块408、用例生成模块409和第二用例输出模块410组成；指令输入模块401和扫码输入模块402的输出端均与调用分析模块403的输入端控制连接，调用分析模块403的输出端与接口调用模块404的输入端控制连接，接口调用模块404的输出端与审核提交模块405的输入端控制连接，审核提交模块405的输出端分别与审核反馈模块406和逻辑生成模块407的输入端控制连接，且审核反馈模块406的输出端与调用分析模块403的输入端控制连接，逻辑生成模块407的输入端与数据解码模块408的输入端控制连接，数据解码模块408的输出端与用例生成模块409的输入端控制连接，用例生成模块409的输出端与第二用例输出模块410的输入端控制连接；用例测试模块5由功能测试模块501、边界测试模块502、异常测试模块503、性能测试模块504、安全测试模块505、测试反馈模块506和测试输出模块507组成；功能测试模块501、边界测试模块502、异常测试模块503、性能测试模块504和安全测试模块505的输出端均与测试反馈模块506的输入端控制连接，测试反馈模块506的输出端与测试输出模块507的输入端控制连接。
工作原理：使用该基于物业行业的接口自动化测试平台时，创建输入模块1用于测试人员创建项目和先用的运行单元，项目创建模块101用于测试人员创建项目和运行单元，代码编写模块102用于测试人员编写对应的测试用例代码，用例整合模块104用于将创建的项目及运行单元与用例代码整合起来，第一用例输出模块105用于测试人员将编写好的测试用例输出导入数据存储模块，用例接收模块301用于接收包含接口的相关文档及数据信息，接口生成模块302用于测试人员抓包，调用要使用的接口数据信息，并对信息的整合，数据加密模块303用于对整合后接口中的用例数据进行加密，二维码添加模块304用于对整合后的接口添加专有的识别二维码，接口存储模块306用于存储整合过的接口信息数据，指令输入模块401用于输入搜索的接口信息，扫码输入模块402用于扫描提供的二维码信息，调用分析模块403用于根据输入的搜索内容进行分析，判定需要调用的接口，接口调用模块404用于从后台数据库中调用对应的接口数据，审核提交模块405用于用户在模块中审核调用的接口是否完整及正确，审核反馈模块406用于对不完整及调用错误的问题进行反馈，之后由指令输出模块重新分析调用，逻辑生成模块407用于根据调用的接口信息自动生成一条自动化测试用例，数据解码模块408用于解码数据，用例生成模块409用于生成用例，第二用例输出模块410用于输出用例，功能测试模块501、边界测试模块502、异常测试模块503、性能测试模块504、安全测试模块505用于实现功能测试、界面测试、性能测试和兼容性测试，测试反馈模块506用于反馈测试结果，测试输出模块507用于输出生成测试Bug单。
对于本领域技术人员而言，显然本发明不限于上述示范性实施例的细节，而且在不背离本发明的精神或基本特征的情况下，能够以其他的具体形式实现本发明。因此，无论从哪一点来看，均应将实施例看作是示范性的，而且是非限制性的，本发明的范围由所附权利要求而不是上述说明限定，因此旨在将落在权利要求的等同要件的含义和范围内的所有变化囊括在本发明内。不应将权利要求中的任何附图标记视为限制所涉及的权利要求。

Claims (7)

1.基于物业行业的接口自动化测试平台，包括创建输入模块（1）、传输调用模块（2）、后台数据模块（3）、输出整合模块（4）和用例测试模块（5），其特征在于：所述创建输入模块（1）的输出端与传输调用模块（2）的输入端控制连接，传输调用模块（2）的输出端分别与后台数据模块（3）和输出整合模块（4）的输入端控制连接，且后台数据模块（3）和输出整合模块（4）的输出端均与传输调用模块的输入端控制连接（2），输出整合模块（4）的输出端与用例测试模块（5）的输入端控制连接，创建输入模块（1）由项目创建模块（101）、代码编写模块（102）、自动检测模块（103）、用例整合模块（104）、第一用例输出模块（105）和自检反馈模块（106）组成，项目创建模块（101）的输出端与代码编写模块（102）的输入端控制连接，代码编写模块（102）的输出端与自动检测模块（103）的输入端控制连接，且自动检测模块（103）的输出端分别与用例整合模块（104）和自检反馈模块（106）的输入端控制连接，自检反馈模块（106）的输出端与代码编写模块（102）的输入端控制连接，用例整合模块（104）的输出端与第一用例输出模块（105）的输入端控制连接。
2.根据权利要求1所述的基于物业行业的接口自动化测试平台，其特征在于：所述后台数据模块（3）由用例接收模块（301）、接口生成模块（302）、数据加密模块（303）、二维码添加模块（304）、接口整合模块（305）、接口存储模块（306）、复合接口模块（307）和接口搜索模块（308）组成。
3.根据权利要求2所述的基于物业行业的接口自动化测试平台，其特征在于：所述用例接收模块（301）的输出端分别与接口生成模块（302）和数据加密模块（303）的输入端控制连接，接口整合模块（305）的输入端分别与接口生成模块（302）和二维码添加模块（304）的输出端控制连接，且二维码添加模块（304）的输入端与数据加密模块（303）的输出端控制连接，接口整合模块（305）的输出端与接口存储模块（306）的输入端控制连接，接口存储模块（306）的输出端与复合接口模块（307）的输入端控制连接，接口搜索模块（308）的输出端分别与接口存储模块（306）、复合接口模块（307）的输入端控制连接，复合接口模块（307）的输入端分别与二维码添加模块（304）和接口整合模块（305）的输出端控制连接。
4.根据权利要求1所述的基于物业行业的接口自动化测试平台，其特征在于：所述输出整合模块（4）由指令输入模块（401）、扫码输入模块（402）、调用分析模块（403）、接口调用模块（404）、审核提交模块（405）、审核反馈模块（406）、逻辑生成模块（407）、数据解码模块（408）、用例生成模块（409）和第二用例输出模块（410）组成。
5.根据权利要求4所述的基于物业行业的接口自动化测试平台，其特征在于：所述指令输入模块（401）和扫码输入模块（402）的输出端均与调用分析模块（403）的输入端控制连接，调用分析模块（403）的输出端与接口调用模块（404）的输入端控制连接，接口调用模块（404）的输出端与审核提交模块（405）的输入端控制连接，审核提交模块（405）的输出端分别与审核反馈模块（406）和逻辑生成模块（407）的输入端控制连接，且审核反馈模块（406）的输出端与调用分析模块（403）的输入端控制连接，逻辑生成模块（407）的输入端与数据解码模块（408）的输入端控制连接，数据解码模块（408）的输出端与用例生成模块（409）的输入端控制连接，用例生成模块（409）的输出端与第二用例输出模块（410）的输入端控制连接。
6.根据权利要求1所述的基于物业行业的接口自动化测试平台，其特征在于：所述用例测试模块（5）由功能测试模块（501）、边界测试模块（502）、异常测试模块（503）、性能测试模块（504）、安全测试模块（505）、测试反馈模块（506）和测试输出模块（507）组成。
7.根据权利要求6所述的基于物业行业的接口自动化测试平台，其特征在于：所述功能测试模块（501）、边界测试模块（502）、异常测试模块（503）、性能测试模块（504）和安全测试模块（505）的输出端均与测试反馈模块（506）的输入端控制连接，测试反馈模块（506）的输出端与测试输出模块（507）的输入端控制连接。
CN202210164866.0A 2022-02-23 2022-02-23 基于物业行业的接口自动化测试平台 Active CN114546858B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202210164866.0A CN114546858B (zh) 2022-02-23 2022-02-23 基于物业行业的接口自动化测试平台

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202210164866.0A CN114546858B (zh) 2022-02-23 2022-02-23 基于物业行业的接口自动化测试平台

Publications (2)

Publication Number Publication Date
CN114546858A true CN114546858A (zh) 2022-05-27
CN114546858B CN114546858B (zh) 2024-04-30

Family

ID=81677471

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202210164866.0A Active CN114546858B (zh) 2022-02-23 2022-02-23 基于物业行业的接口自动化测试平台

Country Status (1)

Country Link
CN (1) CN114546858B (zh)

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104809056A (zh) * 2014-01-27 2015-07-29 阿里巴巴集团控股有限公司 一种接口测试代码的生成方法和装置
US20160062861A1 (en) * 2014-09-01 2016-03-03 Dspace Digital Signal Processing And Control Engineering Gmbh Method for connecting an input/output interface of a testing device equipped for testing a control unit
CN109408357A (zh) * 2017-12-04 2019-03-01 深圳市珍爱网信息技术有限公司 一种接口自动化测试方法及装置
CN110362497A (zh) * 2019-07-23 2019-10-22 上海金融期货信息技术有限公司 覆盖全异常字符的自动化api接口测试方法和系统
KR20200129232A (ko) * 2019-05-07 2020-11-18 한국정보통신기술협회 의료용 소프트웨어를 위한 테스트 자동화 프레임워크 시스템 및 테스트 자동화 방법
CN112506807A (zh) * 2021-02-07 2021-03-16 上海洋漪信息技术有限公司 服务于多系统的接口自动化测试系统
CN113312256A (zh) * 2021-05-21 2021-08-27 上海振华重工(集团)股份有限公司 一种自动化码头系统接口自动化测试系统和方法

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN104809056A (zh) * 2014-01-27 2015-07-29 阿里巴巴集团控股有限公司 一种接口测试代码的生成方法和装置
US20160062861A1 (en) * 2014-09-01 2016-03-03 Dspace Digital Signal Processing And Control Engineering Gmbh Method for connecting an input/output interface of a testing device equipped for testing a control unit
CN109408357A (zh) * 2017-12-04 2019-03-01 深圳市珍爱网信息技术有限公司 一种接口自动化测试方法及装置
KR20200129232A (ko) * 2019-05-07 2020-11-18 한국정보통신기술협회 의료용 소프트웨어를 위한 테스트 자동화 프레임워크 시스템 및 테스트 자동화 방법
CN110362497A (zh) * 2019-07-23 2019-10-22 上海金融期货信息技术有限公司 覆盖全异常字符的自动化api接口测试方法和系统
CN112506807A (zh) * 2021-02-07 2021-03-16 上海洋漪信息技术有限公司 服务于多系统的接口自动化测试系统
CN113312256A (zh) * 2021-05-21 2021-08-27 上海振华重工(集团)股份有限公司 一种自动化码头系统接口自动化测试系统和方法

Also Published As

Publication number Publication date
CN114546858B (zh) 2024-04-30

Similar Documents

Publication Publication Date Title
Zhou et al. Analyzing APIs documentation and code to detect directive defects
Rosenblum A practical approach to programming with assertions
Le Goues et al. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
Lochau et al. Model-based pairwise testing for feature interaction coverage in software product line engineering
CN103092761B (zh) 基于差异信息文件识别和检查修改代码块的方法及装置
US20080313616A1 (en) Methods and systems for testing tool with comparative testing
US20130125098A1 (en) Transformation of Computer Programs
Andrews et al. Broad-spectrum studies of log file analysis
CN108062276A (zh) 测试用例的生成方法及装置和测试报告的生成方法及装置
CN111475422A (zh) 一种基于Jenkins工具的依赖检查方法
Feichtinger et al. Guiding feature model evolution by lifting code-level dependencies
CN112380112A (zh) 一种Java自动形式化建模检测验证方法及系统
Blanchard et al. A lesson on verification of IoT software with Frama-C
CN111475408A (zh) 一种基于代码检查工具的质量管理方法
CN114546858A (zh) 基于物业行业的接口自动化测试平台
CN115291855A (zh) 一种基于互联网信息的软件开发设计系统
Nagoya et al. A tool and case study for specification-based program review
Gimatdinov et al. An automated framework for testing source code static analysis tools
Khojah et al. Evaluating the Trade-offs of Text-based Diversity in Test Prioritisation
Gerogiannis et al. A general framework for applying safety analysis to safety critical real-time applications using fault trees
Schröder et al. An Exploratory Study of Ad Hoc Parsers in Python
van der Berg et al. Formal semantics and tool support for a syntactically restricted dialect of SOFL
Lam A Framework-Driven Comparison of Automata-Based Tools for Identifying Business Rule Conflicts
Aredo Formal Development of Open Distributed Systems: Integration of UML and PVS
Yang et al. On the Code Vulnerability Detection Based on Deep Learning: A Comparative Study

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
GR01 Patent grant
GR01 Patent grant