Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Systematic Review of Verification and Validation in Dynamic Programming Languages
Blekinge Institute of Technology, School of Engineering, Department of Systems and Software Engineering.
Blekinge Institute of Technology, School of Engineering, Department of Systems and Software Engineering.
2008 (English)Independent thesis Advanced level (degree of Master (One Year))Student thesis
Abstract [en]

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.

Place, publisher, year, edition, pages
2008. , 67 p.
Keyword [en]
Systematic Review, Verification and Validation, Dynamic Languages
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:bth-3239Local ID: oai:bth.se:arkivexC784F0EAE0FECB81C12574E900424679OAI: oai:DiVA.org:bth-3239DiVA: diva2:830540
Uppsok
Technology
Supervisors
Note
Farrakh Saeed +46765597558Available from: 2015-04-22 Created: 2008-10-21 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(830 kB)139 downloads
File information
File name FULLTEXT01.pdfFile size 830 kBChecksum SHA-512
7f30c5ee7bd13266a2e156bd82dbeb3d3a1e58dd67438a1db334a0d502c0d4af8c7487787b4eded6bece0027ecf90a3ed5dc3d4b2356503f1f075b68cc20720b
Type fulltextMimetype application/pdf

By organisation
Department of Systems and Software Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 139 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 39 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf