高仲仪
- 作品数:47 被引量:283H指数:9
- 供职机构:北京航空航天大学计算机学院更多>>
- 发文基金:国家高技术研究发展计划国家自然科学基金中国航空科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于组装的过程工程环境被引量:3
- 1997年
- 描述了一个基于组装的过程工程环境.该环境包括过程定义、过程实例化、过程模拟、过程运作4个部分,采用了基于组装的过程建模方法,能够对可重用过程库中的过程部件进行组装,生成新的过程模型。
- 王雷张莉高仲仪
- 关键词:过程工程环境
- 软件可测试性研究综述
- 本文首先介绍了进行软件可测试性研究的背景和国内外有关研究现状,包括软件可测试性的定义以及可测试性的测方法,然后对作者在软件可测试性研究项目中所做的工作进行了介绍.
- 杨海燕高仲仪
- 关键词:可测试性软件测试
- 文献传递
- ISEE的OODB需求与应用
- 1996年
- 本论文针对ISEE的集成模型、机制和原理全面地分析了它对OODB的需求,采用面向对象技术和方法。
- 董剑利刘又诚高仲仪
- 关键词:ISEEOODB面向对象软件工程
- 基于宽平稳马氏链的软件质量收敛性判定技术被引量:1
- 2001年
- 针对软件质量收敛性难以判定的问题,提出了软件质量动态平衡的概念,指出软件开发过程具有马尔可夫性,从而软件质量的收敛性问题可用宽平稳马氏链描述并进行预测,为决策软件发布的时机提供客观、量化的参考指标。
- 李虎杨海燕高仲仪
- 关键词:软件质量收敛性马氏链软件开发
- 军用软件质量评测技术
- 刘又诚杨海燕李虎史晓华钱红兵邓昳高仲仪陈起汪浩张力倪辉张君程杜平奚红宇朱丽娟
- 1. 课题来源 《95》军用共性软件预研计划,15.6.2。2. 技术原理和性能指标理论和实践均已证明,软件复杂性和面向对象等特性对软件质量如可靠性、可维护性、重用性和可重用性等有重大影响。该课题研究对软件质量有重要影响...
- 关键词:
- 关键词:软件质量
- 基于UML和组件技术的软件开发环境IUMLSE的研究与实现被引量:13
- 2001年
- 统一建模语言UML(Unified Modeling Language)正逐步成为面向对象技术领域内占主导地位的建模语言。而组件(Component)技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对UML和组件技术进行了描述,探讨了两者在软件开发中的作用和相互之间的联系,以及新一代的软件开发环境应该如何对两者提供支持,然后详细介绍了基于UML和组件技术的软件开发环境IUMLSE的设计和实现。
- 杨顺祥葛科高仲仪
- 关键词:统一建模语言面向对象软件开发环境UML组件技术
- 遗传算法及其在软件测试数据生成中的应用研究被引量:55
- 2001年
- 文中首先给出了遗传算法的形式化的表示和一个基于此算法的测试数据生成系统原型。然后结合一个典型的测试单元例程,介绍系统实现中必须解决的参数选取、参数编码、评价函数的构造及驱动模块自动生成等关键问题。最后,介绍了一个实用的Ada软件测试数据生成工具——TCAG。
- 汪浩谢军凯高仲仪
- 关键词:软件测试遗传算法程序插装数据生成软件工程
- Ada 动态测试中遗传算法的参数编码方法
- 1998年
- 介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.
- 史晓华高仲仪
- 关键词:数据结构遗传算法ADA
- 遗传算法在软件测试数据生成中的应用被引量:69
- 1998年
- 测试数据生成是软件测试中的关键环节,它的实现对于软件测试过程的自动化具有重要意义.本文阐述了用遗传算法作为核心搜索算法来生成软件结构测试数据的方法和技术,其中讨论了编码策略、评价函数构造及插装等问题的解决方案,并重点说明了如何对遗传算子进行改进,使算法在解决本问题时更加有效.实验数据证明该方法是高效的.
- 荚伟奚红宇高仲仪
- 关键词:软件工程软件测试测试数据遗传算法
- 随机测试中测试数据的编码方案
- 2002年
- 1 引言软件测试过程中,测试用例的生成是软件测试的关键。目前,测试用例的生成主要靠手工完成,因此测试效率低下,软件成本居高不下。为此,迫切需要开发一些测试用例的自动生成工具,提高软件测试效率,降低软件成本,保证软件质量,提高软件测试的自动化程度。随机测试是对软件进行操作性测试,即测试用例是从程序的输入域中随机选择,让错误自己暴露出来。在某些情况下,随机测试技术比启发式测试技术效果要好得多。所以在软件测试中占据着重要地位。但是,目前国内外对随机测试数据自动生成的研究非常不成熟。
- 张君杨海燕汪浩高仲仪
- 关键词:软件测试软件开发测试数据