Programmers and Logic
Hardware Logic Testing
Specification Systems and Languages
Knowledge based system
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 logic as arithmetic is to mathematics. Without it, the tester or programmer is cut off from many test and design techniques and tools that incorporate those techniques
Hardware Logic Testing:
Logic was the primary tool for hardware logic designers for several decades
Most of the test methods which are developed for hardware logic can be adapted to software logic testing
Because hardware testing automation is 10 to 15 years ahead of software testing automation, hardware testing methods and its associated theory is a productive ground for software testing methods
Specification Systems and Languages
the bugs are shifted closer to the process front ends as programming and test techniques are improved to requirements and their specifications
The range of these bugs are from 8% to 30% of the total and they are costliest of all because they ar first in and last out
The problem with specification is they are hard to express
Boolean algebra which is also known as the sentential calculus is the most basic of all logic systems
Higher-order logic systems are needed and used for manual specification
Much of logical analysis can be embedded in tool. But these tools involve methods to simplify, transform and check specification, and the methods are to a large extent based on boolean algebra
Knowledge base System
Knowledge base System which is also called as expert system or "artificial intelligence" system has became the programming construct of choice for many application that were once considered very difficult
From a knowledge domain like medicine, law or civil engineering , the knowledge based systems incorporate knowledge into a database
To solve the problem in this domain, the data is queried and interacted
One implementation of knowledge base systems is to incorporate the expert's knowledge in to a set of rules. The user can then provide data and task questions based on that data
The user's data is processed through the rule base to yield conclusions (tentative or definite) and requests more data. The processing is done by a program called the inference engine
By understanding the formal logic, the knowledge based systems and their validation problems can be easily understood
Most of the business data processing uses decision tables and these preprocessors are commonly used as extensions to COBOL.
In the implementation of these processors, the boolean algebra is embedded in it
Although programmed tools are nice to have, most of the benefits of boolean algebra can be obtained by manual means, if you have the right conceptual tool, which is the Karnaugh-Veitch diagram
0 comments:
Post a Comment