Testing and static code analysis