黎中文
- 作品数:7 被引量:5H指数:2
- 供职机构:中国人民解放军军事经济学院更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于状态的类测试技术研究
- 随着信息技术的迅速发展,计算机软件的应用深入到人们生活中的方方面面,人们对软件质量的认识也提高到了新的层次。作为保证软件质量的重要手段,软件测试得到人们的广泛重视。面向对象技术提供了更好的软件开发方法,但面向对象软件的特...
- 黎中文
- 关键词:类测试有限状态机遗传算法
- 文献传递
- 基于PowerBuilder的军队职工待遇管理系统的设计与实现
- 2013年
- 在分析了军队职工待遇管理业务的基础上,设计了基于PowerBuilder的军队职工待遇管理系统的实现方案。系统采用C/S架构,设计了客户层、应用层和数据层,并使用动态数据窗口、组件和XML技术,构建了一套功能完备的业务系统。
- 黎中文颜炎
- 关键词:军队职工待遇
- 一种基于离散时间的NHPP软件可靠性增长模型被引量:2
- 2011年
- 基于非齐次泊松过程的软件可靠性增长模型按时间域可分为连续时间模型和离散时间模型两类。现有的软件可靠性增长模型大多都是针对连续时间构造的,在一定程度上忽视了对离散时间模型的研究。利用概率生成函数构建两种基于离散时间的软件可靠性增长模型——基本模型和扩展模型,具有很大的实用性和必要性。构建的扩展模型以不完美排错情形作为基础,考虑到了由于故障排除而有可能引入新故障的问题,同时还考虑到了在软件排错过程中由于测试团队的熟练程度而引起的软件故障排除率的相对变化情况,这使得提出的模型更加符合实际。最后利用两组公开发表的失效数据集对两种模型与指数模型和S型模型进行对比验证,验证结果表明提出的两种模型具有更好的拟合能力和预测效果。
- 何焱张来顺刘伟黎中文
- 关键词:软件可靠性增长模型参数估计
- UIO序列生成算法的继续改进
- 2011年
- 为解决传统的UIO(唯一输入输出)序列方法中使用的UIO搜索树规模过于庞大的问题,分析了UIO树的构造过程,并结合LANG算法提出的一系列的剪枝方法和节点链搜索技术,提出了一种改进的UIO序列算法,使用转换表格连接方法替代传统的构造UIO树的方法,并将节点链搜索技术在算法循环调用,去掉不需要的节点,加快UIO序列生成,降低搜索空间。通过实验结果表明,与现有算法相比,该算法在降低时间复杂度和空间复杂度两方面有较大改进。
- 黎中文张来顺
- 关键词:有限自动机
- 改进的UIO序列生成算法
- 有限自动机(FSM)被广泛用对软硬件进行建模.唯一输入/输出序列(UIO Sequence)用于构造测试序列来验证FSM是否到达某一状态.UIO序列寻找过程就是构造一棵UIO树,但是构造过程中使用的分解节点方法会产生许多...
- 黎中文张来顺肖健鹏
- 关键词:UIO序列剪枝有限自动机
- SQL Server透明数据加密方法分析
- 2013年
- 本文介绍了透明数据加密方法的理论知识和实现方法,分析了该加密方法的缺点和限制,并为方法的使用给出了一些建议。
- 黎中文颜炎
- 关键词:SQLSERVER
- 基于FSM的测试序列生成方法研究被引量:3
- 2011年
- 为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重复部分达到最大,测试序列的整体长度被缩短。对测试序列的实验结果表明,算法能够有效降低测试序列的长度。
- 黎中文张来顺何焱
- 关键词:有限自动机