胡晓波

作品数：2被引量：8H指数：2
导出分析报告
供职机构：上海大学计算机工程与科学学院更多>>
发文主题：OBJECT-Z测试用例OBJECT-Z规格说明软件测试自动生成器更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》《软件学报》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金软件工程国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Object-Z规格说明测试用例的自动生成器被引量：5
《软件学报》2011年第6期1155-1168,共14页许庆国 缪淮扣 曹晓夏 胡晓波 
国家自然科学基金(60970007;61073050);国家重点基础研究发展计划(973)(2007CB310800);上海市自然科学基金(09ZR1412100);上海市科学技术委员会项目(10510704900);上海市重点学科建设项目(J50103);武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26)
对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造...
关键词：基于规格说明的测试 OBJECT-Z 语义提取 测试用例生成器 
从集合表达式产生测试数据的方法被引量：3
《计算机工程与设计》2008年第20期5237-5242,共6页胡晓波 缪淮扣 
国家自然科学基金项目(60673115);国家973重点基础研究发展计划基金项目(2002CB312001)
软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的...
关键词：形式方法 OBJECT-Z 软件测试 测试数据 集合表达式 代码变异错误测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部