计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (15): 15-18.
• 博士论坛 • 上一篇 下一篇
李勇华1,毋国庆2
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
LI Yong-hua1,WU Guo-qing2
Received:
Revised:
Online:
Published:
Contact:
摘要: 模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行。
关键词: 需求工程, 模拟执行, 目标, 场景, 需求规约
Abstract: Simulation execution is an important check method of software requirements specifications.On the basis of goals combining with scenarios requirement modeling method,this paper puts forward a simulation execution method.The method provides theoretic basis for divergence of agent levels,then translates operational goals set into HRAFSM,at last simulatively executes operational goals set according to simulation executing HRAFSM.
Key words: requirement engineering, simulation, goal, scenario, requirement specification
李勇华1,毋国庆2. 模拟执行操作目标的方法研究[J]. 计算机工程与应用, 2007, 43(15): 15-18.
LI Yong-hua1,WU Guo-qing2. Research of simulation executing operational goals method[J]. Computer Engineering and Applications, 2007, 43(15): 15-18.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/
http://cea.ceaj.org/CN/Y2007/V43/I15/15