买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：中山大学

摘要：本发明涉及嵌入系统存储设计的测试领域，为一种用于嵌入式系统存储功能测试的数据增广方法。其方法包括以下步骤：根据输入的系统规范文档描述，生成系统规范公式数据集；使用系统规范公式数据集训练序列到序列的神经网络；利用训练好的序列到序列的神经网络，初始化采样公式，逐步采样得到系统规范公式数据集副本；使用系统规范公式数据集副本对预训练的用于检测的神经网络进行微调，使用系统规范公式数据集对微调后的用于检测的神经网络进行测试，以验证生成的系统规范公式的有效性，验证嵌入式系统是否实现了相应的存储功能。本发明解决了对于少量未知分布的嵌入式系统线性时态逻辑公式难以使用神经网络直接学习可满足性偏置的问题。

主权项：1.一种用于嵌入式系统存储功能测试的数据增广方法，其特征在于，包括以下步骤：S1、根据输入的系统规范文档描述，生成系统规范公式数据集；S2、使用系统规范公式数据集训练序列到序列的神经网络；S3、利用训练好的序列到序列的神经网络，初始化采样公式，逐步采样得到系统规范公式数据集副本；S4、使用系统规范公式数据集副本对预训练的用于检测的神经网络进行微调，使用系统规范公式数据集对微调后的用于检测的神经网络进行测试，以验证生成的系统规范公式的有效性，验证嵌入式系统是否实现了相应的存储功能；步骤S1包括：S11、根据输入的系统规范文档描述，识别出系统规范文档中涉及的原子事件集合，用原子命题符号代替系统规范文档描述中的原子事件，从而根据原子事件集合定义出原子命题集合；S12、根据系统规范文档描述，使用原子命题集合和时序算子集合定义事件集合，事件集合中的每一事件呈现为原子命题与时序算子组成的线性时态逻辑公式；其中，事件用于描述硬件缓冲区所要满足的规范，包括原子事件和非原子事件；原子事件为无法再分解的基本事件，非原子事件为单个原子事件的集合或者多个原子事件的组合；原子命题在某一时刻要么为真，要么为假，并且该原子命题所指代的事件不能由其它原子命题和时序算子的组合逻辑等价；事件在描述系统规范时，呈现的形式为原子命题与时序算子组成的线性时态逻辑公式；时序算子用于描述系统状态上的变化，包括描述系统的当前状态、下一个状态、将来状态。

全文数据：

权利要求：

百度查询： 中山大学 一种用于嵌入式系统存储功能测试的数据增广方法及系统