Testing Techniques for Software Agents