mda source code analysis modeling uml software model models pda switzerland pocketpc java code coverage c++ schweiz fashion static analysis unit testing europe dynamic analysis development j2ee family