基于UML2.0模型的测试与验证方法

作者：张琛

来源：其他, 2012.

• UML2.0序列图
• 事件确定有限自动机
• 命题投影时序逻辑
• 基于模型的测试模型检测 UML2.0sequence diagrams
• event deterministic finite automata
• propositional projection temporal logic
• model-based testing
• model checking

统一建模语言(United Modeling Language, UML)是一种描述功能强大且含义直观的可视化建模语言,它提供了多种图元,能够从不同角度和应用层次刻画系统特性,建模复杂的系统行为。基于UML的软件开发过程和建模环境已被学术界和工业界广泛接受,但是其图形化符号缺乏精确的语义描述,使得对UML模型进行正确性验证,以判断设计规范是否满足目标需求十分困难。因此,针对UML模型进行形式化描述与验证成为一个关键问题。 本文以UML2.0模型为研究对象,提出了基于事件确定有限自动机(Event Deterministic Finite Automata, ETDFA)的序列图描述方法...

• 单位
  西安电子科技大学