您的位置： 专家智库 > >

国家高技术研究发展计划(2002CB312001)

作品数：1 被引量：2H指数：1
相关作者：占学德缪淮扣更多>>
相关机构：上海大学杭州电子科技大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇面向对象
  • 1篇面向对象软件
  • 1篇STATEC...
  • 1篇UML
  • 1篇UML_ST...
  • 1篇Z

机构

  • 1篇杭州电子科技...
  • 1篇上海大学

作者

  • 1篇缪淮扣
  • 1篇占学德

传媒

  • 1篇应用科学学报

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于UML Statecharts面向对象软件的测试框架被引量：2
2006年
直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的,文中提出了基于UML statecharts图的测试框架:先利用现有的UML工具画出UML statecharts图,并产生XMI(XML metadatainterchange)格式的规格说明文件;然后根据UML statecharts的形式化语义,层次和并发结构被展平,将UML statecharts图的规格说明XML文件转换成FREE(flattened regular expression)模型的规格说明信息;最后根据FREE模型的规格说明信息,按照不同的充分性测试准则,分别产生测试用例集.同时提出了由FREE模型根据全ZOT路径覆盖准则产生有限迁移序列的算法,并且还实现了这个测试框架.
占学德缪淮扣
关键词：ZUMLSTATECHARTS
全选 清除 导出
共1页<1>
聚类工具0