Nội dung chi tiết: Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
Mnc IncChương 1. GI I THI u.....................................................11.1.Đ t van đe....................................................... Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần..11.2.Các đóng góp chính của lu n án....................................61.3.Bo cục của lu n án................................................8Chương 2. KIEN THỨC NEN TẢNG.............................................92.1.Đ c tá và kiem cháng già định - đâm báo cho các h thong đ c tả bangLTS ...... Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần................................ ..."..........92.1.1.H thong chuyên trạng thái được gán nhãn.......................92.1.2.Kiem cháng gi
Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
ả định - đảm bầo cho các h thong đ c tả bang LTS . 132.2.Đ c tâ và kiem cháng già định - đảm bảo cho các h thong đ c tả banglôgic m nh đe.............Mnc IncChương 1. GI I THI u.....................................................11.1.Đ t van đe....................................................... Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần cho các h thong đ c tả bang lògicm nh đe..............................................................202.3.Đ c tả và kiem cháng giả định - đảm bào cho các h thong có ràng buscthời gian..............................................................212.3.1.H thong chuyên trạng thái có ràng bu®c thời Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phầngian.............212.3.2.Kiem cháng già định - đám báo cho các h thong có ràng bu®c thời gian 252.4.Mô hình kiem cháng giả định - đàm bảo.............
Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
...............262.5.Tống ket.........................................................27Chương 3. PHƯƠNG PHÁP SINH GIÁ ĐỈNH NHỞ NHAT VÀ MẠNH NHAT cục Mnc IncChương 1. GI I THI u.....................................................11.1.Đ t van đe....................................................... Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần.........................293.2.Các nghiên cáu liên quan.........................................313.3.Phương pháp sinh giả định dựa trên thu t toán hoc L..............333.3.1.Thu t toán hoc L.............................................333.3.2.Thu t toán sinh già định sả dụng thu t toán hoc L*...... Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần..........343.4.Phương pháp sinh già định nhỏ nhat và mạnh nhat cục b*................363.4.1.Phương pháp sinh giả định mạnh nhat cục b®..............
Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
..........373.4.2.Phương pháp sinh già định nhỏ nhat và mạnh nhat cục b®............453.5.Thực nghi m và thào lu n....................................Mnc IncChương 1. GI I THI u.....................................................11.1.Đ t van đe....................................................... Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phầnHAN MEM TIEN HÓA..............................................674.1.Giới thi u...........................................................674.2.Các nghiên cáu liên quan.............................................704.3.Phương pháp sinh giả định dựa trên thu t toán CDNF...................73 Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phầnMnc IncChương 1. GI I THI u.....................................................11.1.Đ t van đe.......................................................