您的位置: 专家智库 > >

胡煜

作品数:1 被引量:2H指数:1
供职机构:西安交通大学电子与信息工程学院更多>>
发文基金:国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇软件测试
  • 1篇面向对象
  • 1篇公理
  • 1篇公理系统
  • 1篇测试用例

机构

  • 1篇西安交通大学

作者

  • 1篇曾明
  • 1篇朱利
  • 1篇李远杰
  • 1篇胡煜

传媒

  • 1篇微电子学与计...

年份

  • 1篇2005
1 条 记 录,以下是 1-1
排序方式:
基于公理系统的面向对象自动测试研究被引量:2
2005年
文章提出了一个基于公理系统的面向对象自动测试框架。该框架首先从XML文件中提取被测类的代数规格说明和公理描述,然后使用‘termrewriting’技术生成‘消息对’形式的测试用例,最后使用velocity模板引擎使测试用例可以在Junit单元测试工具上自动执行和验证。
胡煜李远杰曾明朱利
关键词:面向对象软件测试测试用例公理系统
共1页<1>
聚类工具0