[发明专利]一种基于覆盖次数统计评价随机验证质量的方法及系统

权利要求书

1.一种基于覆盖次数统计评价随机验证质量的方法，其特征在于：

步骤101，设置待覆盖的功能点、需统计覆盖次数的功能点、随机验证参数、覆盖次数统计结果输出条件、统计结果分析报警条件；

步骤102，随机验证，收集功能覆盖率以及功能覆盖次数，若覆盖次数统计结果输出条件满足，则输出覆盖次数统计结果，自动化初步分析，若不满足，则继续随机验证；

步骤103，发现异常情况进行报警；

所述覆盖次数统计结果输出条件为：为覆盖次数设置覆盖次数阈值，为时间设置第一时间阈值和第二时间阈值，所述第一时间阈值小于第二时间阈值，当覆盖次数达到所述覆盖次数阈值，若验证时间达到第一时间阈值，且小于第二时间阈值；或者覆盖次数未达到覆盖次数阈值，验证时间达到第二时间阈值。

2.根据权利要求1所述的方法，其特征在于：发现异常情况进行报警具体为：自动化初步分析，平行的功能点中某个功能点出现的次数大于其它；和/或是某些功能点总是同时出现，对所述初步分析的结果会进行输出和报警，判断是否符合预期，并决定是否停止验证。

3.根据权利要求1所述的方法，其特征在于：对于覆盖次数统计结果的分析，发现异常情况，若所述异常情况是由于随机验证的参数设置限定了随机验证的场景不够全面，则修改随机参数继续验证或用新的随机参数构造新的随机验证作为补充，若所述异常情况是由于功能点的设置不合理，则继续验证，直到验证停止后再进行修改。

4.根据权利要求1所述的方法，其特征在于：对覆盖次数统计结果进行输出的同时进行保存，至少保存上一次的统计结果。

5.一种基于覆盖次数统计评价随机验证质量的系统，其特征在于：所述系统包括：

设置模块，用于设置待覆盖的功能点、需统计覆盖次数的功能点、随机验证参数、覆盖次数统计结果输出条件、统计结果分析报警条件；

验证模块，用于随机验证，收集功能覆盖率以及功能覆盖次数，若覆盖次数统计结果输出条件满足，则输出覆盖次数统计结果，自动化初步分析，若不满足，则继续随机验证；

报警模块，用于发现异常情况进行报警；

所述覆盖次数统计结果输出条件为：为覆盖次数设置覆盖次数阈值，为时间设置第一时间阈值和第二时间阈值，所述第一时间阈值小于第二时间阈值，当覆盖次数达到所述覆盖次数阈值，若验证时间达到第一时间阈值，且小于第二时间阈值；或者覆盖次数未达到覆盖次数阈值，验证时间达到第二时间阈值。

6.根据权利要求5所述的系统，其特征在于：发现异常情况进行报警具体为：自动化初步分析，平行的功能点中某个功能点出现的次数大于其它；和/或是某些功能点总是同时出现，对所述初步分析的结果会进行输出和报警，判断是否符合预期，并决定是否停止验证。

7.根据权利要求5所述的系统，其特征在于：对于覆盖次数统计结果的分析，发现异常情况，若所述异常情况是由于随机验证的参数设置限定了随机验证的场景不够全面，则修改随机参数继续验证或用新的随机参数构造新的随机验证作为补充，若所述异常情况是由于功能点的设置不合理，则继续验证，直到验证停止后再进行修改。

8.根据权利要求5所述的系统，其特征在于：对覆盖次数统计结果进行输出的同时进行保存，至少保存上一次的统计结果。