UNITIVLOGICBASEDTESTINGObjectivesUnderstand.docVIP

UNIT IV LOGIC BASED TESTING: Objectives : Understand the concept of Logic based testing. Learn about Decision Tables and their application Understand the use of decision tables in test-case design and know their limitations. Understand and interpret KV Charts and know their limitations. Learn how to transform specifications into sentences and map them into KV charts. Understand the importance of don’t-care conditions. OVERVIEW OF LOGIC BASED TESTING : INTRODUCTION: The functional requirements of many programs can be specified by decision tables, which provide a useful basis for program and test design. Consistency and completeness can be analyzed by using boolean algebra, which can also be used as a basis for test design. Boolean algebra is trivialized by using Karnaugh-Veitch charts. Logic is one of the most often used words in programmers vocabularies but one of their least used techniques. Boolean algebra is to 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. Logic has been, for several decades, the primary tool of hardware logic designers. Many test methods 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 fertile ground for software testing methods. As programming and test techniques have improved, the bugs have shifted closer to the process front end, to requirements and their specifications. These bugs range from 8% to 30% of the total and because theyre first-in and last-out, theyre the costliest of all. The trouble with specifications is that theyre hard to express. Boolean algebra (also known as the sentential calculus) is the most basic of all logic systems. Higher-order logic systems are needed and used for formal specifications. Much of logical analysis