发送短信 : An enhancement of slicing test algorithm for integration testing of embedded system