... động trong lĩnh vực kiểm thử, góp một phần nhỏ cho việc hoàn thiện đề tài: Nghiên cứu kỹ thuật PTKNKT phần mềm và mở rộng tính năng công cụ SATAN, thử nghiệm trong môi trường SCICOS và SIMULINK, ... một phần của đề tài: Nghiên cứu kỹ thuật phân tích khả năng kiểm thử phần mềm và mở rộng tính năng công cụ SATAN, thử nghiệm trong môi trường SCICOS và SIMULINK, Cấp nhà nước – Nghị định thư, ... chúng rất có giá trị. Đó là lý do mà tôi chọn nghiên cứu và thực hiện đề tài Nghiên cứu ứng dụng công cụ SATAN 1 để phân tích khả năng kiểm thử phần mềm cho các thiết kế trên môi trường...