Aspect-Oriented Built-in Testing for Services