排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
本文介绍了面向转换式程序设计的元语言TrapML。元语言TrapML是根据对面向转换式程序设计的元语言的设计原则、结构与功能等方面进行分析后提出的。该语言具有对象语言语法描述、转换规则描述和转换策略描述设施,可以比较方便地描述转换系统的行为,书写较精确或模糊的转换策略,元程序具有较高的可靠性。 相似文献
2.
超文本应用软件测试充分性准则初探 总被引:1,自引:1,他引:1
在开发超文本应用软件时,测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求;节点级验证节点中所今信息的正确性,链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。 相似文献
3.
4.
5.
面向对象软件测试技术进展 总被引:43,自引:2,他引:43
金凌紫 《计算机研究与发展》1998,35(1):6-13
面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环,但目前的研究现状与面向对象的分析,设计技术以及程序设计语言的研究相比尚显薄弱。文中分析了面向对象程序设计语言的特点及其对软件测试的影响,从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面,综述有代表性的研究工作,探讨研究方向。 相似文献
6.
本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程. 相似文献
7.
1