-
公开(公告)号：CN110532177A
公开(公告)日：2019-12-03
申请号：CN201910718483.1
申请日：2019-08-05
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
Abstract: 本发明公开了一种面向PLC程序的自动化测试用例生成系统，包括：转换模块，用于将PLC源程序转换为等价的C语言程序；建模模块，用于根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；分析模块，用于将建模后的C语言程序作为输入，利用C语言的符号执行工具生成测试用例集。本发明实施例提供的系统，用于将PLC语言程序转换为C语言程序，借用C语言的丰富的成熟的工具，能够有效地处理这些程序，生成高质量的测试用例集，充分体现出自动化测试的成本低、效率高等优势，特别是在规模庞大的、功能复杂的工控系统上，该系统能够发挥积极作用。
-
Patent Agency Ranking
公开(公告)号：CN110515856B
公开(公告)日：2021-01-29
申请号：CN201910824130.X
申请日：2019-09-02
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种基于动态符号执行的测试用例生成系统，包括：解析模块，用于根据输入的结构化文本ST源程序得到抽象语法树；控制流图生成模块，用于生成控制流图；动态符号执行模块，用于根据控制流图对变量属性和标准函数进行建模，生成初始测试用例，代入控制流图中执行，得到已覆盖路径，获取约束集，根据约束集确定候选路径池，选择一条作为执行路径；约束求解模块，用于对执行路径上的约束集进行转换后求解，得到新的测试用例；统计和输出模块，用于输出所有测试用例和覆盖率信息。通过使用动态符号执行能够简单，快捷地生成测试用例，减少人为因素导致的不良影响；能够得到高质量的测试用例和正确的覆盖率信息，自动化程度高，人工成本低。
-
公开(公告)号：CN110515840A
公开(公告)日：2019-11-29
申请号：CN201910718485.0
申请日：2019-08-05
Applicant: 华东师范大学 , 上海丰蕾信息科技有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种面向PLC程序的自动化测试用例生成方法，包括：将PLC源程序转换为等价的C语言程序；根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；将建模后的C语言程序作为输入，利用C语言的符号执行工具生成测试用例集。本发明实施例提供的方法，将PLC语言程序转换为C语言程序，借用C语言的丰富的成熟的工具，能够有效地处理这些程序，生成高质量的测试用例集，充分体现出自动化测试的成本低、效率高等优势，特别是在规模庞大的、功能复杂的工控系统上，该方法能够发挥积极作用。
-
公开(公告)号：CN110515856A
公开(公告)日：2019-11-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源程序生成控制流图；根据控制流图对变量属性和标准函数进行建模，生成初始测试用例，代入控制流图中执行得到已覆盖路径，获取约束集，根据约束集确定候选路径池选择一条作为执行路径；根据建模后的标准功能块、标准函数、变量属性以及转换规则，对执行路径上的约束集进行转换后求解，得到新的测试用例；保存一个输入源程序得到的所有测试用例，根据已覆盖路径确定覆盖率信息，输出测试用例和覆盖率信息。通过使用动态符号执行能够简单，快捷地生成测试用例，减少人为因素导致的不良影响；能够得到高质量的测试用例和正确的覆盖率信息，自动化程度高，人工成本低。
-
公开(公告)号：CN107172133A
公开(公告)日：2017-09-15
申请号：CN201710285687.1
申请日：2017-04-27
Applicant: 华东师范大学
Abstract: 本发明公开了一种基于车辆总线记录设备的车辆实时排放分析系统及其方法，包括：车载终端装置、数据采集装置、数据处理装置、远程数据中心和远程终端装置。其中，车载终端装置使用CAN总线组织数据传输网络实现数据交换；数据采集装置通过CAN总线向车载终端装置发送指令并获取数据；数据处理装置与数据采集装置连接，通过串口/SPI获取数据并进行数据的解析、计算、打包；远程数据中心与数据处理装置实现无线通讯，接收并保存数据；远程终端装置与远程数据中心通讯，使用WEB/APP技术实现数据显示。本发明利用汽车CAN总线接口读取数据，高效处理数据，精确直观的显示实时排放信息，对汽车节能、空气净化方面做了积极的参考价值。
-
-
-
-
-
Search Results
6
records
(took 0.048 seconds)
