A Methodology to Design an Advanced Framework for Efficient Modelling and Testing of Manets