软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2007年
4期
796-807
,共12页
特征交互%模型检测%模型%模式匹配%Java
特徵交互%模型檢測%模型%模式匹配%Java
특정교호%모형검측%모형%모식필배%Java
旨在提出一种基于模式分析的特征交互检测方法,其基本思想在于从已知的交互中提取具有共性的冲突模式,并以之检测新的特征交互.该方法使用一组谓词公式描述交互发生的条件,使用Java语言对系统建模,借助于一个外部工具,系统模型可以遍历所有的运行场景.在模型运行期间,所有特征的行为将被收集和分析,一旦发现某个交互的条件得到满足,即产生冲突报告.该方法被用于一个E-mail系统的分析.实验结果显示,在处理了超过100万个运行场景后,该方法能够有效地检测出已知和未知的特征交互.
旨在提齣一種基于模式分析的特徵交互檢測方法,其基本思想在于從已知的交互中提取具有共性的遲突模式,併以之檢測新的特徵交互.該方法使用一組謂詞公式描述交互髮生的條件,使用Java語言對繫統建模,藉助于一箇外部工具,繫統模型可以遍歷所有的運行場景.在模型運行期間,所有特徵的行為將被收集和分析,一旦髮現某箇交互的條件得到滿足,即產生遲突報告.該方法被用于一箇E-mail繫統的分析.實驗結果顯示,在處理瞭超過100萬箇運行場景後,該方法能夠有效地檢測齣已知和未知的特徵交互.
지재제출일충기우모식분석적특정교호검측방법,기기본사상재우종이지적교호중제취구유공성적충돌모식,병이지검측신적특정교호.해방법사용일조위사공식묘술교호발생적조건,사용Java어언대계통건모,차조우일개외부공구,계통모형가이편력소유적운행장경.재모형운행기간,소유특정적행위장피수집화분석,일단발현모개교호적조건득도만족,즉산생충돌보고.해방법피용우일개E-mail계통적분석.실험결과현시,재처리료초과100만개운행장경후,해방법능구유효지검측출이지화미지적특정교호.
