A quantitative approach to testing in Quantum dot Cellular Automata: NanoMagnet Logic case