IPv4-Editor - Baseimplementation with Verification and Testenviroment