Modeling for Software Quality Assurance