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

专利信息
申请号: 201210529915.2 申请日: 2012-12-10
公开(公告)号: CN102968376A 公开(公告)日: 2013-03-13
发明(设计)人: 阚宏伟;程胜;李红兵;周志军;孙磊;魏明;黄察夫;吕紫旭;靳仕慧;卓保特;刘贵;吴常明;张春艳;陶戈丹 申请(专利权)人: 北京神舟航天软件技术有限公司
主分类号: G06F11/36 分类号: G06F11/36
代理公司: 北京北新智诚知识产权代理有限公司 11100 代理人: 张卫华
地址: 100094*** 国省代码: 北京;11
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 基于 执行 路径 全过程 系统 窗口期 滑动 测试 方法
【说明书】:

技术领域

发明涉及一种基于执行路径全过程的系统窗口期滑动测试方法,属于操作系统开发与测试方法领域。

背景技术

对嵌入式实时操作系统(ERTOS)开发和测试技术的研究主要集中在实时性能参数的测试上,通常包括上下文切换时间(task switching time)、抢占时间(preemption time)、中断延迟时间(interrupt latency time)等。对于系统设计正确性测试,实际测试时划分为功能性测试,其测试用例设计通常是针对每一项测试要求设计单独的测试用例。

现有技术存在的主要问题:

1.针对系统功能测试,其测试粒度过大,不能很好的测试系统的正确性,很多问题需要在实际使用过程中才能发现。

2.逐项测试的方法不能验证系统的整体工作情况。

发明内容

为了解决上述问题,本发明提供了一种全新的嵌入式实时操作系统测试方法,它通过对硬件时钟定时器的配置,在测试用例设计时利用设计的逻辑,来验证操作系统在特定接口的任务切换、上下文保存等整个执行路径中,异步中断在不同阶段到来时并执行相关耦合性的其他接口,以此来形成各种交错路径组合,测试和验证操作系统能否正确执行,根据不同的设置情况,相邻两次中断到来的时间间隔可以精确到一个CPU周期。

为实现上述目的,本发明采用的技术方案如下:

一种基于执行路径全过程的系统窗口期滑动测试方法,包括以下步骤:

1)设置时钟相关寄存器:预分频计数器,预置数寄存器,计数器控制寄存器;

2)注册时钟中断服务程序,使能时钟中断;

3)设置时钟中断发生的步进值,初始值为1;

4)获取时钟计数器当前计数值;

5)若计数值大于步进值,则转到步骤4),否则继续以下步骤;

6)获取另一时钟计数器的值,将其作为被测试接口的计时开始值;

7)调用被测试接口;

8)获取步骤6)中的时钟计数器值,将其作为被测试接口的计时结束值;

9)计时结束值减去计时开始值,计算被测试接口的耗时;

10)增加步进值,若该步进值小于时钟计数器的初始设置值,则转到步骤4),否则终止。

本发明的有益效果是:

在实际使用中,根据不同硬件平台特性,包括晶振频率、预分频计数器、预置数寄存器、计数器控制寄存器的不同设置,可以控制相邻两次时钟中断产生的时间间隔,在最优情况下可以保证两次中断的间隔为一个CPU周期。由于引入类似高度可控的中断源,可以打破被测试接口的任意执行路径,所以只要将其有限的耦合性相关接口路径引入到重入路径中,就可以列举出所有的执行路径组合,以此用形式化验证的思想解决操作系统内核多重入、多路径的形式化验证难题,可以有效提升操作系统内核开发和测试的覆盖性难题。

附图说明

图1为系统调用时段说明图;

图2为测试用例工作流程图。

具体实施方式

本发明提供了一种基于执行路径全过程的系统窗口期滑动测试方法。

一种基于执行路径全过程的系统窗口期滑动测试方法,包括以下步骤:

1)设置时钟相关寄存器:预分频计数器,预置数寄存器,计数器控制寄存器;

2)注册时钟中断服务程序,使能时钟中断;

3)设置时钟中断发生的步进值,初始值为1;

4)获取时钟计数器当前计数值;

5)若计数值大于步进值,则转到步骤4),否则继续以下步骤;

6)获取另一时钟计数器的值,将其作为被测试接口的计时开始值;

7)调用被测试接口;

8)获取步骤6)中的时钟计数器值,将其作为被测试接口的计时结束值;

9)计时结束值减去计时开始值,计算被测试接口的耗时;

10)增加步进值,若该步进值小于时钟计数器的初始设置值,则转到步骤4),否则终止。

系统调用过程与中断对应时间关系共分为两种:

系统调用过程中不被时钟中断打断;

系统调用过程中被时钟中断打断;

在系统调用过程中执行以下步骤:

1)记录每次系统调用从开始到返回所花费的时间;

2)创建高优先级任务T1和低优先级任务T2,T1用来调用测试用例,T2负责设置全局标志,可以被T1用来判别切换是否成功;

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京神舟航天软件技术有限公司,未经北京神舟航天软件技术有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/201210529915.2/2.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top