... Mô hình xác thực phầnmềm 10 Hình 1.2 Mô hình logic thời gian 11 Hình 1.3 Mô hình của kiểm tra mô hình phầnmềm 14 Hình 1.4 Kiểm tra mô hình phầnmềm gắn với vòng đời phần mềm 17 Hình 2.1: ... và đặc tả củaphần mềm đó. Các giai đoạn của việc kiểm tra mô hình phầnmềm được biểu diễn như sau (hình 1.3): Hình 1.3 Mô hình của kiểm tra mô hình phầnmềm Từ chương ... QUAN VỀ KIỂM TRA MÔ HÌNH PHẦNMỀM 12 1.1 Lịch sử phát triển 12 1.2 Kiểm tra mô hình phầnmềm 15 1.2.1 Khái niệm kiểm tra mô hình 15 1.2.2 Kiểm tra mô hình phầnmềm 15 1.3 Phân loại hướng...
... chứng mô hình củaphầnmềm giả lập máy rút tiền tự động ATM.ii Kiểm chứng mô hình phầnmềmsửdụng NuSMV Nông Gia TựChương 1Giới thiệu 1.1Đặt vấn đềViệc đảm bảo chất lượng phầnmềm là một ... hiện một phiên làm việc của hệ thống 265.2.3.3Biểu đồ trạng thái quá trình thực hiện giao dịch của hệ thống27iv Kiểm chứng mô hình phầnmềmsửdụng NuSMV Nông Gia Tự sử dụng lại như những hộp ... hiệu quả cho việc đảm bảo chất lượng phần mềm. Kĩ thuật này được áp dụng để chứng minh một cách tự động tính đúng đắn củaphầnmềm hoặc chỉ ra tại sao phầnmềm không chạy đúng thông qua phản...
... Kiểm chứng mô hình phầnmềmsửdụng NuSMV Nông Gia TựChương 5 Áp dụng NuSMV kiểm chứng mô hình phần mềm giả lập máy ATM1.16 Đề xuất quy trình đặc tả và kiểm chứng phầnmềmsử dụng NuSMV1.16.1 ... theo của đề tài này có thể là áp dụng NuSMV để kiểmchứng mã nguồn phần mềm. Một hướng khác là xây dựng công cụ mô hình hóa tựđộng bản thiết kế phần mềm. 35 Kiểm chứng mô hình phầnmềmsửdụng ... chứng mô hình phầnmềmsửdụng NuSMV Nông Gia TựChương 6 Kết luậnTrong khóa luận này chúng tôi đã trình bày những lý thuyết cơ bản về kiểmchứng mô hình phần mềm, nghiên cứu và áp dụng kỹ thuật...
... là ý tưởng của việc sửdụng lại thiết kế phần mềm đã được đề cập một chục năm gần đây. Tái sửdụng các thiết kế phầnmềm làm giảm thời gian xây dựng và tăng chất lượng phần mềm. Chính vì ... PHẦNMỀM SỬ DỤNG CBR Nguyễn Thị Nga Người hướng dẫn: TS.Nguyễn Việt Hà 1. Giới thiệu Hiện nay các phầnmềm ngày càng tăng về kích thước, số các chức năng và các công nghệ sử dụng. ... nghiên cứu hướng tiếp cận sửdụng lại thiết kế phầnmềm dựa trên phương pháp lập luận theo tình huống (CBR). Trong mô hình trình bày việc hỗ trợ sửdụng lại thiết kế phần mềm, được thực hiện bằng...
... Việt: Unikey; Trình duyệt web Mozilla Firefox; Phầnmềm thư điện tử máy trạm của Mozilla: Thunderbird; Hệ điều hành trên nền Linux.Kho phầnmềm tự do mã nguồn mở giáo dục được đặt tại địa ... tin) và phổ biến ứng dụng phần mềm tự do mã nguồn mở tại các trường đại học trong toàn quốc. Tổ chức cho sinh viên và các giảng viên đại học, cao đẳng tham gia cộng đồng phầnmềm tự do mã nguồn ... phòng của cơ sở giáo dục đã được Bộ GD&ĐT quy định tại Thông tư quy định vê sửdụngphầnmềm tự do mã nguồn mở trong các cơ sở giáo dục . Thông tư có hiệu lực thi hành kể từ ngày...
... việc dự đoán lỗi phần mềm. Các nội dungcủa luận văn này sẽ tập trung vào kỹ thuật dự đoán lỗi phầnmềmsửdụng phương pháp kỹ học máy 8 Chương 2 DỰ ĐOÁN LỖI PHẦNMỀMSỬDỤNG KỸ THUẬT ... đặc trưng củaphầnmềm đó chính là các tham số được sửdụng trong quá trình dự đoán lỗi. 1.1. DỰ ĐOÁN LỖI PHẦNMỀM 1.1.1. Giới thiệu Trong thuật ngữ của chuyên ngành kỹ nghệ phần mềm, Quản ... lỗi củaphầnmềm Dự đoán lỗi phầnmềm là phương pháp đánh giá các lớp trong hệ thống phầnmềm để xác định những lớp có khả năng có lỗi dựa vào các dữ liệu lịch sử qua các lần thay đổi của...
... thuật cơ bản được sửdụng trong đặc tả và kiểm chứng phần mềm. Chương 3 trình bày ngôn ngữ CafeOBJ, kỹ thuật đặc tả và kiểm chứng phần mềm bằng phương pháp hình thức được sửdụng trong CafeOBJ. ... được đề cập ở phần sau. Được xem như là một tư tưởng nổi bật của việc kiểm chứng phầnmềm và kiểm thử phần mềm. Nhờ phương pháp quy nạp này mà việc kiểm chứng các thuộc tính của hệ thống với ... QLOCK 17 Đặc tả và kiểm chứng phầnmềmsửdụng CafeOBJ Phạm Ngọc Thắng v Danh mục hình vẽ Hình 3.1: Mô đun EXAMPLE trong CafeOBJ. 8 Hình 3.2: Đặc tả của module PNAT cho ví dụ. 9 Hình...
... Spin, ngôn ngữ Promela đƣợc sửdụng để xây dựng mô hình của hệ thống và các tính chất của nó, chƣơng này trình bày các thành phần và câu lệnh cơ bản của Promela đƣợc sử dụng trong khóa luận. ... đó. Các phầnmềm đƣợc phát triển trong 1 quy trình chuyên nghiệp luôn có thể chứa lỗi mà chỉ đƣợc phát hiện sau khi đã đƣợc phân phối và đƣa vào sử dụng. Trong thiết kế phần cứng và phần mềm, ... trình. Khóa luận sửdụng công cụ jSpin cho ta giao diện đồ họa của Spin và xem xét kết quả kiểm chứng một cách trực quan. Một trạng thái của chƣơng trình là một bộ các giá trị gồm của các biến,...
... phần mềm. S> d@ng EA trongphân tích các yêu cầu phần mềm TL:Yêu cầu phầnmềm là tất cả các yêu cầu về phầnmềm do khách hàng – ngườis> d@ng phần mềm- nêu ra, bao gồm: các chức năng của ... thuộc tính chất lượngVI. Sửdụng EA trong phân tích yêu cu phn mềm: 1. Sửdụng EA hỗ trợ phân tích yêu cầu phần mềm: Xem xét cấu trúc phân cấp và cài đặt của yêu cầu phần mềm S> d@ng c>a ... gồm: các chức năng củaphần mềm, hiệu năng của phần mềm, các yêu cầu về thiết kế và giao diện, các yêu cầu đặc biệt khác.M@c đích của yêu cầu phầnmềm là xác định được phầnmềm đáp ứng đượccác...
... thông thường sửdụng logic thời gian hoc s dng ễtụmat. ắ Xỏc thc (Verification): Kim tra tính phù hợp, đúng đắn giữa mô hình phần mềm và đặc tả củaphần mềm đó. Các giai đoạn của việc kiểm ... hình phầnmềm được biểu diễn như sau (hình 1.3): Hình 1.3 Mô hình của kiểm tra mô hình phầnmềm Từ chương trình nguồn, ta sẽ mô hình hoá chương trình đó. Sau đó, sử dụng ... 12CHƯƠNG I: TỔNG QUAN VỀ KIỂM TRA MÔ HÌNH PHẦNMỀM 1.1 LỊCH SỬ PHÁT TRIỂN Kiểm tra mô hình phầnmềm đã có lịch sử phát triển từ khá sớm với mục đích đạt được là phải tự động...
... xây dựng mô hình của hệ thống. Các mô hình này cùng với đặc tả của thuộc tính cần kiểm tra là đầu vào của các bộ kiểm chứng. Khóa luận nghiên cứu việc kiểm chứng phầnmềmsửdụng Spin, cụ thể ... đó. Các phầnmềm đƣợc phát triển trong 1 quy trình chuyên nghiệp luôn có thể chứa lỗi mà chỉ đƣợc phát hiện sau khi đã đƣợc phân phối và đƣa vào sử dụng. Trong thiết kế phần cứng và phần mềm, ... trình. Khóa luận sửdụng công cụ jSpin cho ta giao diện đồ họa của Spin và xem xét kết quả kiểm chứng một cách trực quan. Một trạng thái của chƣơng trình là một bộ các giá trị gồm của các biến,...
... chứng mô hình phầnmềm và kiểm thử phầnmềm Cả kiểm chứng mô hình và kiểm thử phầnmềm đều thực hiện vai trò đảm bảo chất lượng phầnmềm bằng việc tìm ra các lỗi nếu có củaphần mềm. Tuy nhiên ... theo của đề tài này có thể là áp dụng NuSMV để kiểm chứng mã nguồn phần mềm. Một hướng khác là xây dựng công cụ mô hình hóa tự động bản thiết kế phần mềm. Kiểm chứng mô hình phầnmềmsửdụng ... hình phầnmềmsửdụng NuSMV Nông Gia Tự 1 Chương 1 Giới thiệu 1.1 Đặt vấn đề Việc đảm bảo chất lượng phầnmềm là một trong những công đoạn khó khăn nhất của việc phát triển phần mềm. ...