Testing of the software architecture