| 对象式程序的正确性验证方法研究 |
| |
| 引用本文： | 姚卿达,唐长宁.对象式程序的正确性验证方法研究[J].中山大学学报(自然科学版),1996,35(2):1-5. |
| |
| 作者姓名： | 姚卿达 唐长宁 |
| |
| 作者单位： | 中山大学软件研究所 |
| |
| 摘 要： | 介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．
|
| 关 键 词： | 对象式程序设计，类级正确性，系统级正确性，特征调用 |
Correctness Certification of Object-Oriented Programming |
| |
| Yao Qingda, Tang Changeing,Huang Xuan.Correctness Certification of Object-Oriented Programming[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,1996,35(2):1-5. |
| |
| Authors: | Yao Qingda Tang Changeing Huang Xuan |
| |
| Abstract: | in this paper, we investigated various traditional methods in the field of the programming correctness certification, and discussed especially the problem of the cerfifccation for object-oriented programming. We proposed the conception of class correctness and system correctness for the certification of object-oriented programming. |
| |
| Keywords: | object-oriented programming class correctness system correctness feature call |
| 本文献已被 CNKI 维普 等数据库收录！ |
