An Efficient Code-defect Testing Distributed System