论文部分内容阅读
序特性是嵌人式软件的重要特性，实时嵌人式软件运行的正确性不仅依赖于任务执行结果，更依赖于任务执行时间.执行任务往往具有多个时间约束，且相互之间可能存在制约关系，对时间约束进行验证和确认是嵌人式软件测试的一个重要问题.文中提出一种基于执行片段的嵌人式软件时序特性检测方法（Trace-Based Temporal Defect Detection，TBTDD).—方面，基于扩展语义接口自动机（Extended Semant CcInterface Automata，ESIA)模型，刻画嵌人式软件时序特性需求，