计算机科学
計算機科學
계산궤과학
Computer Science
2015年
9期
165-170
,共6页
网络测量%可重构%测量构件%一致性测试
網絡測量%可重構%測量構件%一緻性測試
망락측량%가중구%측량구건%일치성측시
Network measurement%Reconfigurable%Measurement component%Conformance testing
可重构网络测量系统中,工作流测量构件间迁移的过程是否与规约描述一致,是检验测量构件一致性测试的重要内容.建立了一种基于工作流的构件变迁模型MCTM(Measurement Component Transfer Model),详细阐述了MCTM模型的形式化定义,并基于MCTM模型给出了一种能自动生成遍历所有构件的测试用例生成算法CTBM-CTM.实验结果表明,CTBMCTM算法可以准确定位存在问题的构件,与T&GS算法相比,该算法在生成较短测试序列的同时显著缩短了算法的运行时间.
可重構網絡測量繫統中,工作流測量構件間遷移的過程是否與規約描述一緻,是檢驗測量構件一緻性測試的重要內容.建立瞭一種基于工作流的構件變遷模型MCTM(Measurement Component Transfer Model),詳細闡述瞭MCTM模型的形式化定義,併基于MCTM模型給齣瞭一種能自動生成遍歷所有構件的測試用例生成算法CTBM-CTM.實驗結果錶明,CTBMCTM算法可以準確定位存在問題的構件,與T&GS算法相比,該算法在生成較短測試序列的同時顯著縮短瞭算法的運行時間.
가중구망락측량계통중,공작류측량구건간천이적과정시부여규약묘술일치,시검험측량구건일치성측시적중요내용.건립료일충기우공작류적구건변천모형MCTM(Measurement Component Transfer Model),상세천술료MCTM모형적형식화정의,병기우MCTM모형급출료일충능자동생성편력소유구건적측시용례생성산법CTBM-CTM.실험결과표명,CTBMCTM산법가이준학정위존재문제적구건,여T&GS산법상비,해산법재생성교단측시서렬적동시현저축단료산법적운행시간.
