Trace analysis for conformance and arbitration testing

摘要: The authors explore a testing approach where the concern for selecting appropriate test input provided to implementation under (IUT) is separated as much possible from analysis of observed output. Particular emphasis placed on interactions IUT in order determine whether input/output trace conforms IUT's specification. consider this aspect with particular attention communication protocol implementations. Various distributed architectures are used purpose, partial traces observable by local observers at different interfaces. error-detection power configurations determined basis visible each observer and their global knowledge about applied case. automated construction modules formal specification also discussed. Different transformations may be necessary obtain reference specification, which can or checking trace. Experience an arbiter OSI (open systems interconnection) transport described. >