电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2002年
z1期
2155-2157
,共3页
构造类别代数%变异分析%变异算子
構造類彆代數%變異分析%變異算子
구조유별대수%변이분석%변이산자
在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.
在通信協議的一緻性測試中,可以使用構造類彆代數來對協議進行形式化的描述.本文將變異分析引入構造類彆代數中,設計瞭應用于構造類彆代數的幾類變異算子,併且提齣瞭使用變異分析對基于構造類彆代數描述的協議進行一緻性測試的基本步驟.這種方法為基于構造類彆代數的協議測試提齣瞭一箇新的方嚮.
재통신협의적일치성측시중,가이사용구조유별대수래대협의진행형식화적묘술.본문장변이분석인입구조유별대수중,설계료응용우구조유별대수적궤류변이산자,병차제출료사용변이분석대기우구조유별대수묘술적협의진행일치성측시적기본보취.저충방법위기우구조유별대수적협의측시제출료일개신적방향.