公开(公告)号：CN117149630A

公开(公告)日：2023-12-01

申请号：CN202311106383.6

申请日：2023-08-30

Applicant: 同济大学

Inventor： 张苗苗 ,  唐晓辰 ,  沈炜 ,  安杰

IPC: G06F11/36

Abstract: 本发明提供了一种结合变异测试的时间自动机模型的一致性测试方法，包括以下步骤：步骤S1，假设模型为确定性单时钟时间自动机，基于假设模型生成大规模测试用例集合；步骤S2，通过时间变异算子生成第一变异体集合；步骤S3，从大规模测试用例集合中筛选出第一小规模测试用例子集；步骤S4，依次在假设模型和目标系统中执行第一小规模测试用例子集中的测试用例，比较执行结果是否相同，输出反例或进入步骤S5；步骤S5，通过位置分裂变异算子生成第二变异体集合；步骤S6，从大规模测试用例集合中筛选出第一小规模测试用例子集；步骤S7，依次在假设模型和目标系统中执行第二小规模测试用例子集中的测试用例，比较执行结果是否相同，输出反例或等价结果。

公开(公告)号：CN113553044B

公开(公告)日：2022-06-21

申请号：CN202110817891.X

申请日：2021-07-20

Applicant: 同济大学

Inventor： 张苗苗 ,  沈炜 ,  安杰 ,  詹博华 ,  薛白 ,  詹乃军

IPC: G06F8/35

Abstract: 本发明提供了一种结合PAC学习理论和主动学习的时间自动机模型的生成方法，用于生成实时系统的单时钟时间自动机形式模型，其特征在于，包括：步骤S1，通过学习器初始化时间观察表；步骤S2，通过转换器处理时间观察表使其满足闭合性和一致性；步骤S3，基于时间观察表，通过学习器构建假设模型步骤S4，通过比较器比较假设模型的质量与稳定模型的质量，并判断是否找到反例；步骤S5，当步骤4判断为否时，通过教学器对假设模型进行PAC近似等价查询，并判断是否找到反例，当判断为否时，停止迭代，将假设模型作为结果模型；步骤S6，当步骤S4或步骤S5判断为是时，根据反例，更新时间观察表，并返回步骤S2。

公开(公告)号：CN113553044A

公开(公告)日：2021-10-26

申请号：CN202110817891.X

申请日：2021-07-20

Applicant: 同济大学

Inventor： 张苗苗 ,  沈炜 ,  安杰 ,  詹博华 ,  薛白 ,  詹乃军

IPC: G06F8/35

Abstract: 本发明提供了一种结合PAC学习理论和主动学习的时间自动机模型的生成方法，用于生成实时系统的单时钟时间自动机形式模型，其特征在于，包括：步骤S1，通过学习器初始化时间观察表；步骤S2，通过转换器处理时间观察表使其满足闭合性和一致性；步骤S3，基于时间观察表，通过学习器构建假设模型步骤S4，通过比较器比较假设模型的质量与稳定模型的质量，并判断是否找到反例；步骤S5，当步骤4判断为否时，通过教学器对假设模型进行PAC近似等价查询，并判断是否找到反例，当判断为否时，停止迭代，将假设模型作为结果模型；步骤S6，当步骤S4或步骤S5判断为是时，根据反例，更新时间观察表，并返回步骤S2。