[发明专利]基于执行路径全过程的系统窗口期滑动测试方法

摘要

本发明涉及基于执行路径全过程的系统窗口期滑动测试方法，包括步骤：1)设置时钟相关寄存器；2)注册时钟中断服务程序，使能时钟中断；3)设置时钟中断发生的步进值；4)获取时钟计数器当前计数值；5)若计数值大于步进值，则转到步骤4)；6)获取另一时钟计数器的值，作为被测试接口的计时开始值；7)调用被测试接口；8)获取步骤6)中的时钟计数器值作为被测试接口的计时结束值；9)计时结束值减去计时开始值，计算被测试接口的耗时；10)增加步进值，若该步进值小于时钟计数器的初始设置值，则转到步骤4)，否则终止。本发明用形式化验证的思想解决操作系统内核多重入、多路径的形式化验证难题，可以有效提升操作系统内核开发和测试的覆盖性难题。

主权项

一种基于执行路径全过程的系统窗口期滑动测试方法，其特征在于包括以下步骤：1)设置时钟相关寄存器：预分频计数器，预置数寄存器，计数器控制寄存器；2)注册时钟中断服务程序，使能时钟中断；3)设置时钟中断发生的步进值，初始值为1；4)获取时钟计数器当前计数值；5)若计数值大于步进值，则转到步骤4)，否则继续以下步骤；6)获取另一时钟计数器的值，将其作为被测试接口的计时开始值；7)调用被测试接口；8)获取步骤6)中的时钟计数器值，将其作为被测试接口的计时结束值；9)计时结束值减去计时开始值，计算被测试接口的耗时；10)增加步进值，若该步进值小于时钟计数器的初始设置值，则转到步骤4)，否则终止。