A Generic Framework for

Automated Quality Assurance

of Software Models Supporting
Languages of Multiple
Paradigms
Authors of the Manuscript: Darryl Owens and Mark Anderson
Reported by: Bernadette A. dela Cruz

Each language will be aligned with

the paradigm (Imperative
Programming, Functional
Programming, Logic Programming,
Object-Oriented Programming) ,
which closely matches its
specification
The type of language paradigm will
determine the type of analysis tool to
be used.

A Framework for Automating Software Quality

Assurance (Partial)

The type of language paradigm will

determine the type of analysis tool to
be used:
(e.g. JNuke and Parasoft would be
closely aligned to object-orientation
in supporting Java and C++. Malpas,
Polyspace and FPT are aligned to
procedural languages such as Ada,
FORTRAN and C. Cantata++ would
addresses both procedural and
object-oriented

A Framework for Automating Software Quality Assurance

Research work - continuation or

improvement of previous work
Previous work that has been undertaken to pursue this
research:
Removal of numerical drift from scientific models: a case study
using WRF(weather research and forecasting) in which
computer programs often behave differently under different
compilers or in different computing environments.
Differences due to: different interpretations of errors in the
code, because of bugs in the compilers or because of
numerical drift

SOLUTION: implement language independence thru

internal representation removes any language specific
issues and allow QA techniques to be implemented

The type of language paradigm will

determine the type of analysis tool to
be used:
(e.g. JNuke and Parasoft would be
closely aligned to object-orientation
in supporting Java and C++. Malpas,
Polyspace and FPT are aligned to
procedural languages such as Ada,
FORTRAN and C. Cantata++ would
addresses both procedural and
object-oriented

A Framework for Automating Software Quality Assurance

The type of language paradigm will

determine the type of analysis tool to
be used:
(e.g. JNuke and Parasoft would be
closely aligned to object-orientation
in supporting Java and C++. Malpas,
Polyspace and FPT are aligned to
procedural languages such as Ada,
FORTRAN and C. Cantata++ would
addresses both procedural and
object-oriented

A Framework for Automating Software Quality Assurance