The document discusses formal approaches to software quality assurance (SQA). It states that SQA can be improved through software engineering practices like technical reviews, multi-tiered testing, controlling work products and changes, and following standards. It also argues that a more rigorous mathematical approach is needed for SQA since programs can be viewed as mathematical objects with rigorous syntax and semantics defined for languages, allowing proofs of correctness.

1. Dr.S.Karthigai Selvi
Department of Computer Science and
Applications
The Gandhigram Rural Institute -DTBU
Gandhigram
Formal Approaches to SQA

2. Software Engineering Practices
 Software engineering
practice as well as
through the application
of technical reviews, a
multi-tiered testing
strategy, better control
of software work
products and the
changes made to
them, and the
application of accepted
software engineering
standards.
Technical Reviews
Multi-tiered testing
Control of software
work products

3. Necessity of Approaches
 Software engineering community
has argued that a more formal
approach to software quality
assurance is required.
 Argument of SQA
 Program is Mathematical concepts
 A rigorous syntax and semantics
can be defined for every
programming language, and a
rigorous approach to the
specification of software
requirements is available.
 If the requirements model
(specification) and the
programming language can be
represented in a rigorous manner, it
should be possible to apply
mathematic proof of correctness to
Software
Program
Mathm
atical
Object
s
Syntax
Semanti
cs
Mathematical Proof is
Essential