郑人杰

作品数:6被引量:10H指数:1
导出分析报告
供职机构:清华大学信息科学技术学院计算机科学与技术系更多>>
发文主题:软件开发软件测试软件过程改进软件工程可靠性更多>>
发文领域:自动化与计算机技术经济管理文化科学更多>>
发文期刊:《计算机工程与应用》《中国科技产业》《软件学报》《计算机学报》更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
软件过程改进与软件过程支撑工具研究被引量:8
《计算机工程与应用》2001年第7期39-41,共3页邓敏 郑人杰 张季 
科技部自然基金资助项目
软件过程改进近年来受到了越来越广泛的重视,该文对软件过程改进所涉及的相关知识进行了详细而深入的介绍,并针对我国软件企业的开发现状论述了它们在实施软件过程改进中应该重点把握的几个方面。最后展望了软件过程改进的前景。
关键词:软件过程改进 软件工程 软件开发 软件过程支撑工具 
建立质量保证体系 提高软件产品质量被引量:1
《中国科技产业》1999年第6期17-19,共3页郑人杰 
关键词:计算机 软件产品 产品质量 质量保证体系 
办好外向型高技术企业 为学校发展做更大贡献
《中国信息导报》1996年第9期34-35,共2页罗建北 郑人杰 
办好外向型高技术企业为学校发展做更大贡献清华大学软件技术中心,清华信息技术公司主任、总经理罗建北副主任、总工程师郑人杰清华信息技术公司原名清华技术服务公司,是我国最早成立的高等院校校办外向型高技术企业。早在1979年...
关键词:高技术企业 高校 发展 软件开发 
软件测试被引量:1
《质量与可靠性》1994年第4期13-16,共4页郑人杰 
阐明了软件测试工作的基本知识,简述了软件测试的策略和方法,介绍了软件测试的工具。
关键词:软件 测试 质量 可靠性 软件开发 
软件测试中的弱变异方法与关系测试数据
《计算机学报》1990年第8期583-590,共8页姜凡 郑人杰 
本文通过COBOL软件测试环境COSTE的讨论,着重分析了用于系统的弱变异方法及关系测试数据生成的基本思想。文中提出了通过弱变异结果自动补足测试数据的方法,并在重新分类测试关系且引入关系反馈概念的基础上,提出了增大测试覆盖面的一...
关键词:软件测试 关系测试数据 弱变异 
模拟Boyer-Moore定理证明器
《软件学报》1990年第1期39-46,共8页马素霞 郑人杰 
SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中...
关键词:定理证明系统 SBMTP GCLISP语言 
检索报告 对象比较 聚类工具 使用帮助 返回顶部