| Prolog逻辑程序的测试方法 |
| |
| 引用本文： | 罗钢 陈俊亮. Prolog逻辑程序的测试方法[J]. 计算机学报, 1991, 14(11): 838-844 |
| |
| 作者姓名： | 罗钢 陈俊亮 |
| |
| 作者单位： | 北京邮电学院计算机系，北京邮电学院计算机系，北京邮电学院计算机系 北京 100088，北京 100088，北京 100088 |
| |
| 摘 要： | Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.
|
| 关 键 词： | Prolog语言 软件 逻辑程序 测试 |
TESTING METHOD FOR PROLOG LOGIC PROGRAM |
| |
| Luo Gang,Chen Junliang and Yuan Xun. TESTING METHOD FOR PROLOG LOGIC PROGRAM[J]. Chinese Journal of Computers, 1991, 14(11): 838-844 |
| |
| Authors: | Luo Gang Chen Junliang Yuan Xun |
| |
| Abstract: | Based on the experiences in testing Prolog Program, a series of criteria to generate test cases for Prolog program are proposed |
| |
| Keywords: | Software testing logic program Prolog language. |
| 本文献已被 CNKI 维普 等数据库收录！ |
