| 组件思想在模拟执行的需求检查方法中的运用 |
| |
| 引用本文： | 李勇华,毋国庆,舒风笛,熊子阳.组件思想在模拟执行的需求检查方法中的运用[J].计算机工程与应用,2003,39(3):61-63. |
| |
| 作者姓名： | 李勇华 毋国庆 舒风笛 熊子阳 |
| |
| 作者单位： | 武汉大学软件工程国家重点实验室,武汉,430072;武汉大学计算机科学系,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金(编号:69873035)，高等学校博士点专项科研基金资助 |
| |
| 摘 要： | 模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。
|
| 关 键 词： | 嵌入式实时软件系统 需求规格说明 组件 |
| 文章编号： | 1002-8331-(2003)03-0061-03 |
| 修稿时间： | 2002年4月1日 |
Application of Component Thoughts in the Simulation Check of Requirements Specifications |
| |
| Li,Yonghua Wu,Guoqing Shu Fengdi,Xiong Ziyang.Application of Component Thoughts in the Simulation Check of Requirements Specifications[J].Computer Engineering and Applications,2003,39(3):61-63. |
| |
| Authors: | Li Yonghua Wu Guoqing Shu Fengdi Xiong Ziyang |
| |
| Abstract: | |
| |
| Keywords: | Embedded real-time software systems Requirements specifications Component |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
