Nghiên cứu phương pháp xây dựng tự động mô hình

Tóm tắt Nghiên cứu phương pháp xây dựng tự động mô hình: ...hử tự động đang được xem là giải pháp tiềm năng để giải quyết vấn đề này. Bên cạnh đó, các phương pháp kiểm chứng mô hình [7] hứa hẹn sẽ là cách tiếp cận hiệu quả nhằm chứng minh tính đúng đắn của phần mềm. Để áp dụng các phương pháp kiểm chứng mô hình và các phương pháp kiểm thử tự động, ch...ự động” cho nghiên cứu của mình. Đề tài này nhằm mục đích nghiên cứu phương pháp xây dựng mô hình tự động mô tả chính xác hành vi của hệ thống, làm cơ sở cho việc áp dụng các kỹ thuật kiểm chứng mô hình và kiểm thử tự động nhằm góp phần nâng cao chất lượng phần mềm. Nội dung của luận văn đượ...ình ứng viên nếu không tương thích. Giải pháp thứ hai là xây dựng mô hình sử dụng thuật toán Thompson [11]. Phương pháp này xây dựng ôtômát hữu hạn như một mô hình mô tả chính xác hành vi của thành phần phần mềm C tương đương với biểu thức chính quy sinh tập dẫn xuất trên C. Chương 4 giới th...