摘要
模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行。
Simulation execution is an combining with scenarios requirement provides theoretic basis for divergence executes operational goals set according important check method of software requirements specifications.On the basis of goals modeling method,this paper puts forward a simulation execution method.The method of agent levels,then translates operational goals set into HRAFSM,at last simulatively to simulation executing HRAFSM.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第15期15-18,共4页
Computer Engineering and Applications
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.69873035)
高等学校博士点专项科研基金。
关键词
需求工程
模拟执行
目标
场景
需求规约
requirement engineering
simulation
goal
scenario
requirement specification
