Specification Directed Module Testing

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 1, 1986, Pages 124-133

  Hayes, Ian J ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Abstract data types data type invariant; module testing; modules; packages; pre and postconditions; retrieval function; software reliability; specification language Z

Indexed keywords

COMPUTERS - DEBUGGING;

ABSTRACT DATA TYPES;

COMPUTER SOFTWARE;

EID: 0022610338     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6312926     Document Type: Article

References (10)

1. J.-R. Abrial, “The specification language Z: Basic library,” Oxford
2. G. M. Adel'son-Velskii and Y. M. Landis, “An algorithm for the organization of information” (English translation), Sov. Math. Dokl., vol. 3, pp. 1259-1262, 1962.
3. A. L. Ambler, et al., “Gypsy: A language for specification and implementation of verifiable programs,” SIGPLAN Notices (Proc. Conf. Language Design for Reliable Software), vol. 12, no. 3, pp. 1-10, Mar. 1977.
4. R. Bayer and E. M. McCreight, “Organization and maintenance of large ordered indices,” Acta Inform., vol. 1, no. 3, pp. 173-189, 1972.
5. B. Beiser, Software Testing Techniques. New York: Van Nostrand Reinhold, 1983.
6. J. Gannon, P. Mc Mullin, and R. Hamlet, “Data abstraction implementation specification and testing,” ACM Trans. Program. Lang. Syst., vol. 3, no. 3, pp. 211-223, July 1981.
7. C. B. Jones, Software Development: A Rigorous Approach. Englewood Cliffs, NJ: Prentice-Hall, 1980.
8. C. C. Morgan and B. A. Sufrin, “Specification of the UNIX file systern,” IEEE Trans. Software Eng., vol. SE-10, pp. 128-142, Mar. 1984.
9. G. J. Popek et al., “Notes on the design of Euclid,” SIGPLAN Notices (Proc. Conf. Language Design for Reliable Software), vol. 12, no. 3, pp. 11-18, Mar. 1977.
10. N. Wirth, Algorithms + Data Structures = Programs. Englewood Cliffs, NJ: Prentice-Hall, 1976.