ABSTRACT
This article discusses the logic analysis of a program, points out problems with the logic analysis process in general use, and introduces an approach to logic analysis that is more effective and less time consuming. The new method generates logic paths out of programs and preanalyzes the paths in lieu of directly analyzing the program. Three preanalysis software tools are introduced: procedure logic path generator, program logic path generator, and logic path preanalyzer. Sample outputs are given to demonstrate the difference between program analysis and logic path analysis.
- Myers, G. J. The Art of Software Testing. New York: John Wiley & Sons, 1979. Google ScholarDigital Library
- Van Tassel, D. Program Style Design, Efficiency, Debugging, and Testing. Englewood Cliffs, N.J.: Prentice-Hall, 1978. Google ScholarDigital Library
Recommendations
Team Logic and Second-Order Logic
Logic, Language, Information and ComputationTeam logic is a new logic, introduced by Väänänen [12], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing functional dependence of variables on each other. It is known that on the ...
Constructive linear-time temporal logic: Proof systems and Kripke semantics
In this paper we study a version of constructive linear-time temporal logic (LTL) with the ''next'' temporal operator. The logic is originally due to Davies, who has shown that the proof system of the logic corresponds to a type system for binding-time ...
The completion of the emergence of modern logic from Boole's the mathematical analysis of logic to Frege's begriffsschrift
ICLA'11: Proceedings of the 4th Indian conference on Logic and its applicationsModern logic begins with Boole's The Mathematical Analysis of Logic when the algebra of logic was developed so that classical logic syllogisms were proven as algebraic equations and the turn from the logic of classes to propositional logic was ...
Comments