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

嵌入式实时软件需求规格说明的原型化检测方法 A Prototyping Method Checking Requirements Specification of Embedded Real-Time Software 王敏 WANG Min 1 first-author 毋国庆 WU Guo qing 1 朱立松 ZHU Li song 1 郑鹏 ZHENG Peng 1 杨捷 YANG Jie 1 武汉大学软件工程国家重点实验室,湖北,武汉,430072 武汉大学软件工程国家重点实验室,湖北,武汉,430072 State Key Laboratory of Software Engineering, Wuhan University State Key Laboratory of Software Engineering, Wuhan University 提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 . 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. 需求工程 嵌入式实时软件 需求规格说明 原型化方法 requirements engineering embedded real time software requirements specification prototyping method TP311.5 国家自然科学基金 （ 68973 0 3 5 ）;高等学校博士学科点专项基金资助 2001-03-01 2021-04-01 3