exception cobertura; service operation implementation; cobertura;