Principles of software engineering management
Principles of software engineering management
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Agile software development
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
A framework for the measurement of software quality
Proceedings of the software quality assurance workshop on Functional and performance issues
Industrial-strength formalization of object-oriented real-time systems
Industrial-strength formalization of object-oriented real-time systems
Hi-index | 0.00 |
Software quality can be judged by various factors [1,2,3,4]. Correctness is one of the important factors that signify the capability of software to satisfy its specifications and meet customer needs. One of the means for improving correctness is by performing verification and validation. Validation can be performed at various levels, but is most effective when it is coherent with the implementation. This paper presents a process called Ucita, which supports validation using certain domain specific rules and also enhances system comprehension with navigational aids. The process does not impede regular development cycle but adds value to it by precisely validating existing implementation and providing means for generating validated source. In order to facilitate this process an experimental toolset was developed at Nokia Research Center and successfully applied on a mobile software component. The proposed process, tools and benefits of Ucita are highlighted in this paper.