计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
10期
44-46,49
,共4页
工作流管理系统%性能指标%功能指标%路径覆盖%缺陷
工作流管理繫統%性能指標%功能指標%路徑覆蓋%缺陷
공작류관리계통%성능지표%공능지표%로경복개%결함
基于扩展信牌驱动模型的工作流仿真包括模型静态检查和动态仿真,研究通过动态仿真手段对流程进行测试与分析,从而获得仿真结果的性能指标和结构功能指标.对路径覆盖指标及缺陷指标进行研究.利用白盒与黑盒2种测试方法对被测流程进行高覆盖度仿真,通过仿真结果反映缺陷的类型、分布与走势,并形成仿真报表.
基于擴展信牌驅動模型的工作流倣真包括模型靜態檢查和動態倣真,研究通過動態倣真手段對流程進行測試與分析,從而穫得倣真結果的性能指標和結構功能指標.對路徑覆蓋指標及缺陷指標進行研究.利用白盒與黑盒2種測試方法對被測流程進行高覆蓋度倣真,通過倣真結果反映缺陷的類型、分佈與走勢,併形成倣真報錶.
기우확전신패구동모형적공작류방진포괄모형정태검사화동태방진,연구통과동태방진수단대류정진행측시여분석,종이획득방진결과적성능지표화결구공능지표.대로경복개지표급결함지표진행연구.이용백합여흑합2충측시방법대피측류정진행고복개도방진,통과방진결과반영결함적류형、분포여주세,병형성방진보표.