A Generic Framework Facilitating Automated Quality Assurance across Programming Languages of Disparate Paradigms.

Owens, Darryl (2016) A Generic Framework Facilitating Automated Quality Assurance across Programming Languages of Disparate Paradigms. Doctoral thesis, Edge Hill University.

[img] Text
Owens Darryl - Thesis - Final - Cover sheet - 2016.05.11.docx
Restricted to Repository staff only
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (228kB)
[img]
Preview
Text
Owens Darryl - Thesis - Final - 2016.05.11.pdf
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (3MB) | Preview

Abstract

This research aims to outline a framework based on procedural and object-oriented Paradigms that facilitates generic automated quality assurance. Along with the outline, a skeleton framework has been developed to evaluate the research, and the final aim is to expand the footprint of the framework; theoretical inclusion of other programming paradigms has been discussed. This research developed a taxonomy of quality assurance techniques in order to identify potential candidates for generic quality assurance and also to minimise experimental requirements, as the taxonomy categories are generated based on implementation requirements; this means that a category can be deemed feasible within the scope of this framework if a single technique can be implemented. The novel aspects of this research are the taxonomy, paradigm-specific framework, and finally the theorised paradigm-generic framework. An experimental method has been used to provide evidence to support the claims made by this research, which is accompanied by a study of literature providing a foundation for all areas discussed. Although a paradigm-generic framework can be achieved, the internal representation used in this research showed that application of the logical paradigm would not be simple and has little benefit in the scope of automated quality assurance. This being said, procedural, object-oriented, and functional paradigms have been demonstrated as feasible with significant impact on programming language development and automated quality assurance of software.

Item Type: Thesis (Doctoral)
Uncontrolled Keywords: automated quality assurance; programming paradigms; software quality assurance
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Computing and Information Systems
Date Deposited: 20 Jun 2016 10:03
URI: http://repository.edgehill.ac.uk/id/eprint/7778

Archive staff only

Item control page Item control page