A framework and tool supports for testing modularity of software design