计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2009年
4期
140-142,160
,共4页
用况图%Petri网%面向方面程序设计%测试用例
用況圖%Petri網%麵嚮方麵程序設計%測試用例
용황도%Petri망%면향방면정서설계%측시용례
将现有的在面向对象领域中的一些比较成熟的技术使用到面向方面领域是一个重要的研究方向.提出在需求分析时通过UML的扩展机制来进行面向方面的用况建模方法,阐述如何应用Petri网来对面向方面用况模型进行形式化,以增加用况模型的语义约束.通过一个在线外汇交易平台系统的建模实例,详细说明基于Petri网的面向方面用况建模方法,最后应用这种方法在需求分析阶段方便、有效地产生测试用例.实践证明,基于Petri网的面向方面用况建模方法取得了良好的效果.
將現有的在麵嚮對象領域中的一些比較成熟的技術使用到麵嚮方麵領域是一箇重要的研究方嚮.提齣在需求分析時通過UML的擴展機製來進行麵嚮方麵的用況建模方法,闡述如何應用Petri網來對麵嚮方麵用況模型進行形式化,以增加用況模型的語義約束.通過一箇在線外彙交易平檯繫統的建模實例,詳細說明基于Petri網的麵嚮方麵用況建模方法,最後應用這種方法在需求分析階段方便、有效地產生測試用例.實踐證明,基于Petri網的麵嚮方麵用況建模方法取得瞭良好的效果.
장현유적재면향대상영역중적일사비교성숙적기술사용도면향방면영역시일개중요적연구방향.제출재수구분석시통과UML적확전궤제래진행면향방면적용황건모방법,천술여하응용Petri망래대면향방면용황모형진행형식화,이증가용황모형적어의약속.통과일개재선외회교역평태계통적건모실례,상세설명기우Petri망적면향방면용황건모방법,최후응용저충방법재수구분석계단방편、유효지산생측시용례.실천증명,기우Petri망적면향방면용황건모방법취득료량호적효과.
