[comp.software-eng] Formal Specifications as a Basis for Software Testing

ianb@cs.warwick.ac.uk (Ian Bridge) (06/26/91)

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.

-- 
+------------------------------------------------------------+
|  Ian Bridge                                                |
|  Dept.Comp.Sci., Warwick U., Coventry, U.K.                |
|  Internet: ianb@cs.warwick.ac.uk                           |

ianb@cs.warwick.ac.uk (Ian Bridge) (06/26/91)

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.

-- 
+------------------------------------------------------------+
|  Ian Bridge, Dept.Comp.Sci., Warwick U., Coventry, U.K.    |
|  Internet: ianb@cs.warwick.ac.uk                           |
+------------------------------------------------------------+