电脑开发与应用
電腦開髮與應用
전뇌개발여응용
COMPUTER DEVELOPMENT & APPLICATIONS
2011年
6期
48-49,52
,共3页
化学抽象机%标号迁移系统%UML状态图%软件测试
化學抽象機%標號遷移繫統%UML狀態圖%軟件測試
화학추상궤%표호천이계통%UML상태도%연건측시
UML已经成为当前面向对象软件测试研究的重要方向.面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试.CHAM具有良好的动态特性可以很好地描述类状态的动态变换.LTS作为多种形式化语言的语义模型可以表达出类的动态特征.通过CHAM来描述UML状态图,并由CHAM生成LTS,最终通过对LTS的遍历生成测试序列.
UML已經成為噹前麵嚮對象軟件測試研究的重要方嚮.麵嚮對象的類測試不僅要測試類的輸入、輸齣還需要對類的狀態變換進行測試.CHAM具有良好的動態特性可以很好地描述類狀態的動態變換.LTS作為多種形式化語言的語義模型可以錶達齣類的動態特徵.通過CHAM來描述UML狀態圖,併由CHAM生成LTS,最終通過對LTS的遍歷生成測試序列.
UML이경성위당전면향대상연건측시연구적중요방향.면향대상적류측시불부요측시류적수입、수출환수요대류적상태변환진행측시.CHAM구유량호적동태특성가이흔호지묘술류상태적동태변환.LTS작위다충형식화어언적어의모형가이표체출류적동태특정.통과CHAM래묘술UML상태도,병유CHAM생성LTS,최종통과대LTS적편력생성측시서렬.
