Universiti Teknologi Malaysia Institutional Repository

A review state of the art software verification approaches

Wan Kadir, Wan Mohd. Nasir and Lusiana, Lusiana (2008) A review state of the art software verification approaches. In: Proceedings Of 4th Postgraduate Annual Research Seminar PARS 08, 2008, Kuala Terengganu.

Full text not available from this repository.

Official URL: http://comp.utm.my/publications/files/2013/04/Stat...

Abstract

The qualified software has becoming great challenge in developing new software. In order to ensure that quality is built into software meet with user requirement then the software V&V activities is substantially required for checking the software against its specification. Numerous approaches are available today that is used to verify the requirement engineering and design phase make us difficult to select an appropriate method for V&V effort. The first challenge of this paper is to find out the suitable methods to apply to verification in requirement engineering and design phase through making the comparative study. It introduces an evaluation framework based on both of the requirement quality model and the process modeling. Finally, this paper presents the significant result of the evaluation.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Software Verification and Validation (V&V), Requirement Specification, Design model
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:19759
Deposited By: Mrs Liza Porijo
Deposited On:16 Aug 2017 03:46
Last Modified:16 Aug 2017 03:47

Repository Staff Only: item control page