【技术实现步骤摘要】
本专利技术提出了一种基于形式化验证的低代码应用正确性验证方法和系统，属于低代码应用的验证。
技术介绍
1、目前，使用低代码平台构建应用系统的过程存在一些挑战，其中一个重要问题是缺乏验证低代码流程正确性的方法。这导致了以下问题：
2、试错成本高：因为没有一种有效的方法来验证低代码流程的正确性，开发人员不得不依赖于尝试运行来发现问题。这会导致高昂的试错成本，因为在应用程序的运行阶段才能发现问题，可能需要更多的时间和资源来修复。
3、错误发现晚：在没有验证机制的情况下，问题通常是在开发后阶段才被发现。这意味着错误可能已经深入到应用系统中，需要更多的工作来解决，同时也会引发项目的延迟。
4、缺乏早期反馈：没有验证方法，开发人员无法在应用程序构建的早期阶段获得反馈。这意味着他们可能会在后期发现问题，这时解决问题的成本更高。
5、潜在风险：低代码平台的低门槛使更多人可以参与应用程序开发，但缺乏验证方法可能导致低质量的应用程序。例如，死循环、分支错误和错误使用节点等问题可能会导致不稳定的应用程序。
技术实现思路
1、本专利技术提供了一种基于形式化验证的低代码应用正确性验证方法和系统，用以解决现有技术中存在的上述问题，所采取的技术方案如下：
2、一种基于形式化验证的低代码应用正确性验证方法，所述基于形式化验证的低代码应用正确性验证方法包括：
3、提取低代码应用的流程，针对所述低代码应用的流程设置形式化模型；
4、对
5、提取不符合性能需求的测试项目，并针对测试项目进行性能不合格等级划分，获得不合格等级。
6、进一步地，提取低代码应用的流程，针对所述低代码应用的流程设置形式化模型，包括：
7、调取待处理的低代码应用；
8、提取所述低代码应用的任务处理流程；
9、通过所述低代码应用的任务处理流程确定所述任务处理流程中所包含的各个任务处理节点；
10、通过所述低代码应用的任务处理流程确定所述任务处理流程的任务处理逻辑；
11、利用所述任务处理流程中所包含的各个任务处理节点和任务处理流程的任务处理逻辑设置与所述任务处理流程对应的形式化模型；
12、其中，所述形式化模型为有向图、状态机和petri网中的任一一种。
13、进一步地，对所述形式化模型进行验证，根据验证结果确定低代码应用是否满足性能需求，并在所述验证结果表明低代码应用不满足性能需求时，对低代码应用进行测能测试，获得不符合性能需求的测试项目，包括：
14、从工具库中调取验证工具，其中，所述验证工具包括spin、nusmv，或其他形式化验证工具；
15、利用验证工具对所述形式化模型进行验证，获得验证结果；
16、当所述验证结果表明当前低代码应用验证成功时，则表明所述低代码应用符合性能需求；
17、当所述验证结果表明当前低代码应用验证失败时，则表明所述低代码应用不符合性能需求；
18、当所述所述验证结果表明当前低代码应用验证失败时，对所述低代码应用进行性能测试，获得造成所述低代码应用不符合性能需求的测试项目。
19、进一步地，当所述所述验证结果表明当前低代码应用验证失败时，对所述低代码应用进行性能测试，获得造成所述低代码应用不符合性能需求的测试项目，包括：
20、定义低代码应用的性能需求的测试项目，其中，所述性能需求的测试项目包括响应时间、吞吐量和资源利用率；
21、根据所述低代码应用的性能需求生成测试计划方案；
22、将所述性能测试的测试环境模拟调整为生产环境；
23、按照生成的所述测试计划方案在模拟调整的生产环境中进行性能测试，获得所述响应时间、吞吐量和资源利用率对应的测试参数；
24、将所述响应时间、吞吐量和资源利用率对应的测试参数分别与响应时间、吞吐量和资源利用率对应的预设参数阈值进行比较，获得比较结果；
25、提取所述比较结果中不符合参数阈值要求对应的性能需求中的项目；
26、将所述比较结果中不符合参数阈值要求对应的性能需求中的项目进行上报。
27、进一步地，提取不符合性能需求的测试项目，并针对测试项目进行性能不合格等级划分，获得不合格等级，包括：
28、提取不符合性能需求的测试项目；
29、根据不符合性能需求的测试项目对应的检测数值和预设参数阈值之间的关系，获取不符合性能需求的测试项目的评估参数；其中，所述评估参数通过如下公式获取：
30、e＝[1-(w-w0)/w0+ep-1]×e0
31、其中，e表示评估参数；w表示不符合性能需求的测试项目对应的检测数值；w0表示不符合性能需求的测试项目对应的预设参数阈值；e表示常数；p表示资源利用率；e0表示预设的参数基准值；
32、将所述评估参数与预设的第一参数阈值和第二参数阈值进行比较；
33、当所述评估参数低于预设的第一参数阈值时，则表明不合格等级为很差；
34、当所述评估参数不低于预设的第一参数阈值，但是，低于预设的第二参数阈值时，则表明不合格等级为差；
35、当所述评估参数不低于预设的第二参数阈值时，则表明不合格等级为一般。
36、一种基于形式化验证的低代码应用正确性验证系统，所述基于形式化验证的低代码应用正确性验证系统包括：
37、形式化模型设置模块，用于提取低代码应用的流程，针对所述低代码应用的流程设置形式化模型；
38、验证及性能测试模块，用于对所述形式化模型进行验证，根据验证结果确定低代码应用是否满足性能需求，并在所述验证结果表明低代码应用不满足性能需求时，对低代码应用进行测能测试，获得不符合性能需求的测试项目；
39、项目提取及等级划分模块，用于提取不符合性能需求的测试项目，并针对测试项目进行性能不合格等级划分，获得不合格等级。
40、进一步地，所述形式化模型设置模块包括：
41、低代码应用调取模块，用于调取待处理的低代码应用；
42、任务处理流程提取模块，用于提取所述低代码应用的任务处理流程；
43、任务处理节点获取模块，用于通过所述低代码应用的任务处理流程确定所述任务处理流程中所包含的各个任务处理节点；
44、任务处理逻辑确定模块，用于通过所述低代码应用的任务处理流程确定所述任务处理流程的任务处理逻辑；
45、形式化模型形成模块，用于利用所述任务处理流程中所包含的各个任务处理节点和任务处理流程的任务处理逻辑设置与所述任务处理流程对应的形式化模型；
46、其中，所述形式本文档来自技高网...
【技术保护点】
1.一种基于形式化验证的低代码应用正确性验证方法，其特征在于，所述基于形式化验证的低代码应用正确性验证方法包括：
2.根据权利要求1所述基于形式化验证的低代码应用正确性验证方法，其特征在于，提取低代码应用的流程，针对所述低代码应用的流程设置形式化模型，包括：
3.根据权利要求1所述基于形式化验证的低代码应用正确性验证方法，其特征在于，对所述形式化模型进行验证，根据验证结果确定低代码应用是否满足性能需求，并在所述验证结果表明低代码应用不满足性能需求时，对低代码应用进行测能测试，获得不符合性能需求的测试项目，包括：
4.根据权利要求3所述基于形式化验证的低代码应用正确性验证方法，其特征在于，当所述所述验证结果表明当前低代码应用验证失败时，对所述低代码应用进行性能测试，获得造成所述低代码应用不符合性能需求的测试项目，包括：
5.根据权利要求1所述基于形式化验证的低代码应用正确性验证方法，其特征在于，提取不符合性能需求的测试项目，并针对测试项目进行性能不合格等级划分，获得不合格等级，包括：
6.一种基于形式化验证的低代码应用正确
7.根据权利要求6所述基于形式化验证的低代码应用正确性验证系统，其特征在于，所述形式化模型设置模块包括：
8.根据权利要求6所述基于形式化验证的低代码应用正确性验证系统，其特征在于，所述验证及性能测试模块包括：
9.根据权利要求8所述基于形式化验证的低代码应用正确性验证系统，其特征在于，所述性能测试执行模块包括：
10.根据权利要求6所述基于形式化验证的低代码应用正确性验证系统，其特征在于，所述项目提取及等级划分模块包括：
...【技术特征摘要】
1.一种基于形式化验证的低代码应用正确性验证方法，其特征在于，所述基于形式化验证的低代码应用正确性验证方法包括：
2.根据权利要求1所述基于形式化验证的低代码应用正确性验证方法，其特征在于，提取低代码应用的流程，针对所述低代码应用的流程设置形式化模型，包括：
3.根据权利要求1所述基于形式化验证的低代码应用正确性验证方法，其特征在于，对所述形式化模型进行验证，根据验证结果确定低代码应用是否满足性能需求，并在所述验证结果表明低代码应用不满足性能需求时，对低代码应用进行测能测试，获得不符合性能需求的测试项目，包括：
4.根据权利要求3所述基于形式化验证的低代码应用正确性验证方法，其特征在于，当所述所述验证结果表明当前低代码应用验证失败时，对所述低代码应用进行性能测试，获得造成所述低代码应用不符合性能需求的测试项目，包括：
<...【专利技术属性】
技术研发人员：兰雨晴，余丹，邢智涣，
申请(专利权)人：慧之安信息技术股份有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。