A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

Sharygina, Natasha; Browne, James C.; Kurshan, Robert P.

doi:10.1007/3-540-45314-8_23

Cited by 33 publications

(23 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Property inheritance allows new subclasses to be built on top of super classes by inheriting variables and methods of the super class. The process of inheritance encourages reuse of previously defined data attributes and procedures in a more specific manner [3,5,8]. Polymorphism means that operations have multiple meanings depending on the types of their arguments.…”

Section: Object Oriented Design Propertiesmentioning

confidence: 99%

Reusability Estimation Model for Object Oriented Software

Chopra¹,

Dhanda²

2015

International Advanced Research Journal in Science, Engineering

View full text Add to dashboard Cite

Estimating Reusability near the beginning in the software development life cycle, particularly at design phase, may help the designers to integrate required improvement and corrections for improving overall quality of the developed software. This research paper proposes a framework for reusability estimation that provides step by step solution for reusability estimation of object oriented software. As well as study developed a multivariate regression model ‗Reusability Estimation Model for Object-Oriented software' at design phase of software development process. Proposed model has been mathematically validated through proper statistical measures and contextual explanation has been drawn. This study facilitates the software developers, designer and quality controllers, the inclusion of reusability estimation model to access and quantify software reusability for quality product. Reusability estimation in early stage of software development life cycle always supports the designers to improve the reusability of product class diagram and consequently the reusability of software.

show abstract

Section: Object Oriented Design Propertiesmentioning

confidence: 99%

Reusability Estimation Model for Object Oriented Software

Chopra¹,

Dhanda²

2015

International Advanced Research Journal in Science, Engineering

View full text Add to dashboard Cite

show abstract

“…Earlier work on design for verification focused on verification of UML models [36] and use of design patterns in improving the efficiency of automated verification techniques [32]. Sharygina et al [36] focus on verification of UML models, whereas we focus on verification of programs.…”

Section: Related Workmentioning

confidence: 99%

“…Sharygina et al [36] focus on verification of UML models, whereas we focus on verification of programs. Similar to our work, Mehlitz et al [32] also suggest using design patterns in improving the efficiency of the automated verification.…”

Section: Related Workmentioning

confidence: 99%

Highly dependable concurrent programming using design for verification

Betin-Can

Bultan

2007

Form. Asp. Comput.

View full text Add to dashboard Cite

Abstract. There has been significant progress in automated verification techniques based on model checking. However, scalable software model checking remains a challenging problem. We believe that this problem can be addressed using a design for verification approach based on design patterns that facilitate scalable automated verification. In this paper, we present a design for verification approach for highly dependable concurrent programming using a design pattern for concurrency controllers. A concurrency controller class consists of a set of guarded commands defining a synchronization policy, and a stateful interface describing the correct usage of the synchronization policy. We present an assume-guarantee style modular verification strategy which separates the verification of the controller behavior from the verification of the conformance to its interface. This allows us to execute the interface and behavior verification tasks separately using specialized verification techniques. We present a case study demonstrating the effectiveness of the presented approach.

show abstract

“…ObjectCheck has been successfully applied in model checking the xUML models of a number of interesting examples such as a robot controller system, which is previously reported in [13], and an online ticket sale system. An illustration of applying ObjectCheck to the online ticket sale system follows.…”

Section: Applicationsmentioning

confidence: 99%