一种场景可配置的定向测试集自动生成方法、系统及介质技术方案

本发明专利技术公开了一种场景可配置的定向测试集自动生成方法、系统及介质，包括：根据处理器核功能验证需求的验证内容抽象形成种子模板所需的功能集合和功能集合中各功能的配置选项，以及各个功能之间配置顺序；基于形成种子模板所需的功能集合和功能集合中各功能的配置选项，以及各个功能之间配置顺序，构建对应不同场景的种子模板；生成配置选项菜单和配置输出菜单；编写测试程序段；基于配置选项菜单、配置输出菜单以及测试程序段生成测试激励。本发明专利技术适用于各种指令集架构的处理器核功能验证需求，可适用性强，场景可配置，可适应各种验证需求，满足不同验证需求，能够实现处理器核验证工作中测试集的集中管理，提高验证管理工作质量。作质量。作质量。

【技术实现步骤摘要】
一种场景可配置的定向测试集自动生成方法、系统及介质


[0001]本专利技术涉及处理器核功能验证领域，具体涉及一种场景可配置的定向测试集自动生成方法、系统及介质。

技术介绍

[0002]随着计算机技术不断发展、处理器芯片行业日趋成熟，处理器核的设计变得越来越复杂，导致验证难度、验证工作量越来越大。目前主流验证方法将处理器核验证工作分为几个阶段：模块级验证、子系统级验证、系统级验证。处理器核验证工作越靠后，检出错误相应付出成本越高，所以需要尽可能靠前突出设计错误。可见，子系统级验证尤为重要。在子系统级验证方法中，需要提供大量的裸机环境可运行的测试激励，用来测试处理器核功能的正确性。这些逻辑环境可运行的测试激励分为两类：定向测试激励和随机测试激励。定向测试激励用于针对性验证处理器核功能是否符合架构和计划，而随机测试激励往往作用于定向测试激励之后，目的是给处理器核大量工作压力，希望碰撞到前期验证工作未规划到的处理器核运行状态。对于随机测试激励，各指令集架构都提供了相应生成工具，但是针对定向测试激励，依然需要人工开发。目前，业内人工开发定向测试激励主要面对以下难题：1)验证工作对定向测试激励的需求量较大；2)处理器核验证内容十分繁杂，需要针对各种不同功能专门定制开发测试激励；3)基于不同指令集架构的处理器核验证，没有形成统一开发思路；4)数量大、种类多的定向测试激励，随着验证工作的迭代，很难管理。

技术实现思路

[0003]本专利技术要解决的技术问题：针对现有技术的上述问题，提供一种场景可配置的定向测试集自动生成方法、系统及介质，本专利技术适用于各种指令集架构的处理器核功能验证需求，支持直接在现有系统上进行新的指令集架构拓展，可适用性强。本专利技术支持测试场景选择，可以在现有系统上进行新的场景拓展，实现场景可配置，以适应各种验证需求。本专利技术支持定向测试激励的批量生成及单个生成方式，满足不同验证需求。另外，本专利技术能够实现处理器核验证工作中测试集的集中管理，提高验证管理工作质量。
[0004]为了解决上述技术问题，本专利技术采用的技术方案为：
[0005]一种场景可配置的定向测试集自动生成方法，包括：
[0006]1)根据处理器核功能验证需求的验证内容抽象形成种子模板所需的功能集合和功能集合中各功能的配置选项，以及各个功能之间配置顺序；
[0007]2)基于形成种子模板所需的功能集合和功能集合中各功能的配置选项，以及各个功能之间配置顺序，构建对应不同场景的种子模板；
[0008]3)生成配置选项菜单和配置输出菜单，在配置选项菜单中给出功能集合以及功能集合中各项功能的配置选项集合，在配置输出菜单中选择需要开启的场景；
[0009]4)编写测试程序段，如果测试程序段需要编写的执行逻辑有对应的种子模块，则选择对应的种子模块并根据需求注入数据；否则，直接编写执行程序；
[0010]5)基于配置选项菜单、配置输出菜单以及测试程序段生成测试激励。
[0011]可选地，步骤1)中的种子模板的种子包括功能种子和其他种子，功能种子用于提供验证内容相关的需要形成模板的功能集合中各个功能的配置执行逻辑模板和模板有效开关，并且提供场景描述和场景有效开关；其他种子用于提供与验证内容无关、与测试激励构建有关的执行逻辑模板及其对应有效开关。
[0012]可选地，所述功能集合的函数表达式为：
[0013]Func＝{F0,F1,
…
,F
k
,F
k+1
,
…
F
K
}
[0014]上式中，Func表示验证内容所需的功能集合，F0～F
K
为功能集合Func中全部的K项功能，F
k
表示功能集合中任意第k项功能，F
k+1
表示功能集合中任意第k+1项功能；功能间配置顺序的函数表达式为(F0,F1,
…
,F
k
,F
k+1
,
…
F
K
)，表示功能之间的配置顺序满足：
[0015]F0→
F1→…→
F
k
→
F
k+1
→…→
F
K
[0016]任意第k项功能的配置选项集合的函数表达式为：
[0017]F
k
Value＝{F
k
V0(f
k
),F
k
V1(f
k
),
…
,F
k
V
j
(f
k
),F
k
V
j+1
(f
k
),
…
,F
k
V
J
(f
k
)}
[0018]上式中，F
k
Value表示第k项功能的配置选项集合，F
k
V0(f
k
)～F
k
V
J
(f
k
)为配置选项集合F
k
Value中全部的J项配置选项，F
k
V
j
(f
k
)为配置选项集合F
k
Value中的任意第j项配置选项，F
k
V
j+1
(f
k
)为配置选项集合F
k
Value中的任意第j+1项配置选项。
[0019]可选地，步骤2)包括：在种子模块的功能种子中为功能集合中的功能构建配置执行逻辑模板，为各执行逻辑模板设置宏定义开关；在种子模块的其他种子中构建用于配置生成测试激励所需其他与验证内容无关、与测试激励构建有关的执行逻辑模板，为各执行逻辑模板设置宏定义开关，在其他种子部分为通用程序段中起始段、自校验段、结束段的执行逻辑构建模板。
[0020]可选地，步骤4)中选择对应的种子模块并根据需求注入数据具体是指选择对应的种子模块以宏定义的形式对该部分执行逻辑进行调用。
[0021]可选地，步骤3)中还包括在配置输出菜单中给出合法配置路径簇，所述合法配置路径簇是指被允许的部分或全部功能的配置选项按照功能间配置顺序构成的路径，步骤5)中基于配置选项菜单、配置输出菜单以及测试程序段生成测试激励时，生成的测试激励满足合法配置路径簇要求。
[0022]可选地，步骤3)中还包括在配置输出菜单中给出非法配置路径簇，所述非法配置路径簇是指不被允许的部分或全部功能的配置选项按照功能间配置顺序构成的路径；步骤5)中基于配置选项菜单、配置输出菜单以及测试程序段生成测试激励时，生成的测试激励不符合非法配置路径簇。
[0023]可选地，步骤5)包括：
[0024]5.1)确定配置输出菜单中开启的场景以及给出合法配置路径簇，针对每一个给出的合法配置路径簇本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种场景可配置的定向测试集自动生成方法，其特征在于，包括：1)根据处理器核功能验证需求的验证内容抽象形成种子模板所需的功能集合和功能集合中各功能的配置选项，以及各个功能之间配置顺序；2)基于形成种子模板所需的功能集合和功能集合中各功能的配置选项，以及各个功能之间配置顺序，构建对应不同场景的种子模板；3)生成配置选项菜单和配置输出菜单，在配置选项菜单中给出功能集合以及功能集合中各项功能的配置选项集合，在配置输出菜单中选择需要开启的场景；4)编写测试程序段，如果测试程序段需要编写的执行逻辑有对应的种子模块，则选择对应的种子模块并根据需求注入数据；否则，直接编写执行程序；5)基于配置选项菜单、配置输出菜单以及测试程序段生成测试激励。2.根据权利要求1所述的场景可配置的定向测试集自动生成方法，其特征在于，步骤1)中的种子模板的种子包括功能种子和其他种子，功能种子用于提供验证内容相关的需要形成模板的功能集合中各个功能的配置执行逻辑模板和模板有效开关，并且提供场景描述和场景有效开关；其他种子用于提供与验证内容无关、与测试激励构建有关的执行逻辑模板及其对应有效开关。3.根据权利要求2所述的场景可配置的定向测试集自动生成方法，其特征在于，所述功能集合的函数表达式为：Func＝{F0,F1,
…
,F
k
,F
k+1
,
…
F
K
}上式中，Func表示验证内容所需的功能集合，F0～F
K
为功能集合Func中全部的K项功能，F
k
表示功能集合中任意第k项功能，F
k+1
表示功能集合中任意第k+1项功能；功能间配置顺序的函数表达式为(F0,F1,
…
,F
k
,F
k+1
,
…
F
K
)，表示功能之间的配置顺序满足：F0→
F1→…→
F
k
→
F
k+1
→…→
F
K
任意第k项功能的配置选项集合的函数表达式为：F
k
Value＝{F
k
V0(f
k
),F
k
V1(f
k
),
…
,F
k
V
j
(f
k
),F
k
V
j+1
(f
k
),
…
,F
k
V
J
(f
k
)}上式中，F
k
Value表示第k项功能的配置选项集合，F
k
V0(f
k
)～F
k
V
J
(f
k
)为配置选项集合F
k
Value中全部的J项配置选项，F
k
V
j
(f
k
)...

【专利技术属性】
技术研发人员：隋兵才，徐雁冰，温冰，段荣清，李哲，文子豪，邓丽艳，刘恩住，
申请(专利权)人：中国人民解放军国防科技大学，
类型：发明
国别省市：