嵌入式实时系统的软件需求检测

以需求描述模型hrfsm(hierarchicalfinitestatemachinesbasedonrules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamicexecutionmodel,简称dem)和基于该模型的检测方法.由于dem能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.