Assertive comments in APL programming
APL '86 Proceedings of the international conference on APL
LOGOS: An APL programming environment
APL '86 Proceedings of the international conference on APL
ACM SIGAPL APL Quote Quad
Introduction to special section on software testing
Communications of the ACM
The growth of software testing
Communications of the ACM
APL '89 Conference proceedings on APL as a tool of thought
The A+ programming language, a different APL
APL '90 Conference proceedings on APL 90: for the future
APL '90 Conference proceedings on APL 90: for the future
APL '90 Conference proceedings on APL 90: for the future
APL '90 Conference proceedings on APL 90: for the future
Toward a common prototyping language
APL '90 Conference proceedings on APL 90: for the future
Profiling, performance, and perfection (tutorial session)
APL '89 Proceedings of the ACM/SIGAPL conference on APL as a tool of thought (session tutorials)
A commentary on APL development
ACM SIGAPL APL Quote Quad
Software Engineering
Softwear Reliability
Function assignment and arrays of functions
APL '84 Proceedings of the international conference on APL
Hi-index | 0.00 |
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.