Formal Specifications as a Basis for Software Testing

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Ian Bridge Tue, 25 Jun 1991 14:57

#470

Author: Ian Bridge
Date: Tue, 25 Jun 1991 14:57

9 lines
885 bytes

I am currently engaged in a project to investigate methods for 
developing module and system test procedures on the basis of 
formal specifications of their functional behaviour.

Although I am aware of the work published by P.A.V.Hall ('88) and
I.J.Hayes ('85) I would interested to hear of any related work
in this area together with any comments on the adequacy of this 
approach.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads