Inlämning av Examensarbete / Submission of Thesis

Farrakh Saeed; Muhammad Saeed MSE-2008-19, pp. 67. TEK/avd. för programvaruteknik, 2008.

The work

Författare / Author: Farrakh Saeed, Muhammad Saeed
fasa06@student.bth.se, ms.msaeed@gmail.com
Titel / Title: Systematic Review of Verification and Validation in Dynamic Programming Languages
Abstrakt Abstract:

The Verification and Validation provides support to improve the quality of the software. Verification and Validation ensures that the product is stable and developed according to the requirements of the end user. This thesis presents a systematic review of dynamic programming languages and verification & validation practices used for dynamic languages. This thesis presents results found in dynamic programming languages and verification & validation over the period of 1985 – 2008. The study is aimed to start from
identification of dynamic aspects along with the differences between static and dynamic languages. Furthermore, this thesis is also intends to give overview of the verification and
validation practices for dynamic languages.
Moreover to validate the verification and validation results, a survey consisting of (i) interviews and (ii) online survey is conducted. After the analysis of systematic review, it has been found that dynamic languages are making progress in some of the areas like integration of common development framework, language enhancement, dynamic aspects etc. The Dynamic languages are lacking in providing a better performance than static languages. There are also some factors found in this study that can raise the popularity of dynamic languages in the industry.
Based on the analysis of systematic review, interviews and online survey, it is concluded that there is no difference between the methodologies available for Verification and Validation. It is also revealed that dynamic languages provide support to maintain software quality with their characteristics and dynamic features. Moreover, they also
support to test softwares developed with static language.
It is concluded that test driven development should be adopted while working with the dynamic languages. Test driven development is supposed to be a mandatory part of
dynamic languages.

Ämnesord / Subject: Datavetenskap - Computer Science\Software Engineering

Nyckelord / Keywords: Systematic Review, Verification and Validation, Dynamic Languages

Publication info

Dokument id / Document id:
Program:/ Programme Programvaruteknik/Software Engineering
Registreringsdatum / Date of registration: 10/21/2008
Uppsatstyp / Type of thesis: Magisterarbete/Master's Thesis (60 credits)

Context

Handledare / Supervisor: Dr.Robert Feldt
robert.feldt@bth.se
Examinator / Examiner: Dr.Robert Feldt
Organisation / Organisation: Blekinge Institute of Technology
Institution / School: TEK/avd. för programvaruteknik
S-372 25 Ronneby
+46 455 38 50 00
Anmärkningar / Comments:

Farrakh Saeed
+46765597558