###
DOI:
Journal of Software:1995.6(zk):86-93

面向对象的PROLOG程序测试工具的研究与实现*
王雷,侯广德
(哈尔滨工程大学计算机与信息科学系,哈尔滨150001)
RESEARCH AND IMPLEMENTATION OF OBJECT—ORIENTED TESTING TOOL FOR PROLOG PROGRAM
Wang Lei,Hou Guangde
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2004   Download 2228
Received:April 01, 1994    Revised:August 13, 1994
> 中文摘要: 本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法.接着介绍了一个面向对象的Prolog程序测试工具的设计与实现.
Abstract:In this paper,the errors in Prolog program aresystematically classed,and the corresponding testing algorithm is presented.Then design and implementation of object—oriented testing tool for Prolog program is introduced.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

王雷,侯广德.面向对象的PROLOG程序测试工具的研究与实现*.软件学报,1995,6(zk):86-93

Wang Lei,Hou Guangde.RESEARCH AND IMPLEMENTATION OF OBJECT—ORIENTED TESTING TOOL FOR PROLOG PROGRAM.Journal of Software,1995,6(zk):86-93