beugel@cs.vu.nl (Beugel Berend Jan) (01/16/91)
Hi, I am looking for references on books and articles on software testing and verification. I am currently involved in testing the programming interface of the Amoeba distributed operating system. The interface simply consists of several libraries. Most of the programming for Amoeba is done in C. Testing and verifying the interface would be very similar to testing the Unix libraries. Most of the books I found on software testing and verification deal with the verification of big software systems such as databases, accounting programs etc. The books on module testing deal mostly with structural testing where the test programmer has access to the sources of the programs or functions to be tested. What I need is references on pure functional testing where all the test programmer has, is the manual pages for the functions to be tested. He has to verify that the functions behave as specified in the manual. This kind of testing is generally done "ad hoc". There seem to be no formal methods and CASE tools general enough to cover this kind of testing for operating systems such as Unix. Maybe I am wrong. If so, how is it done in Unix? Any ideas? Mail them to beugel@cs.vu.nl. I can summarize the responses if others are also interested. Berend Jan Beugel (beugel@cs.vu.nl).
beugel@cs.vu.nl (Beugel Berend Jan) (01/18/91)
Ranjit Singh (singh@mot.com) replied to my article in which I asked for references to publications on functional or "black-box" testing of library functions. Unfortunately all my mail to him bounces because his username is supposedly unknown. If you are reading this Raj, please send me more details on how to reach you over the net. Sorry to post this here, Berend Jan Beugel (beugel@cs.vu.nl).