金凌紫
- 作品数:13 被引量:105H指数:4
- 供职机构:南京大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
- 相关领域:自动化与计算机技术医药卫生理学电子电信更多>>
- 超文本应用软件测试充分性准则初探被引量:4
- 1997年
- 在开发超文本应用软件时,测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求;节点级验证节点中所今信息的正确性,链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。
- 金凌紫朱鸿
- 关键词:测试充分性准则超文本应用程序
- 面向转换式程序设计的元语言设计中的若干问题
- 1990年
- 元程序设计是转换式程序设计的主要途径之一,本文根据作者对国际有关工作的分析,结合进行转换式程序设计与构造转换系统的实践,在设计与实现元语言的基础上,进一步探讨面向转换式程序设计的元语言的需求、设计原则与语言结构等问题。
- 金凌紫朱鸿
- 关键词:程序设计元语言
- 一个基于知识的FP程序综合系统
- 金凌紫朱鸿
- 关键词:程序设计面向过程语言人工智能输入输出处理
- 软件需求定义语言NDRDL被引量:11
- 1995年
- NDRDL语言是一种图形化的软件需求定义语言,用于书写软件需求定义。其特点是:形象直观、表达力强、实用性好、可靠性高。本文是该语言的试用文本。
- 董丽君费宗铭朱鸿金凌紫
- 关键词:图形化
- 情形实例驱动的软件需求模型自动生成被引量:6
- 1998年
- 通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序.由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特定的使用条件,来描述一个复杂系统中的一个局部,与对整个复杂系统的需求进行分析和描述相比,在特定情形实例下对软件需求进行分析与描述较简单容易.然而,如何保证情形实例描述之间的一致性,如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分析为基础的需求分析方法的关键,也是尚未解决的问题中的难点.本文介绍在以功能分解为基础的需求分析途径中描述软件需求情形实例的方法,讨论情形实例描述与需求定义之间的一致性和完备性,介绍从情形实例描述到完整的软件需求定义的自动综合以及一致性、完备性的自动检查.
- 金凌紫朱鸿张朝良火清宁白赣洪徐家福
- 关键词:软件需求分析软件开发
- 情形实例驱动的需求分析方法
- 1999年
- 一引言软件需求定义是软件需求的完整描述,是开发者和用户之间对最终的软件产品的功能和性能等方面达成的共识和契约。需求分析过程能否获得准确全面地反映用户需求的需求定义对软件产品的质量以及开发开销都具有重要影响。由于软件产品的规模日益扩大,复杂性不断提高,软件需求分析已成为一项非常困难的任务。
- 火清宁张朝良白赣洪朱鸿金凌紫
- 关键词:软件需求分析软件产品
- 面向转换式程序设计的元语言研究
- 金凌紫
- 关键词:元语言
- 面向对象软件测试技术进展被引量:83
- 1998年
- 面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱.文中分析了面向对象程序设计语言的特点及其对软件测试的影响,从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面,综述有代表性的研究工作,探讨研究方向.
- 金凌紫
- 关键词:面向对象软件测试程序语言软件开发
- 一种基于知识的由实例综合程序的方法
- 1991年
- 本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.
- 朱鸿金凌紫
- 关键词:知识软件自动化
- 面向转换式程序设计的元语言TrapML
- 1990年
- 本文介绍了面向转换式程序设计的元语言TrapML。元语言TrapML是根据对面向转换式程序设计的元语言的设计原则、结构与功能等方面进行分析后提出的。该语言具有对象语言语法描述、转换规则描述和转换策略描述设施,可以比较方便地描述转换系统的行为,书写较精确或模糊的转换策略,元程序具有较高的可靠性。
- 金凌紫
- 关键词:程序设计元语言