| 摘要: |
| 本文首先对Prolog程序中的错误进行了系统的分类,并对各类错误提出了相应的测试算法.接着介绍了一个面向对象的Prolog程序测试工具的设计与实现. |
| 关键词: 测试工具,Prolog,面向对象. |
| DOI: |
| 分类号: |
| 基金项目: |
|
| RESEARCH AND IMPLEMENTATION OF OBJECT—ORIENTED TESTING TOOL FOR PROLOG PROGRAM |
|
Wang Lei,Hou Guangde
|
| 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. |
| Key words: Testing tool,Prolog,object—oriented. |