计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
3期
61-63
,共3页
李勇华%毋国庆%舒风笛%熊子阳
李勇華%毌國慶%舒風笛%熊子暘
리용화%무국경%서풍적%웅자양
嵌入式实时软件系统%需求规格说明%组件
嵌入式實時軟件繫統%需求規格說明%組件
감입식실시연건계통%수구규격설명%조건
模拟执行是一种重要的需求规格说明书(SRS)的检测方法.文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性.最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索.
模擬執行是一種重要的需求規格說明書(SRS)的檢測方法.文章基于麵嚮嵌入式實時繫統的需求描述模型RTRSM,提齣瞭如何將組件化的思想和技術應用于模擬執行的檢查方法中,從而增加瞭SRS的可靠性和正確性.最後,文章提齣瞭根據需求描述模型直接生成框架代碼的構想,這也是一種從需求直接生成嵌入式實時繫統的探索.
모의집행시일충중요적수구규격설명서(SRS)적검측방법.문장기우면향감입식실시계통적수구묘술모형RTRSM,제출료여하장조건화적사상화기술응용우모의집행적검사방법중,종이증가료SRS적가고성화정학성.최후,문장제출료근거수구묘술모형직접생성광가대마적구상,저야시일충종수구직접생성감입식실시계통적탐색.