首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  免费   0篇
  国内免费   2篇
自动化技术   7篇
  1998年   3篇
  1997年   1篇
  1991年   1篇
  1990年   2篇
排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
金凌紫 《计算机学报》1990,13(6):420-428
本文介绍了面向转换式程序设计的元语言TrapML。元语言TrapML是根据对面向转换式程序设计的元语言的设计原则、结构与功能等方面进行分析后提出的。该语言具有对象语言语法描述、转换规则描述和转换策略描述设施,可以比较方便地描述转换系统的行为,书写较精确或模糊的转换策略,元程序具有较高的可靠性。  相似文献   
2.
超文本应用软件测试充分性准则初探   总被引:1,自引:1,他引:1  
金凌紫  朱鸿 《软件学报》1997,8(A00):130-136
在开发超文本应用软件时,测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求;节点级验证节点中所今信息的正确性,链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。  相似文献   
3.
4.
情形实例驱动的软件需求模型自动生成   总被引:5,自引:0,他引:5  
通过对使用情形的分析来进行需求获取和需求分析可以使软件需求分析的工作较为系统和有序。由于每一个情形实例都只从特定的使用者的角度,根据所需达到的特定使用目的,针对特定的使用条件,来描述一个复杂系统中的一个局部,与对整个复杂系统的需求进行分析和描述相比,在特定情形实例下对软件需求进行分析与描述较简单。然而,如何保证情形实例描述之间的一致性,如何从情形实例的描述获得整个软件系统的需求定义则是以情形实例分  相似文献   
5.
面向对象软件测试技术进展   总被引:43,自引:2,他引:43  
面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析,设计技术以及程序设计语言的研究相比尚显薄弱。文中分析了面向对象程序设计语言的特点及其对软件测试的影响,从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面,综述有代表性的研究工作,探讨研究方向。  相似文献   
6.
朱鸿  金凌紫 《计算机学报》1991,14(6):432-444
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.  相似文献   
7.
安全性需求分析旨在需求分析阶段识别应用系统对安全性的特殊要求,为系统设计、实现和测试提供科学依据。本文以医院信息系统为例,探讨计算机应用系统安全性需求分析的方法以及针对安全性需求进行软件系统结构设计的方法。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号