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

来源 :微型电脑应用 | 被引量 : 0次 | 上传用户:lz147852369
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
时间序列是一种重要的高维数据类型,它是由客观对象的某个物理量在不同时间点的采样值按照时间先后次序排列而组成的序列,嵌入式软件运行不仅需要完成执行任务的结果,同时需要根据时间执行任务,执行的任务需要考虑时间的约束。确定和验证约束之间是嵌入式测试软件非常重要的问题。分析的嵌入式软件是利用时序特性检测方法实现的,其中包括自动机扩展性语义接口、目标运行的环境两个部分。实验组检验序列主要是为了确定建立模型是否与各项功能需求相符合。
其他文献
南京国民政府的民族思想主要是继承了孙中山先生的对内民族主义思想,提出了"五族联邦制"的构想,并在这个基础上,根据当时蒙藏等边疆民族地区情况,采取"柔性政策之羁縻",从政
习近平总书记在中共十九大报告中提出乡村振兴战略,如何对传统村落进行保护与发展,守住传统村落这一宝贵的文化遗产是乡村振兴战略的重要议题。文章以桂林138个国家传统村落
稳定与和谐是民俗文化的固有属性,民俗文化对维护和促进社会和谐发展一直发挥着极其重要的作用,因此,对民俗文化的研究和传承也成为我们急需探索的课题。然而,通过对我国民俗
新中国成立以来,社会治理和社会稳定一直被国家视为最重要的工作之一。在推进改革以来所取得的成就更是空前。党的十九届四中全会则进一步面向未来34年,面向整个新时代,面向
提出了一种新型的携子阵轨道角动量天线,以实现高增益辐射特性。首先针对阵列理论进行了介绍,设计了微带天线单元和一分四馈电网络,从而组合得到等幅等相位的四单元子阵,实现
论坛视点 这是一个言论性栏目。主要针对职业学校当前教学工作中存在的热点、难点问题、以短主形式,发表一家之言。要求所提问题因小见大,语言生动活泼,说理深入浅出,思想内涵深
基于会计行业人工智能影响和未来的会计人员所面临的机遇和挑战,分析了会计行业的总体及人工智能未来的预判等方面,为人工智能更好的融入会计行业提供了理论支持和对策建议。
随着地震勘探正在蓬勃发展,如今对储层预测精度和地震资料质量的要求越来越高。而地震勘探的复杂环境可能导致地震数据通道缺失或者勘探成本上升,因此需要对地震数据进行重建
"这20多年来,我在全国各地都打过工,但从来不知道我们这样的农民还能成为工会会员。有了这个证件,这为我们今后维护自
已过中年的白萍,自丈夫早上出门上班,整个白天都被那久违的激情冲撞着。那种感觉在她记忆中只有在新婚中出现过。直熬到暮色西沉,丈夫下班推门而入,她在此之前化了淡妆,穿着透明睡