Paper Info
Title
A Framework For Integrating Formal Specification, Review, And Testing To Enhance Software Reliability
Abstract
Software risk comes mainly from its poor reliability, but how to effectively achieve high reliability still remains a challenge. This paper puts forward a framework for systematically integrating formal specification, review, and testing, and shows how it can be applied to effectively eliminate errors in the major phases of software development process to enhance software reliability. In this framework, requirements errors can be removed and missing requirements can be identified by formalizing requirements into formal specifications whose validity can be ensured by rigorous review. The valid specification can then be used as a firm foundation for implementation and for rigorous inspection, testing, and walkthrough of the implemented program. We discuss how formalization, review, and testing work together at different levels of software development to improve software reliability through detecting and removing errors in documentation.
Year
DOI
Venue
2011
10.1142/S0218194011005268
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Keywords
Field
DocType
Software development framework, formal specification, review, testing, reliability
Data mining,Systems engineering,Computer science,White-box testing,Formal specification,Software reliability testing,Software requirements specification,Software verification and validation,Software construction,Reliability engineering,Non-functional testing,Software development
Journal
Volume
Issue
ISSN
21
2
0218-1940
Citations 
PageRank 
References 
8
0.56
14
Authors
3
Name
Order
Citations
PageRank
Shaoying Liu171389.48
Tetsuo Tamai233433.27
Shin Nakajima31507216.49