Model-Driven Test Generation of Distributed Systems

[摘要] This 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 ofthe TTEthernet protocol operating within a system-centric context.

[发布日期] 2012-09-01

[学科分类] 计算机系统及组成