胡晓波
- 作品数：4 被引量：8H指数：2
- 供职机构：上海大学计算机工程与科学学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Object-Z规格说明的测试用例生成方法研究
- 随着信息技术的发展，软件规模不断扩大，而且越来越复杂，如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件质量的关键技术，能够有效地发现软件中的故障。对于某些安全关键的软件，其测试费用是所有其它软件工...
- 胡晓波
- 关键词：软件测试测试用例
- 文献传递
- 用形式方法开发CAE软件
- 计算机辅助工程(CAE)软件规模越来越大,也越来越复杂.软件形式方法可用于开发CAE软件.本文简述了形式方法和Z规格说明语言,以三维空间中的节点序列及其操作为例,介绍了用形式方法开发CAE软件的过程.本文还对形式方法的相...
- 缪淮扣胡晓波
- 关键词：计算机辅助工程CAE软件
- 文献传递
- Object-Z规格说明测试用例的自动生成器被引量：5
- 2011年
- 对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.
- 许庆国缪淮扣曹晓夏胡晓波
- 关键词：OBJECT-Z语义提取
- 从集合表达式产生测试数据的方法被引量：3
- 2008年
- 软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。
- 胡晓波缪淮扣
- 关键词：OBJECT-Z软件测试测试数据
