Software Testing with TOSCA