A Functional Approach to Test and Debug of IEEE 1687 Reconfigurable Networks