Project for SE-420 (Software Quality Assurance) at Embry-Riddle Aeronautical University