The Usefulness of the Trace Assertion Method for Specifying Device Module Interfaces

Mr. Neil Stuart Erskine

Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1


This report extends the trace assertion method [Parnas,Wang] for specifying abstract module interfaces to allow specification of device interface modules. Issues related to inputs, real-time, and real-valued variables are examined using real-world examples drawn from the U.S. Naval Research Laboratory's documentation of the A-7E avionics software. Some improvements to the method described in [Parnas,Wang] are suggested.