Scribd
Upload
978 views

Overview of Logic Based Testing: By, M.Saravanan, II-M.sc-IT

This document provides an overview of logic based testing. It discusses how logic based testers design tests from logical expressions in software artifacts like source code. It also discusses how programmers rarely use logic techniques like Boolean algebra despite it being fundamental. Additionally, it covers how hardware logic testing methods have informed software logic testing due to hardware automation being more advanced. Finally, it briefly discusses knowledge based systems, decision tables, and concludes that logic is an underutilized technique for programmers.

Uploaded by

Sara Vana
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
978 views

Overview of Logic Based Testing: By, M.Saravanan, II-M.sc-IT

This document provides an overview of logic based testing. It discusses how logic based testers design tests from logical expressions in software artifacts like source code. It also discusses how programmers rarely use logic techniques like Boolean algebra despite it being fundamental. Additionally, it covers how hardware logic testing methods have informed software logic testing due to hardware automation being more advanced. Finally, it briefly discusses knowledge based systems, decision tables, and concludes that logic is an underutilized technique for programmers.

Uploaded by

Sara Vana
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 11

Overview of Logic Based Testing

By,
M.Saravanan,
II-M.sc-IT.
Contents
• Introduction
• Programmers and logic
• Hardware Logic Testing
• Knowledge Based System
• Decision Tables
• Conclusion
Introduction
Logic based testers design
tests from logical expressions that appear in software
artifacts such as source code, design models, and
requirements specifications.
Programmers and Logic
• "Logic" is one of the most often used words in
programmers' vocabularies but one of their least
used techniques.
• Boolean Algebra is being the simplest form of logic.
• Boolean Algebra is to logic as arithmetic is to
mathematics.
Hardware Logic Testing
• Logic has been the primary tool of hardware logic
designers.
• Many test methods developed for hardware logic
testing are adapted to software logic testing.
• Because hardware testing automation is 10 to 15
years ahead of software testing automation.
• So hardware testing methods and its associated
theory is a fertile ground for software testing
methods.
Specifications Systems and Languages
• The trouble with specifications is that they’re hard to
express.
• Boolean Algebra (Sentential Calculus) is the most
basic of all logic systems.
• Higher order logic systems are needed and used for
formal specifications.
• These tools incorporate methods to simplify,
transform, and check specifications, and the
methods are to a large extent based on Boolean
algebra.
Knowledge Based Systems
• The knowledge based system( also expert system, or
artificial intelligence system) has become the
programming construct of choice for many
applications that were once considered very difficult.
• Knowledge based systems incorporate knowledge
from a knowledge domain such as medicine, law or
civil engineering into a data base.
• The data can be queried and interacted to provide
solutions to problems in that domain.
• Other implementation of knowledge based systems
is to incorporate the expert’s knowledge into a set of
rules.
Decision Tables
• A decision table is a table that consists of four areas
called the condition stub, the condition entry, the
action stub and the action entry.
• Each column of the table is a rule that specifies the
conditions under which the actions named in the
action stub will take place.
Conclusion
• "Logic" is one of the most often used words in
programmers' vocabularies but one of their least
used techniques.
• Hardware Logic Testing
• Knowledge Based System
• Decision Tables
Thank You

You might also like