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

毋国庆; 朱立松; 王敏; 蔡持峰; 陈伟清

引用本文:	毋国庆,朱立松,王敏,蔡持峰,陈伟清.嵌入式实时系统的软件需求检测.软件学报,2002,13(5):994-1002

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 4479次下载 6500次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
嵌入式实时系统的软件需求检测
毋国庆¹, 朱立松¹, 王敏¹, 蔡持峰¹, 陈伟清¹
武汉大学,软件工程国家重点实验室,湖北,武汉,430072,武汉大学,计算机科学系,湖北,武汉,430072

摘要:

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

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

DOI：

分类号:

基金项目:国家自然科学基金资助项目(69873035);国家教育部博士点基金资助项目

Software Requirements Checking of Embedded Real-Time Systems

WU Guo-qing,ZHU Li-song,WANG Min,CAI Chi-feng,CHEN Wei-qing

Abstract:

On the basis of requirements description model HRFSM (hierarchical finite state machines based on rules), a DEM(dynamic execution model) of embedded real-time systems software and a checking method based on DEM are presented in this paper. Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software. The checking method consists of three forms that checking purposes are different and can provide some important checking information in the checking procking procedure.Analysts can check check software requirements of embedded real-time systems soffectively by using checking tools based on the proposed method so that efficiency of analyzing and checking software requirements can be improved.

Key words: embedded real-time system software requirement requirement specification dynamic execution model configuration