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

被引：5

作者：

毋国庆

不详

朱立松

不详

王敏

不详

蔡持峰

不详

陈伟清

机构：

[1] 武汉大学软件工程国家重点实验室

[2] 武汉大学计算机科学系

来源：

软件学报 | 2002年 / 05期

关键词：

嵌入式实时系统; 软件需求; 需求规格说明; 动态执行模型; 构图;

D O I：

10.13328/j.cnki.jos.2002.05.016

中图分类号：

TP311.5 [软件工程];

学科分类号：

摘要：

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

引用

页码：994 / 1002

页数：9