-
公开(公告)号：CN110515856B
公开(公告)日：2021-01-29
申请号：CN201910824130.X
申请日：2019-09-02
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种基于动态符号执行的测试用例生成系统，包括：解析模块，用于根据输入的结构化文本ST源程序得到抽象语法树；控制流图生成模块，用于生成控制流图；动态符号执行模块，用于根据控制流图对变量属性和标准函数进行建模，生成初始测试用例，代入控制流图中执行，得到已覆盖路径，获取约束集，根据约束集确定候选路径池，选择一条作为执行路径；约束求解模块，用于对执行路径上的约束集进行转换后求解，得到新的测试用例；统计和输出模块，用于输出所有测试用例和覆盖率信息。通过使用动态符号执行能够简单，快捷地生成测试用例，减少人为因素导致的不良影响；能够得到高质量的测试用例和正确的覆盖率信息，自动化程度高，人工成本低。
-
公开(公告)号：CN110515857A
公开(公告)日：2019-11-29
申请号：CN201910824781.9
申请日：2019-09-02
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种动态符号执行的测试用例生成方法，包括：根据输入的结构化文本ST源程序生成控制流图；根据控制流图对变量属性和标准函数进行建模，生成初始测试用例，代入控制流图中执行得到已覆盖路径，获取约束集，根据约束集确定候选路径池选择一条作为执行路径；根据建模后的标准功能块、标准函数、变量属性以及转换规则，对执行路径上的约束集进行转换后求解，得到新的测试用例；保存一个输入源程序得到的所有测试用例，根据已覆盖路径确定覆盖率信息，输出测试用例和覆盖率信息。通过使用动态符号执行能够简单，快捷地生成测试用例，减少人为因素导致的不良影响；能够得到高质量的测试用例和正确的覆盖率信息，自动化程度高，人工成本低。
-
公开(公告)号：CN110417755A
公开(公告)日：2019-11-05
申请号：CN201910626439.8
申请日：2019-07-11
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明涉及工业控制系统、深度对抗学习、模糊测试领域，特别涉及一种基于生成对抗网络的工控协议漏洞挖掘方法。包括：深度对抗学习，生成模糊测试数据；攻击测试，把深度对抗学习生成的模糊测试数据注入到系统中，并记录系统的异常反馈，挖掘该系统的漏洞。本发明通过将模糊测试技术与深度对抗学习技术相结合，实现高效，自主的学习通讯数据的格式，并生成带有变异的模糊测试数据，这种技术将极大减轻漏洞挖掘中人的负担，做到高效且智能。
-
公开(公告)号：CN111209203A
公开(公告)日：2020-05-29
申请号：CN202010011065.1
申请日：2020-01-06
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于源代码的模型验证方法，所述方法包括：获取目标源代码；根据AADL建模技术将所述目标源代码进行建模后生成AADL模型；基于预设转换方式将所述AADL模型转换生成时间自动机模型；利用预设模型检测器对所述时间自动机模型进行检查。因此，采用本申请实施例，可以提高验证效率。
-
公开(公告)号：CN111224824B
公开(公告)日：2021-05-04
申请号：CN202010011040.1
申请日：2020-01-06
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明公开了一种边缘自治模型构建方法，所述方法包括：获取应用场景的数据信息；根据预设服务类型对所述数据信息进行分类生成分类后的数据信息；将所述分类后的数据信息和预设计算模式进行匹配关联生成匹配关联后的数据信息；将所述匹配关联后的数据信息进行建模生成边缘自治模型。因此，采用本申请实施例，可以提高任务执行效率。
-
Patent Agency Ranking
公开(公告)号：CN111224825A
公开(公告)日：2020-06-02
申请号：CN202010011596.0
申请日：2020-01-06
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明公开了一种边缘自治模型构建装置，所述装置包括：信息获取模块，用于获取应用场景的数据信息；信息分类模块，用于根据预设服务类型对所述数据信息进行分类生成分类后的数据信息；信息关联匹配模块，用于将所述分类后的数据信息和预设计算模式进行匹配关联生成匹配关联后的数据信息；模型生成模块，用于将所述匹配关联后的数据信息进行建模生成边缘自治模型。因此，采用本申请实施例，可以提高任务执行效率。
-
公开(公告)号：CN111224824A
公开(公告)日：2020-06-02
申请号：CN202010011040.1
申请日：2020-01-06
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明公开了一种边缘自治模型构建方法，所述方法包括：获取应用场景的数据信息；根据预设服务类型对所述数据信息进行分类生成分类后的数据信息；将所述分类后的数据信息和预设计算模式进行匹配关联生成匹配关联后的数据信息；将所述匹配关联后的数据信息进行建模生成边缘自治模型。因此，采用本申请实施例，可以提高任务执行效率。
-
公开(公告)号：CN111224825B
公开(公告)日：2021-05-04
申请号：CN202010011596.0
申请日：2020-01-06
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明公开了一种边缘自治模型构建装置，所述装置包括：信息获取模块，用于获取应用场景的数据信息；信息分类模块，用于根据预设服务类型对所述数据信息进行分类生成分类后的数据信息；信息关联匹配模块，用于将所述分类后的数据信息和预设计算模式进行匹配关联生成匹配关联后的数据信息；模型生成模块，用于将所述匹配关联后的数据信息进行建模生成边缘自治模型。因此，采用本申请实施例，可以提高任务执行效率。
-
公开(公告)号：CN111240972A
公开(公告)日：2020-06-05
申请号：CN202010011072.1
申请日：2020-01-06
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明公开了一种基于源代码的模型验证装置，所述装置包括：源代码获取模块，用于获取目标源代码；第一模型生成模块，用于根据AADL建模技术将所述目标源代码进行建模后生成AADL模型；第二模型生成模块，用于基于预设转换方式将所述AADL模型转换生成时间自动机模型；模型检查模块，用于利用预设模型检测器对所述时间自动机模型进行检查。因此，采用本申请实施例，可以提高验证效率。
-
公开(公告)号：CN110532778A
公开(公告)日：2019-12-03
申请号：CN201910625643.8
申请日：2019-07-11
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明涉及工业控制系统、深度对抗学习、模糊测试领域，特别涉及一种基于生成对抗网络的工控协议漏洞挖掘系统。包括：深度对抗学习模块，生成模糊测试数据；攻击测试模块，把深度对抗学习模块生成的模糊测试数据注入到系统中，并记录系统的异常反馈，挖掘该系统的漏洞。本发明通过将模糊测试技术与深度对抗学习技术相结合，实现高效，自主的学习通讯数据的格式，并生成带有变异的模糊测试数据，这种技术将极大减轻漏洞挖掘中人的负担，做到高效且智能。
-
-
-
-
-
-
-
-
-
Search Results
23
records
(took 0.042 seconds)
