模拟执行操作目标的方法研究  

Research of simulation executing operational goals method

作　　者：李勇华[1] 毋国庆[2] 

机构地区：[1]武汉理工大学计算机学院计算机科学系,武汉430063 [2]武汉大学计算机学院,武汉430072

出　　处：《计算机工程与应用》2007年第15期15-18,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.69873035);高等学校博士点专项科研基金。

摘　　要：模拟执行的检测方法是检测需求规格说明书的一种重要手段。在目标和场景相结合的需求建模方法的基础上,提出了对操作目标集合的模拟执行方法。该方法为代理的层次划分提供了理论支持,并将操作目标集合转换成了基于规则的层次式有穷状态自动机,通过对基于规则的层次式有穷状态自动机的模拟执行,达到了对操作目标集合的模拟执行。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.

关 键 词：需求工程 模拟执行 目标 场景 需求规约 

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