Article

Efficiency analysis of model-based review in actual software design

Authors:

Hitoshi Furusawa,

Eun-Hye Choi,

Hiroshi WatanabeAuthors Info & Claims

ICSE '06: Proceedings of the 28th international conference on Software engineering

Pages 604 - 607

https://doi.org/10.1145/1134285.1134372

Published: 28 May 2006 Publication History

Get Access

Abstract

In this paper, we quantitatively analyze the efficiency of the Model-Based Review (MBR) method in an actual software design from the two points of view; cost and reviewability. The MBR method is a modeling procedure for the purpose of reviewing preliminary design specifications of web-based applications. We have collected process data in applying both of the MBR method and an ordinary review to a preliminary design of a developing web-based library system. Analyzing the collected process data, we quantitatively compare the efficiency of the MBR method and that of the ordinary review. As a result of this comparative analysis, we show that the MBR method is superior to the ordinary review in terms of not only reviewability but also cost through the experimental design process.

References

[1]

E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.

Digital Library

Google Scholar

[2]

H. Furusawa, E. Choi, and H. Watanabe. Efficiency analysis of model-based review in actual software design. In Program- ming Science Technical Report, AIST-PS-2005-018, 2005.

Google Scholar

[3]

H. Furusawa, H. Watanabe, T. Kawamoto, and E. Choi. Data collecting experiment to evaluate efficiency of a formal method - In preliminary design of a Web system (in Japane- se). In Proc. of the Second Symposium on Science and Technology for System Verification, pages 196--204, 2005.

Google Scholar

[4]

Y. Takagi, T. Tanaka, N. Niihara, K. Sakamoto, S. Kusumoto, and T. Kikuno. Analysis of review's effective- ness based on software metrics. In Proc. of the 6th Interna- tional Symposium on Software Reliability Engineering.

Google Scholar

[5]

UPPAAL. http://www.uppaal.com/.

Google Scholar

[6]

H. Watanabe and T. Kawamoto. Model-based review method for preliminary specifications of web-applications (In Japanese). In Proc. of the Second Symposium on Science and Technology for System Verification, pages 122--133, 2005.

Google Scholar

Index Terms

Efficiency analysis of model-based review in actual software design

Recommendations

Adaptable Design for Root Cause Analysis of a Model-Based Software Testing Process
ITNG '15: Proceedings of the 2015 12th International Conference on Information Technology - New Generations

Model-Based Testing (MBT) is a method for automating software testing and improving fault detection by using an abstracted model of the system under test to systematically generate and execute test cases. One of the main challenges in MBT is the ...
Software Design Specification Proposal of a Diagnostic Decision Support System for Clinical Low Back Pain
Abstract
Low Back Pain (LBP) is a prevalent health issue that affects many people's daily functioning and well-being. However, diagnosing LBP is challenging because it requires expert knowledge of the spine's structure and function. Therapists usually rely ...
Introduction to the Wellmade Design Methodology

An overview of a design methodology called WELLMADE is presented. WELLMADE is a synthesis of results obtained from recent research on software engineering and the experience gained at HIS/Phoenix. The principles, procedures, and notation of WELLMADE are ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '06: Proceedings of the 28th international conference on Software engineering

May 2006

1110 pages

ISBN:1595933751

DOI:10.1145/1134285

General Chair:
Leon J. Osterweil
University of Massachusetts, USA
,
Program Chairs:
Dieter Rombach
TU Kaiserslautern, Germany
,
Mary Lou Soffa
University of Virginia, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 20 - 28, 2006

Shanghai, China

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
341
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Adaptable Design for Root Cause Analysis of a Model-Based Software Testing Process

Software Design Specification Proposal of a Diagnostic Decision Support System for Clinical Low Back Pain

Introduction to the Wellmade Design Methodology