本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法.接着介绍了一个面向对象的Prolog程序测试工具的设计与实现.
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.
王雷,侯广德.面向对象的PROLOG程序测试工具的研究与实现*.软件学报,1995,6(zk):86-93
京公网安备 11040202500063号