An Automated and Systamatic Approach for Testing and Debugging Networks and Reads Router Configurations