基于执行片段的嵌入式软件时序特性检测方法分析

摘要

时间序列是一种重要的高维数据类型,它是由客观对象的某个物理量在不同时间点的采样值按照时间先后次序排列而组成的序列,嵌入式软件运行不仅需要完成执行任务的结果,同时需要根据时间执行任务,执行的任务需要考虑时间的约束.确定和验证约束之间是嵌入式测试软件非常重要的问题.分析的嵌入式软件是利用时序特性检测方法实现的,其中包括自动机扩展性语义接口、目标运行的环境两个部分.实验组检验序列主要是为了确定建立模型是否与各项功能需求相符合.