Paper Info
Title
Integration of formal specification, review, and testing for software component quality assurance
Abstract
The reliability of software components is the most important quality required for software systems constructed using component-based development paradigm. This paper describes an approach to integrating formal specification, review, and testing for software component quality assurance. In this approach, requirements errors can be removed and missing requirements can be identified by formalizing requirements into a formal specification, and the resulting specification can then be used as a firm foundation for a rigorous review and testing of the program that is intended to provide a correct implementation. We discuss how formalization, review, and testing work together at different levels of software development for improving software quality through detecting and removing errors in documentation.
Year
DOI
Venue
2009
10.1145/1529282.1529375
SAC
Keywords
Field
DocType
software system,software component quality assurance,software component,resulting specification,requirements error,formal specification,software development,important quality,rigorous review,software quality,software systems,component based development,quality assurance
Software engineering,Software quality analyst,Computer science,Software quality control,Formal specification,Software reliability testing,Software verification and validation,Software construction,Software requirements specification,Software quality
Conference
Citations 
PageRank 
References 
3
0.44
8
Authors
3
Name
Order
Citations
PageRank
Shaoying Liu171389.48
Tetsuo Tamai233433.27
Shin Nakajima38011.46