Partially introducing formal methods into object-oriented development: case studies using a metrics-driven approach

Authors:
Yujun Zheng;Jinquan Wang;Kan Wang;Jinyun Xue
Affiliations:
Systems Engineering Institute of Engineer Equipment, Beijing, China;Systems Engineering Institute of Engineer Equipment, Beijing, China;Academy of Armored Force Engineering, Beijing, China;Institute of Software, Chinese Academy of Sciences, Beijing, China
Venue:
FM'06 Proceedings of the 14th international conference on Formal Methods
Year:
2006

Citing 18
Cited 0

A Practical View of Software Measurement and Implementation Experiences Within Motorola

IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Object-oriented software metrics: a practical guide

Object-oriented software metrics: a practical guide
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
A Critique of Software Defect Prediction Models

IEEE Transactions on Software Engineering
An empirical methodology for introducing software processes

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Metrics and Models in Software Quality Engineering

Metrics and Models in Software Quality Engineering
Replicated Case Studies for Investigating Quality Factorsin Object-Oriented Designs

Empirical Software Engineering
Prediction of Run-Time Failures Using Static Product Quality Metrics

Software Quality Control
A Critical Analysis of Current OO Design Metrics

Software Quality Control
Quantitative Analysis of Development Defects to Guide Testing: A Case Study

Software Quality Control
A Metrics Suite for Object Oriented Design

IEEE Transactions on Software Engineering
Object-oriented metrics: an overview

CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Software Engineering (7th Edition)

Software Engineering (7th Edition)
A new reusability metric for object-oriented software

Software Quality Control
An extension of COCOMO II for the B-Method

Proceedings of the 2006 international workshop on Economics driven software engineering research
Cleanroom Software Engineering

IEEE Software
Software Structure Metrics Based on Information Flow

IEEE Transactions on Software Engineering
Developing high quality software with formal methods: what else is needed?

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Among researchers and practitioners, there are disputations about whether, where, and to which degree formal methods worth their cost. Based on our experiences of industrial software projects over the last years, we develop an empirical approach of partially introducing formal methods into object-oriented software development. Once an initial architecture design is available, object-oriented metrics can be useful criteria for selecting core parts of software systems for formal treatment. Case studies of the application of our approach show that partially adopting formal methods could achieve a satisfying balance between investment and product quality in a cost-effective way.