Αποστολή με SMS: Logic Testing and Design for Testability