计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2008年
7期
1868-1871
,共4页
许翔%吴尽昭%林连南%陈剑锋
許翔%吳儘昭%林連南%陳劍鋒
허상%오진소%림련남%진검봉
交互式马尔可夫链%模型检验%性能评价
交互式馬爾可伕鏈%模型檢驗%性能評價
교호식마이가부련%모형검험%성능평개
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术.文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致.实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价.
研究瞭基于交互式馬爾可伕鏈(IMC)的模型檢驗,IMC是集功能描述和性能刻畫為一體的併髮繫統模型,模型檢驗是一種自動功能驗證與性能評價技術.文中提齣的模型檢驗算法結閤瞭傳統的功能驗證與性能評價的功能,併且與現有的算法相一緻.實驗分析錶明,該算法具有較高的性能,適用于大型複雜繫統的驗證和評價.
연구료기우교호식마이가부련(IMC)적모형검험,IMC시집공능묘술화성능각화위일체적병발계통모형,모형검험시일충자동공능험증여성능평개기술.문중제출적모형검험산법결합료전통적공능험증여성능평개적공능,병차여현유적산법상일치.실험분석표명,해산법구유교고적성능,괄용우대형복잡계통적험증화평개.
