期刊文献+

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

Analysis of Time Series Characteristics Detection Method Based on Execution Fragment
在线阅读 下载PDF
收藏 分享 导出
摘要 时间序列是一种重要的高维数据类型,它是由客观对象的某个物理量在不同时间点的采样值按照时间先后次序排列而组成的序列,嵌入式软件运行不仅需要完成执行任务的结果,同时需要根据时间执行任务,执行的任务需要考虑时间的约束。确定和验证约束之间是嵌入式测试软件非常重要的问题。分析的嵌入式软件是利用时序特性检测方法实现的,其中包括自动机扩展性语义接口、目标运行的环境两个部分。实验组检验序列主要是为了确定建立模型是否与各项功能需求相符合。 Time series is an important type of high dimensional data.It is a sequence composed of the sample values of an objective object at different time points and arranged according to the order of time.The operation of the embedded software in this study needs to not only complete the result of the execution of the task,but also perform the task according to the time.The task of execution requires a lot of time to restrict.Identifying and verifying the constraints is a very important issue in embedded test software.The embedded software analyzed in this paper is realized by the method of detecting the time sequence characteristics,including two parts,the extensibility semantic interface of automata and the environment of the target operation.The test sequence of the experimental group is mainly to determine whether the model is consistent with the functional requirements.
作者 王传俊 WANG Chuanjun(Technical and Electrical Engineering Department,Yantai Autombile Engineering Professional College,Yantai 265500)
出处 《微型电脑应用》 2019年第2期114-115,121共3页 Microcomputer Applications
关键词 嵌入式软件 时序特性检测方法 执行片段 Embedded software Timing feature detection methods Execution fragments
  • 相关文献

参考文献8

二级参考文献101

共引文献70

投稿分析
职称考试

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部 意见反馈