Inter-context control-flow and data-flow test adequacy criteria for nesC applications