Real-time embedded software testing method based on extended finite state machine

来源 :系统工程与电子技术：英文版 | 被引量 : 0次 | 上传用户：foohay

【摘要】

：

The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded system,and the effective software testing is

【作者】

：

Yongfeng Yin Bin Liu Hongying

【机构】

：

SchoolofReliabilityandSystemsEngineering,NationalKeyLaboratoryofScienceandTechnologyonAvionicsSystem

【出处】

：

系统工程与电子技术：英文版

【发表日期】

：

2012年2期

【关键词】

：

嵌入式实时系统软件测试方法扩展有限状态机实时嵌入式软件嵌入式软件测试扩展的有限状态机实时嵌入式系统形式化方法 real-time system

【基金项目】

：

This work was supported by the Aviation Science Foundation of China

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded system,and the effective software testing is an important way to ensure software quality and reliability.Based on the analysis of the charac

其他文献

10kV配电架空线路的运行维护分析

10kV配电架空线路在农村地区分布较广,其对于供电系统来是相对重要的一部分。10kV配电架空线路为农村供电带来保障,因此为了让配电线路稳定安全的运行,对其运行进行维护和检

期刊

10kV配电架空线路运行维护

老年高血压患者中心动脉压与颈动脉内膜中层厚度相关

背景颈总动脉内膜中层厚度(IMT)是将来发生心血管事件强预测因子和动脉粥样硬化的替代标志物。中心动脉压(CBP)较外周动脉压与心血管发病率和死亡率更加密切相关。然而,老年

期刊

老年高血压中心动脉压内膜中层厚度

道教中国化正确认识道教的内在精神与特色

<正>讨论道教中国化,一个重要的问题是从中国传统文化的大传统来理解道教,正确认识道教是中国传统文化的重要组成部分。据我个人的研究,恐怕也是最古老的那部分。众所周知,关

期刊

生道合一元始天尊《太平经》中国化

《荷塘月色》多用叠词的原由

<正>《荷塘月色》是朱自清先生的一篇传世之作,是现代文学中散文的精品,是美文中的美文。《荷塘月色》全文一共有26处运用了叠词,并且运用得都很准确到位。所叠的词有名词、

期刊

《荷塘月色》朱自清

Failure prognostic of systems with hidden degradation process

Systems with a hidden degradation process are pervasive in the real world.Degrading critical components will undermine system performance and pose potential fai

期刊

降解过程系统故障隐藏卡尔曼滤波估计剩余寿命估算期望最大化无迹卡尔曼滤波prognostic degradation expectation

浅谈如何发挥党组织在医院工作中的作用

<正>霍州煤电集团总医院作为霍州市唯一一所二级甲等医院,承担着全市公共卫生工作和各种医疗服务的任务。在当前医疗卫生改革和机制转换过程中,如何最大限度的挖掘医务人员的

期刊

党组织总医院战斗堡垒作用医院工作

海底预置武器，将引发深海军备竞赛？

据外媒报道，美军科研人员今年将试验远程激活能够在海底蛰伏数年的预置武器平台，从而把海底无人机发射升空。美国国防部先进研究项目局（DARPA）副局长史蒂文·H·沃克指出，美军将于

报纸

广西打造北部湾产业集群

【记者张文德见习记者李顺南宁报道】广西壮族自治区北部湾办公室消息，广西将在北部湾建设２９个重点产业园区，未来５年，倾力打造北部湾重点产业园区集群。$$　　据悉，北部湾经济区

报纸

也谈通假字

期刊

形声字

Using junction trees for structural learning of Bayesian networks

The learning Bayesian network (BN) structure from data is an NP-hard problem and still one of the most exciting challenges in the machine learning.In this work,

期刊

贝叶斯网络结构学习NP-HARD问题数据结构机器学习基于约束交界处算法Bayesian network （BN） junction tree

Real-time embedded software testing method based on extended finite state machine

与本文相关的学术论文