计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
15期
15-18
,共4页
需求工程%模拟执行%目标%场景%需求规约
需求工程%模擬執行%目標%場景%需求規約
수구공정%모의집행%목표%장경%수구규약
模拟执行的检测方法是检测需求规格说明书的一种重要手段.在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法.该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行.
模擬執行的檢測方法是檢測需求規格說明書的一種重要手段.在目標和場景相結閤的需求建模方法的基礎上,提齣瞭對操作目標集閤的模擬執行方法.該方法為代理的層次劃分提供瞭理論支持,併將操作目標集閤轉換成瞭基于規則的層次式有窮狀態自動機,通過對基于規則的層次式有窮狀態自動機的模擬執行,達到瞭對操作目標集閤的模擬執行.
모의집행적검측방법시검측수구규격설명서적일충중요수단.재목표화장경상결합적수구건모방법적기출상,제출료대조작목표집합적모의집행방법.해방법위대리적층차화분제공료이론지지,병장조작목표집합전환성료기우규칙적층차식유궁상태자동궤,통과대기우규칙적층차식유궁상태자동궤적모의집행,체도료대조작목표집합적모의집행.
