CATS-Reference-Cited by-同舟云学术

CATS

Published:1991-07 Issue:4 Volume:21 Page:223-233
ISSN:0163-6006
Container-title:ACM SIGAPL APL Quote Quad
language:en
Short-container-title:SIGAPL APL Quote Quad

Author:

Jordan Maurice¹

Affiliation:

1. Marketing Decision Support Systems (S499), British Airways, Post Office Box 10, Heathrow Airport, Middlesex TW6 2JA, England

Abstract

This paper describes the implementation of an automated test system for APL functions. It extends an implementation of assertive comments in APL to derive a notation for formal specification using pre and post conditions. These conditions are APL statements and so can be built into test functions. Data supplied to provide examples is captured and subjected to mutations to test behaviour under edge conditions. The techniques make extensive use of modern APL ideas such as defined operators, phrasal forms and function assignment.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/114055.114079

Reference23 articles.

1. D.Mathieson R.Sha% and J.White: Civilising APL: An Approach to Integrated APL Systems; APLS0 Conference Proceedings North Holland Publishing Company (1980). D.Mathieson R.Sha% and J.White: Civilising APL: An Approach to Integrated APL Systems; APLS0 Conference Proceedings North Holland Publishing Company (1980).

2. LOGOS: An APL programming environment

3. Dyadic Systems: Dyalog APL Reference Manual; Dyadic Systems Ltd Riverside View Basing Road Basingstoke RG24 0AL England (1989). Dyadic Systems: Dyalog APL Reference Manual; Dyadic Systems Ltd Riverside View Basing Road Basingstoke RG24 0AL England (1989).

4. Assertive comments in APL programming