齐建业
- 作品数：6 被引量：14H指数：2
- 供职机构：解放军电子工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 引入错误严重性分级的软件可靠性模型被引量：1
- 2014年
- 在对G-O模型的基本假设进行改进的基础上,将软件错误严重性分级引入G-O模型,建立了引入错误严重性分级的软件可靠性模型G-NHPP.按严重程度将软件错误严重性分为致命错误、严重错误和一般错误三类,从基本假设、模型度量、参数估计、数据要求等四个方面对软件可靠性模型G-NHPP进行了分析,使用序列似然比PLR图、U-结构图、Y-结构图的图形法和误差平方和、均方误差值、Akaike信息准则、预测风险率4种参数的数值法对软件可靠性模型G-NHPP进行了分析验证.验证结果表明,所建立的G-NHPP模型比G-O模型和J-M模型更接近实际,该模型具有良好的拟合效果和评估能力.
- 李强王超余祥齐建业
- 关键词：软件可靠性模型非齐次泊松过程参数估计
- 协议一致性测试研究进展被引量：8
- 2013年
- 协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术入手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。
- 李强余祥齐建业许庆光
- 关键词：测试用例形式化
- 协议一致性测试数据包的构造与解析被引量：1
- 2013年
- 数据包的构造与解析是协议一致性测试中的关键技术。在对协议一致性测试原理、特点和流程进行分析的基础上,定义协议一致性测试中的相关概念,建立协议一致性测试中的相关规则,提出一种数据包的构造、发送、捕获和解析的方法,设计数据包构造、发送、捕获和解析算法并对其进行分析。数据包构造算法可依据协议标准规定的消息格式,为每个数据包字段依次赋值;数据包发送算法是通过网络适配器,根据待发送数据包的名称、类型和发送序列,实施数据包的发送;数据包捕获与解析算法是通过网络适配器捕获原始数据包,设置并编译过滤规则,对捕获到的数据包按照协议标准说明进行解析,与预期构造的数据包进行比对。由于设置了过滤规则,有针对性地捕获数据包,因而,提高了数据包的捕获准确率。
- 齐建业余祥刘峻宇李强
- 关键词：数据包字段网络适配器
- 基于控制流程的软件测试用例自动生成方法研究被引量：2
- 2011年
- 软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法.最后,介绍了相关支持工具ATCG.
- 余祥李强齐建业
- 关键词：流程图测试用例
- 基于形式活动图的协议一致性测试用例生成方法研究被引量：1
- 2013年
- 在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.
- 齐建业李强余祥
- 关键词：测试用例
- 协议一致性测试用例生成模型研究被引量：2
- 2014年
- 为设计并生成有效的测试用例,通过测试用例的自动生成,提高了设计和执行测试用例的效率。建立了协议一致性测试用例生成模型,由形式活动图、扩展有限状态机和相关的转换算法组成。在定义形式活动图和扩展有限状态机概念的基础上,设计了从形式活动图生成扩展有限状态机的算法和从扩展有限状态机自动生成测试用例的算法。对算法进行了分析与比较,分析结果表明,该算法在测试序列的长度、错误覆盖度等方面具有一定的优越性。
- 齐建业李强余祥
- 关键词：测试用例扩展有限状态机
