Implement FTA, contract-based FTA tests.

Change-Id: I4078435626a2250d72fdc9f8c4869058c2fac086
11 files changed