嵌入式实时软件需求规格说明的原型化检测方法  

A Prototyping Method Checking Requirements Specification of Embedded Real-Time Software

作　　者：王敏[1] 毋国庆[1] 朱立松[1] 郑鹏[1] 杨捷[1] 

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

出　　处：《武汉大学学报（理学版）》2001年第3期313-317,共5页Journal of Wuhan University:Natural Science Edition

基　　金：国家自然科学基金 ( 68973 0 3 5 );高等学校博士学科点专项基金资助

摘　　要：提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 .A method checking requirements specification of embedded real time software is presented. This method integrates with prototyping method, executable requirements specification model and animated representations, and can simulate and execute requirements specification of embedded real time software. In this paper, we introduce basic principles and some implementation technologies of the method. At last, characters of the method also be discussed.

关 键 词：需求工程 嵌入式实时软件 软件需求规格说明 原型化方法 软件开发 软件检测 

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