高月
- 作品数：5 被引量：11H指数：2
- 供职机构：华东计算技术研究所更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于区间算法的软件测试数据生成方法
- 2007年
- 软件测试过程中经常需要对大量的数值计算模块进行穷举测试,传统的软件测试方法就显露出了不足与局限。该文采用区间算法生成测试数据,比较了采用区间算法的软件测试方法和传统的软件测试方法,结果表明,区间代数方法很好地解决了传统测试方法不能解决的问题,发现程序代码中可能的计算异常,判断能否给出程序代码输出变量的上限范围和是否存在不可能达到的分支。
- 高月邵培南邢洁雯
- 关键词：测试数据软件测试
- 基于ArcSDE的高层建筑信息数据库设计与实现被引量：3
- 2017年
- 越来越多的高层建筑设计信息需要进行高效存储和管理,同时也是组成大数据分析及数据挖掘的基础。由于高层建筑本身具有空间地理属性,因此需要建立基于地理信息系统的数据库系统。以ArcSDE、Geodatabase技术为基础,探讨了高层建筑设计信息数据库设计和实现中所需的关键技术。
- 高月梁兼备黄旻梁本亮
- 关键词：空间数据引擎GEODATABASE空间数据模型高层建筑
- 复杂软件确保质量提高效率快速测试仿真研究
- 2017年
- 对复杂软件的高效测试的研究,可有效的确保复杂软件的质量,加快测试速度。复杂软件的快速测试,需要先确定复杂软件测试各环节任务分配矩阵和目标函数的设置,得出复杂软件确保质量任务优先级,完成对复杂软件的高效测试。传统方法进行测试目标函数构件,实现优化测试模型改进,但忽略了复杂软件确保质量任务优先级的确定,导致软件测试效率偏低。提出基于改进蚁群算法的复杂软件确保质量高效测试模型。上述模型首先对复杂软件测试各环节任务进行形式化描述,采用改进蚁群算法对复杂软件确保质量高效测试模型进行求解,获得任务测试序列和对应的测试资源利用率,完成各环节任务分配矩阵和目标函数的设置,确定复杂软件确保质量任务优先级。实验结果表明,所提模型能够有效提高复杂软件测试工作的效率,且在测试任务延迟时间、测试任务公平性方面性能更好。
- 高月
- 软件验证与确认在MIS开发中的应用被引量：2
- 2011年
- 介绍软件验证和软件确认的概念及其相互关系,以一个实际的管理信息系统开发项目为例,描述在软件开发生命周期中验证和确认活动的具体实现,以及如何使验证和确认与项目的整个生命周期相配合、如何与项目实体相关联,证明软件验证和确认是保证软件产品质量的有效手段。
- 高月梁成才王川陆伟
- 关键词：能力成熟度模型集成管理信息系统
- 基于大数据信息的软件测试方法改进研究被引量：6
- 2017年
- 传统软件测试方法中,由于各种实验参数设置没有准确依据数学理论,涉及到的软件测试算法都存在效率偏低的问题,为此,提出基于大数据信息改进的软件测试方法,首先在大数据的背景下,对测试软件目的展开分析,将人的智慧与机器相互结合,通过对社会群体认知与数据价值提炼,使数据从机器智能分析到人类与机器智慧结合的转变;然后对大数据信息软件的三种测试方法进行探讨,第一种是利用粒子群为主线的优化算法,引入蚁群算法作为大数据信息处理机制,可以有效处理大数据信息;第二种就是针对软件特点,提出基于大数据信息处理模型的软件测试方法,通过模型对输入数据进行计算并得出结果;第三种采用仿真原理对软件进行测试;实验结果证明,基于大数据信息软件改进的测试方法不仅可以有效处理数据,还可以提高数据测试效率和软件定位,为今后的软件测试提供有力依据。
- 高月张杨
