Behavioral testing of multilevel system software

Abstract Behavioral testing techniques for multilevel system software are presented. An error model of the system is defined. Concepts such as operator's cardinality, operator's ordering, test sequence ambiguity, error coverage are introduced. Such concepts lead to a set of theorems and criteria upon which test sequences' evaluation and optimum (in terms of minimum ambiguity and maximum coverage) test procedure identification are performed.

[1]  Algirdas Avizienis,et al.  Fault Tolerance by Design Diversity: Concepts and Experiments , 1984, Computer.

[2]  Maurice H. Halstead,et al.  Elements of software science , 1977 .

[3]  Ted G. Lewis,et al.  An Interleave Principle for Demonstrating concurrent Programs , 1984, IEEE Software.

[4]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[5]  John B. Goodenough,et al.  Toward a theory of test data selection , 1975 .

[6]  A. Nico Habermann.  Synchronization of Communicating Processes , 1972, Commun. ACM.

[7]  Leon J. Osterweil,et al.  Data Flow Analysis in Software Reliability , 1976, CSUR.

[8]  Lee J. White,et al.  A Domain Strategy for Computer Program Testing , 1980, IEEE Transactions on Software Engineering.

[9]  Leslie Lamport,et al.  Concurrent reading and writing , 1977, Commun. ACM.

[10]  William E. Howden,et al.  Functional Program Testing , 1978, IEEE Transactions on Software Engineering.

[11]  H. E. Dunsmore,et al.  Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support , 1983, IEEE Transactions on Software Engineering.

[12]  Flaviu Cristian,et al.  Exception Handling and Software Fault Tolerance , 1982, IEEE Transactions on Computers.