您的位置: 专家智库 > >

刘少英

作品数:3 被引量:0H指数:0
供职机构:西安交通大学电子与信息工程学院计算机科学与技术系更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇S-1
  • 2篇CPT
  • 1篇软件开发
  • 1篇软件开发工具
  • 1篇COBOL语...
  • 1篇测试环境
  • 1篇测试系统
  • 1篇产生式

机构

  • 3篇西安交通大学

作者

  • 3篇刘少英
  • 2篇李友仁

传媒

  • 1篇计算机研究与...
  • 1篇西安交通大学...

年份

  • 1篇1990
  • 1篇1989
  • 1篇1986
3 条 记 录,以下是 1-3
排序方式:
产生式软件开发工具
1990年
软件开发分为需求分析、设计、编码和测试四个阶段,每个阶段已有相应的描述工具,但到目前为止还未出现能描述开发过程中各个阶段文档的统一工具。本文提出了一种能够应用于软件开发各阶段的产生式软件开发工具,并从以下三个方面详细阐述了这种工具的本质和用途。第一,产生式开发工具的形式定义。第二,产生式开发工具在描述需求分析、初步设计、详细设计及测试计划等阶段的应用。第三,将产生式开发工具同以往的结构化描述工具进行比较,提出了今后进一步研究的方向。
刘少英李友仁
关键词:产生式软件开发
COBOL程序测试环境CPTS-1的设计与实现
1989年
CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。
李友仁刘少英
关键词:COBOL语言测试环境
软件测试理论及COBOL程序测试系统CPTS-1的设计与实现
刘少英
共1页<1>
聚类工具0