發送短信 : Software reliability analysis and its applications /