大拱桥--暨南大学学生门户 » 图书馆 » 软件工具、工具软件 » 基于UML statecharts测试方法的研究
名称 基于UML statecharts测试方法的研究
索引号 TP311.56/20105
分类号 TP311.56
TP311.56(软件工具、工具软件)
TP311.5(软件工程)
TP311(程序设计、软件工程)
TP31(计算机软件)
TP3(计算技术、计算机技术)
TP(自动化技术计算技术技术)
T(工业技术)
作者 占学德、
出版社 上海 : 上海大学出版社, 2009
ISBN 978-7-81118-367-2
页数 144页 : 图 ; 21cm
价格 CNY980.00
标签
简介
注解 有书目 (第113-120页) 本论文用Z语言定义了UML statecharts图的形式化语法和语义, 将该图转换为FREE模型, 提出了全ZOT路径覆盖准则、并给出了状态覆盖、迁移覆盖等准则的应用, 最后给出了基于UML statecharts图的测试用例生成的方法。