Abstract

A Generic Framework for Automated Quality Assurance of Software Models –Implementation of an Abstract Syntax Tree

Highlights

  • To ensure the reliability of output, it is imperative that Software Quality Assurance (QA) is adopted in the development and maintenance of scientific software systems [1]

  • A proposal for the use of the Generic AST Meta-model (GASTM) as a form of Internal Representation (IR) for automated quality assurance was theorized under the ideas that both static and dynamic analysis could be implemented upon this internal representation (IR) via the processes described by the flow diagrams in figure 3, 4 and 5 [31]

  • This was achieved by running a conversion back into source code from the GASTM IR via a tree walker, this would have to be implemented with every language due to library and specific method calls that are unique to that language

Read more

Summary

INTRODUCTION

To ensure the reliability of output, it is imperative that Software Quality Assurance (QA) is adopted in the development and maintenance of scientific software systems [1]. The integration of such techniques can either be performed manually, which is labour intensive, or utilise automated toolkits [2] [3] which alleviate these problems. This paper proposes a framework that would address these limitations by introducing a taxonomy of generic techniques combined with a generic internal representation (IR) of languages. This paper focuses on addressing issues in procedural and object-oriented languages as these are the most widely adopted paradigms in the development of scientific software [4]

CURRENT APPLICATIONS OF ASTS
GENERATING ASTS
LANGUAGE INDEPENDENCE
PROPOSAL FOR ABSTRACT SYNTAX TREE
VIII. IMPLEMENTATION
LIQA Functionality
GASTM Representation
Tools used in development
Limitations
Analysis Test
Proposal Modifications
CONCLUSION
Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.