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

Application of Component Thoughts in the Simulation Check of Requirements Specifications

作　　者：李勇华[1,2] 毋国庆[1,2] 舒风笛[1,2] 熊子阳[1,2] 

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

出　　处：《计算机工程与应用》2003年第3期61-63,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(编号:69873035);高等学校博士点专项科研基金资助

摘　　要：模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。Simulation execution is an important check method of software requirements specifications(SRS).On the basis of the embedded real-time systems oriented-requirements description model RTRSM,the paper presents how to apply component thoughts and techniques to the implementation of the simulation of SRS based the model,which can improve the correctness and reliability of the SRS.At last,the paper puts forward the thought of producing the frame codes of real-time systems from the SRS,which is an exploration along the road from requirements to codes.

关 键 词：组件思想 模拟执行 需求检查方法 软件开发 软件系统 嵌入式实时软件系统 需求规格说明 

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