Specification and Verification Techniques of Object Oriented Programs using Invariants

被引：0

作者：

Zafar, Beenish ^{[1
]}

Hassan, Zara ^{[1
]}

Nasir, Mobashirah ^{[1
]}

Naheed, Sidrah ^{[1
]}

Abid, Beenish ^{[1
]}

Fatima, Umbreen ^{[1
]}

Awan, Rimsha ^{[1
]}

机构：

[1] Univ Lahore, Lahore, Punjab, Pakistan

来源：

INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY | 2019年 / 19卷 / 08期

关键词：

Object oriented programming; Verification; Specification; Object invariants; Class invariants; OWNERSHIP;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 modem approaches and their contribution in improving the specification and verification techniques has been given in this paper.

引用

页码：39 / 50

页数：12

共 31 条

[1] [Anonymous], 1988, OBJECT ORIENTED SOFT
[2] [Anonymous], 2004, Journal of Object Technology, DOI [10.5381/jot.2004.3.6.a2, DOI 10.5381/JOT.2004.3.6.A2]
[3] Representation independence, confinement and access control [extended abstract]
Banerjee, A
Naumann, DA
[J]. ACM SIGPLAN NOTICES, 2002, 37 (01) : 166 - 177
[4] Barnett M, 2004, LECT NOTES COMPUT SC, V3125, P54
[5] Barnett M, 2006, LECT NOTES COMPUT SC, V4111, P364
[6] Ownership types for safe programming: Preventing data races and deadlocks
Boyapati, C
Lee, R
Rinard, M
[J]. ACM SIGPLAN NOTICES, 2002, 37 (11) : 211 - 230
[7] Dahl Ole-Johan, 1972, Structured Programming
[8] Universes: Lightweight Ownership for JML
Dietl, Werner
Muller, Peter
[J]. JOURNAL OF OBJECT TECHNOLOGY, 2005, 4 (08): : 5 - 32
[9] The Daikon system for dynamic detection of likely invariants
Ernst, Michael D.
Perkins, Jeff H.
Guo, Philip J.
McCarnant, Stephen
Pacheco, Carlos
Tschantz, Matthew S.
Xiao, Chen
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 69 (1-3) : 35 - 45
[10] Huizing K, 2000, LECT NOTES COMPUT SC, V1783, P208

← 1 2 3 4 →