组件思想在模拟执行的需求检查方法中的运用

• 作 者: 李勇华 毋国庆 舒风笛 熊子阳
• 机 构: 武汉大学软件工程国家重点实验室,武汉,430072武汉大学计算机科学系,武汉,430072
• 出 处: 计算机工程与应用
• 发表日期: 2003年3期
• 关键词: 嵌入式实时软件系统 需求规格说明 组件

模拟执行是一种重要的需求规格说明书(SRS)的检测方法.文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性.最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索.