基于执行路径全过程的系统窗口期滑动测试方法技术方案

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

【技术实现步骤摘要】

本专利技术涉及一种，属于操作系统开发与测试方法领域。
技术介绍
对嵌入式实时操作系统(ERTOS)开发和测试技术的研究主要集中在实时性能参数的测试上，通常包括上下文切换时间(task switching time)、抢占时间(preemptiontime)、中断延迟时间(interrupt latency time)等。对于系统设计正确性测试,实际测试时划分为功能性测试，其测试用例设计通常是针对每一项测试要求设计单独的测试用例。现有技术存在的主要问题I.针对系统功能测试，其测试粒度过大，不能很好的测试系统的正确性，很多问题需要在实际使用过程中才能发现。2.逐项测试的方法不能验证系统的整体工作情况。
技术实现思路
为了解决上述问题，本专利技术提供了一种全新的嵌入式实时操作系统测试方法，它通过对硬件时钟定时器的配置，在测试用例设计时利用设计的逻辑，来验证操作系统在特定接口的任务切换、上下文保存等整个执行路径中，异步中断在不同阶段到来时并执行相关耦合性的其他接口，以此来形成各种交错路径组合，测试和验证操作系统能否正确执行，根据不同的设置情况，相邻两次中断到来的时间间隔可以精确到一个CPU周本文档来自技高网...

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

【技术特征摘要】

【专利技术属性】
技术研发人员：阚宏伟，程胜，李红兵，周志军，孙磊，魏明，黄察夫，吕紫旭，靳仕慧，卓保特，刘贵，吴常明，张春艳，陶戈丹，
申请(专利权)人：北京神舟航天软件技术有限公司，
类型：发明
国别省市：