發送短信 : Model-based integration testing technique using formal finite state behavioral models for component-based software