论文部分内容阅读
时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间。执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试过程中一个非常重要问题,因而文章提出了一种基于执行片段的嵌入式软件时序特性检测方法,简单地说,即通过执行片段对软件的时序进行特性检测。