您的位置： 专家智库 > >

郑人杰

作品数：6 被引量：28H指数：2
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
相关领域：自动化与计算机技术经济管理文化科学更多>>

合作作者

文献类型

  • 6篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 1篇经济管理
  • 1篇文化科学

主题

  • 3篇软件开发
  • 2篇软件测试
  • 1篇定理证明
  • 1篇定理证明器
  • 1篇软件产品
  • 1篇软件产品质量
  • 1篇软件工程
  • 1篇软件过程改进
  • 1篇外向型
  • 1篇可靠性
  • 1篇计算机
  • 1篇高校
  • 1篇BOYER-...
  • 1篇产品质量

机构

  • 6篇清华大学

作者

  • 6篇郑人杰
  • 1篇罗建北
  • 1篇马素霞
  • 1篇姜凡
  • 1篇邓敏
  • 1篇张季

传媒

  • 1篇中国信息导报
  • 1篇计算机学报
  • 1篇软件学报
  • 1篇中国科技产业
  • 1篇计算机工程与...
  • 1篇质量与可靠性

年份

  • 1篇2001
  • 1篇1999
  • 1篇1996
  • 1篇1994
  • 2篇1990
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
软件测试被引量：6
1994年
阐明了软件测试工作的基本知识,简述了软件测试的策略和方法,介绍了软件测试的工具。
郑人杰
关键词：可靠性软件开发
软件过程改进与软件过程支撑工具研究被引量：20
2001年
软件过程改进近年来受到了越来越广泛的重视，该文对软件过程改进所涉及的相关知识进行了详细而深入的介绍，并针对我国软件企业的开发现状论述了它们在实施软件过程改进中应该重点把握的几个方面。最后展望了软件过程改进的前景。
邓敏郑人杰张季
关键词：软件过程改进软件工程软件开发
软件测试中的弱变异方法与关系测试数据被引量：1
1990年
本文通过COBOL软件测试环境COSTE的讨论,着重分析了用于系统的弱变异方法及关系测试数据生成的基本思想。文中提出了通过弱变异结果自动补足测试数据的方法,并在重新分类测试关系且引入关系反馈概念的基础上,提出了增大测试覆盖面的一种关系测试数据生成算法。
姜凡郑人杰
关键词：软件测试
办好外向型高技术企业　为学校发展做更大贡献
1996年
办好外向型高技术企业为学校发展做更大贡献清华大学软件技术中心，清华信息技术公司主任、总经理罗建北副主任、总工程师郑人杰清华信息技术公司原名清华技术服务公司，是我国最早成立的高等院校校办外向型高技术企业。早在１９７９年，我校为贯彻改革开放的方针，充分利...
罗建北郑人杰
关键词：高校软件开发
模拟Boyer-Moore定理证明器
1990年
SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。
马素霞郑人杰
建立质量保证体系　提高软件产品质量被引量：1
1999年
郑人杰
关键词：计算机软件产品产品质量
全选 清除 导出
共1页<1>
聚类工具0