Object-oriented co-DEsign and functional Test TEchniques