This work is a part of the authors’ undertaking in bringing out an internal technical note on the state of the art practices in software quality assurance (SQA) in aerospace industries as well as the state of the art in the computing literature covering the last five-year period.