loading
Papers

Research.Publish.Connect.

Paper

Authors: Nuha Aldausari ; Cui Zhang and Jun Dai

Affiliation: Department of Computer Science, California State University, Sacramento, CA 95819 and U.S.A.

ISBN: 978-989-758-319-3

Keyword(s): Software Security, Software Reliability, Program Specifications, Error Detection, Design by Contract, Programming Logic.

Related Ontology Subjects/Areas/Topics: Information and Systems Security ; Secure Software Development Methodologies ; Security in Information Systems ; Software Security

Abstract: Detecting errors in software products is very important to software reliability because many security vulnerabilities are caused by the defects in software. Design by contract (DBC) is an effective methodology that dynamically checks whether a program meets its specifications, which are also called design contracts, and whether there are errors in the program. The contracts for object-oriented programs are defined in terms of preconditions and postconditions for methods as well as invariants for classes. However, if there is an error in a large piece of code that has a design contract, it is still difficult to identify the exact location of that error. To address this issue, a tool named Subcontractor has been developed. Subcontractor is implemented in Eclipse environment using libraries such as Java Development Tools (JDT), Plugin Development Environment (PDE), and JFace. The tool Subcontractor is built upon an open source DBC tool, OpenJML Runtime Assertion Checking (RAC), which is a tool that verifies specifications at runtime. Subcontractor combines this DBC tool with inference rules of program logic for if-statements and loop-statements to automatically generate subcontracts for programs. When the programs, with subcontracts automatically generated and inserted by Subcontractor, are verified using OpenJML Runtime Assertion Checking (RAC), identification of errors in the code can be facilitated. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.173.234.140

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Aldausari, N.; Zhang, C. and Dai, J. (2018). Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability.In Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2 SECRYPT: SECRYPT, ISBN 978-989-758-319-3, pages 364-371. DOI: 10.5220/0006849605300537

@conference{secrypt18,
author={Nuha Aldausari. and Cui Zhang. and Jun Dai.},
title={Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability},
booktitle={Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2 SECRYPT: SECRYPT,},
year={2018},
pages={364-371},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006849605300537},
isbn={978-989-758-319-3},
}

TY - CONF

JO - Proceedings of the 15th International Joint Conference on e-Business and Telecommunications - Volume 2 SECRYPT: SECRYPT,
TI - Combining Design by Contract and Inference Rules of Programming Logic towards Software Reliability
SN - 978-989-758-319-3
AU - Aldausari, N.
AU - Zhang, C.
AU - Dai, J.
PY - 2018
SP - 364
EP - 371
DO - 10.5220/0006849605300537

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.