文章基本信息

标题：Specification and Verification Techniques of Object Oriented Programs using Invariants
本地全文：下载
作者：Beenish Zafar ; Zara Hassan ; Mobashirah Nasir 等
期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2019
卷号：19
期号：8
页码：39-50
出版社：International Journal of Computer Science and Network Security
摘要：The consistency and correctness of object oriented programs greatly rely on the extent to which object invariants hold. But while dealing with object invariants there are many related issues that need to be addressed to ensure a completely reliable object oriented software. These issues include ownership transfer, sub-classing, dynamic binding and modular reasoning. A lot of work has been done in the last decade on improving the consistency of object oriented softwares using object invariants and class invariants. A detailed analysis of all the modern approaches and their contribution in improving the specification and verification techniques has been given in this paper.
关键词：Object oriented programming; Verification; Specification; Object invariants; Class invariants.