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

Software Requirements Checking of Embedded Real-Time Systems

作　　者：毋国庆 朱立松 王敏 蔡持峰 陈伟清[1,2] 

机构地区：[1]武汉大学软件工程国家重点实验室,湖北武汉430072 [2]武汉大学计算机科学系,湖北武汉430072

出　　处：《软件学报》2002年第5期994-1002,共9页Journal of Software

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

摘　　要：以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.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 procedure. Analysts can check software requirements of embedded real-time systems software effectively by using checking tools based on the proposed method so that efficiency of analyzing and checking software requirements can be improved.

关 键 词：软件开发 嵌入式实时系统 软件需求检测 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]