Esi testing techniques for tracing and validating requirements