Model-Driven Test Generation of Distributed SystemsThis report describes a novel test generation technique for distributed systems. Utilizing formal models and formal verification tools, spe cifically the Symbolic Analysis Laboratory (SAL) tool-suite from SRI, we present techniques to generate concurrent test vectors for distrib uted systems. These are initially explored within an informal test validation context and later extended to achieve full MC/DC coverage of the TTEthernet protocol operating within a system-centric context.
Document ID
20120014302
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Easwaran, Arvind (Honeywell International, Inc. Golden Valley, MN, United States)
Hall, Brendan (Honeywell International, Inc. Golden Valley, MN, United States)
Schweiker, Kevin (Honeywell International, Inc. Golden Valley, MN, United States)