[spec] Add test coverage analysis