Branch-coverage testability transformation for unstructured programs

Test data generation by hand is a tedious, expensive and error-prone activity, yet testing is a vital part of the development process. Several techniques have been proposed to automate the generation of test data, but all of these are hindered by the presence of unstructured control flow. This paper addresses the problem using testability transformation. Testability transformation does not preserve the traditional meaning of the program, rather it deals with preserving test-adequate sets of input data. This requires new equivalence relations which, in turn, entail novel proof obligations. The paper illustrates this using the branch coverage adequacy criterion and develops a branch adequacy equivalence relation and a testability transformation for restructuring. It then presents a proof that the transformation preserves branch adequacy

Three Lectures on the Walrasian Hypotheses for Exchange Economies

This paper discusses the testable implications of the Walrasian hypotheses: H1 Observed market demand is the sum of consumer's demands derived from utility maximization subject to budget constraints. H2 There exists an observable (locally) unique equilibrium price system such that the observable market demand is equal to the observable market supply in every market. H3 The observed equilibrium price system is a (locally) stable equilibrium of tƒtonnement price adjustment. The main results are the Brown Matzkin Theorem: H1 is testable, and the Brown Shannon Theorem: H2 and H3 are not testable.Exchange Economies, Testable Restrictions