Kiểm tra mô hình phần mềm

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ------------------------------- LUẬN VĂN THẠC SỸ KHOA HỌC KIỂM TRA MÔ HÌNH PHẦN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI GIAN TUYẾN TÍNH NGÀNH: CÔNG NGHỆ THÔNG TIN MÃ SỐ: PHẠM THỊ THÁI NINH Người hướng dẫn khoa học: TS. HUỲNH QUYẾT THẮNG HÀ NỘI 2006 ..1 LỜI CẢM ƠN Trước hết tôi xin gửi lời cảm ơn đặc biệt nhất tới Thầy TS Huỳnh Quyết Thắng, người đã định hướng đề tài và tận tình hướng dẫn chỉ bảo tôi trong suốt quá trình thực hiện bản luận văn cao học này,...

102p cancer23 21-08-2012 127 40   Download

Kiểm chứng mô hình (model checking) là một phương pháp hình thức dùng cho việc kiểm chứng hệ thống. Kiểm chứng mô hình khảo sát tất cả các trạng thái có thể của hệ thống và kiểm tra rằng chúng chứa sự đúng đắn đã được đặc tả. Việc sinh ra các trạng thái và kiểm tra có thể được thực hiện một cách tự động bằng phần mềm và Spin là một trong những bộ kiểm chứng (model checker) được sử dụng rộng rãi. Các bộ kiểm chứng không kiểm tra trực tiếp chương trình mà kiểm tra một...

50p truongnghen 30-08-2012 133 48   Download

Muc̣ tiêu Hiểu rõ thế giới thực liên quan đến phần mềm. Xác định các chức năng và các ràng buộc mà khách hàng yêu cầu sản phẩm phầm mềm phải có đáp ứng. Giới hạn phạm vi về phần mềm cần thực hiện. Kiểm tra sản phẩm phần mềm cuối cùng khi nghiệm thu.

25p tiendien0990 09-08-2011 109 24   Download

Bài báo giới thiệu phương pháp nghiên cứu xác định biến dạng của khung xương ôtô chở khách Transico K46 khi bị lật và rơi xuống sàn thấp bằng phần mềm Solidwork và ANSYS nhằm kiểm tra độ bền của khung xương ôtô khách theo tiêu chuẩn E/ECE/TRANS/505/66. Trên cơ sở các kết quả giới thiệu trong bài báo, chúng ta có thể triển khai các ứng dụng tương tự.

4p nganga_06 06-10-2015 123 32   Download

Chương 6 Cấu hình hệ thống thuộc bài giảng "Linux và phần mềm mã nguồn mở", nội dung trong chương này trình bày về: các thông tin cần cấu hình, công cụ để cấu hình tạm thời, các tệp cần cấu hình, công cụ để cấu hình bền vững, công cụ để kiểm tra cấu hình.

6p khangduybk 27-12-2014 63 10   Download

Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...

40p sangbanmai_0906 17-01-2018 23 2   Download

Kiểm thử là một phương pháp quan trọng để nâng cao chất lượng của một sản phẩm phần mềm được tạo ra bằng cách kiểm tra lỗi trong việc thực hiện chương trình theo một số chuẩn được gọi là chuẩn bao phủ. Kiểm thử sẽ rất tốn kém nếu nó không được hỗ trợ bởi một phương pháp hoặc một công cụ để tạo ra các bộ test. Bài báo này, chúng tôi đề xuất một phương pháp sinh dữ liệu kiểm thử tự động cho các đơn vị phần mềm dựa vào kỹ thuật kiểm chứng mô hình.

6p cumeo2425 02-07-2018 18 2   Download

Chương 6 - Cấu hình hệ thống. Chương này gồm có những nội dung chính sau: các thông tin cần cấu hình, công cụ để cấu hình tạm thời, các tệp cần cấu hình, công cụ để cấu hình bền vững, công cụ để kiểm tra cấu hình. Mời các bạn cùng tham khảo.

6p tieu_vu16 03-01-2019 13 0   Download

Ngày nay có rất nhiều phần mềm hỗ trợ cho công việc của người kỹ sư thiết kế. Giúp cho công việc của người thiết kế trở nên thuận lợi và tiết kiệm được rất nhiều thời gian. Trong các công đoạn của quá trình sản xuất cơ khí thì sự tiện ích của các phần mềm hỗ trợ thực sự có vai trò đóng góp hết sức to lớn. Từ việc lên bản vẽ thiết kế chi tiết máy đến việc mô phỏng lắp ghép và kiểm tra độ bền của các chi tiết máy trước khi đưa vào sản...

177p cucaibanhchung 19-05-2010 858 532   Download

Enterprise Architect là một phần mềm phân tích và thiết kế các UML một cách toàn diện, bao gồm phát triển phần mềm từ thu thập các yêu cầu, qua phân tích, thiết kế mô hình, kiểm tra, kiểm soát thay đổi và bảo trì để thực hiện, với truy xuất nguồn gốc đầy đủ. Enterprise Architect kết hợp sức mạnh của UML mới nhất với một hiệu suất cao, giao diện trực quan để mang lại mô hình tiên tiến nhất.Nó là một phần mềm đa người dùng, công cụ trực quan với một bộ tính năng tuyệt vời,...

25p kimthach1991 16-10-2011 947 190   Download

Phương pháp sử dụng chương trình đồ họa để mô phỏng phương thức hoạt động hay các sơ đồ hình khối hệ thống thường có mặt hầu hết trong hoạt động sản xuất, các quy trình tự động và các hoạt động thiết kế không gian. Các công cụ phần mềm điều khiển, kiểm tra quá trình hay thiết kế này được thiết lập và mô phỏng dựa trên nền phần mềm công cụ Labview

5p trannguyen1111 12-07-2010 381 170   Download

Với lý thuyết của bài toán tính toán móng cọc chịu tải trọng ngang và phương hướng giải quyết bài toán bằng phần mềm Sap2000 v.7.40 đã được đề cập ở trên, ta xây dựng thuật toán của chương trình phục vụ cho việc xây dựng chương trình. Các ký hiệu quy ước được sử dụng như sau: Khối bắt đầu và kết thúc: Khối kiểm tra (đúng hay sai): Khối nhập dữ liệu Khối thực hiện tính toán. 1 Mũi tên chỉ hướng đi của thuật toán Khối dùng để liên kết thuật toán Quá trình phân tích nội lực Hình 4.2...

11p mk_ngoc62 07-11-2010 305 110   Download

Kiểm chứng (Validation): “Chúng ta đã xây dựng đúng hệ thống ?” Khai báo vấn đề đã thực sự nắm bắt được vấn đề thực tế? Hệ thống đã đáp ứng được nhu cầu của tất cả đối tác?  Kiểm tra (Verification): “Chúng ta đã xây dựng hệ thống đúng?” Thiết kế đáp ứng đặc tả? Cài đặc đáp ứng đặc tả? Hệ thống được phân phối sẽ thực hiện điều mà nó phải làm? Các mô hình yêu cầu thống nhất với những mô hình khác?...

17p cuong1024 06-01-2011 378 74   Download

Kiểm thử chức năng: các test cases dẫn xuất từ các đặc tả chương trình. Chức năng đề cập đến nguồn gốc của thông tin được sử dụng để thiết kế trường hợp kiểm thử, không phải để kiểm thử như thế nào. Còn được gọi là: Kiểm thử dựa trên đặc tả (từ đặc tả). kiểm tra hộp đen (không có mã nguồn). Đặc tả chức năng mô tả hành vi chương trình dự định. Hình thức hoặc không hình thức....

84p lequangvudl 03-05-2013 291 69   Download

Ngôn ngữ mô hình hóa UML được sử dụng phổ biến nhất trong công nghệ phần mềm nhưng lại không đủ chặt chẽ và chưa có công cụ hỗ trợ kiểm tra tính đúng đắn của đặc tả. Do vậy, chúng ta thường phải kết hợp với các ngôn ngữ đặc tả khác để thu được bản đặc tả hệ thống vừa trực quan, dễ hiểu vừa có ngữ nghĩa chặt chẽ, được kiểm tra tự động bởi các công cụ. Và trong quá trình áp dụng các mẫu thiết kế để thu được một mô hình thiết kế tối...

105p truongnghen 30-08-2012 157 53   Download

Theo cách 2 giá phân tích được tách ra ba cột , , riêng và bạn không cần khai báo các chỉ mục trên. Xem hình. IV. Lập dự toán theo Phương pháp Phân tích đơn giá 3 1. Nạp định mức khối lượng và định dạng hồ sơ 2. Mở bảng phân tích đơn giá để kiểm tra và hiệu chỉnh 3. Lập bảng phân tích giá cước vận chuyển 4. Lập bảng phân tích giá vật liệu đến chân công trình 5. Lập bảng phân tích giá nhân công ca máy 6. Lập bảng phân tích giá NC,...

8p casapanuong 25-04-2011 109 47   Download

Bài báo này trình bày một phương pháp phát triển mô hình mô phỏng pin năng lượng mặt trời quang điện (PV) sử dụng phần mềm MATLAB / Simulink. Mô hình này được xây dựng dựa trên các khối thư viện đồ họa sẵn có của Simulink. Mô hình mô phỏng đặc điểm và tính chất ngõ ra I-V(dòng điện – điện áp) và P-V (công suất – điện áp) của pin PV. Bên cạnh đó, mô hình còn cho phép các nhà nghiên cứu kiểm tra ảnh hưởng của bức xạ mặt trời và nhiệt độ hoạt động của pin PV đến dòng điện tạo ra và điểm công suất làm việc của các mô đun PV thương mại.

6p nguyenlan4309 26-02-2019 153 25   Download

Chương 2: Mô Hình Hóa QĐ1: Có 2 loại đại lý (1,2). Có 20 quận. Trong mỗi quận có tối đa 4 đãi lý. Nhận D1 từ người dùng. Kết nối cơ sở dữ liệu. Đọc D3 từ bộ nhớ phụ. Kiểm tra “lọai đại lý”

14p kimku1 27-08-2011 70 22   Download

Trong các công ty phát triển phần mềm hầu hết công việc kiểm thử của kiểm thử viên được thực hiện thủ công bằng tay. Trong khi đó số lượng tình huống kiểm tra quá nhiều mà các kiểm thử viên không thể hoàn tất bằng tay trong thời gian cụ thể nào đó. Hoặc khi nhóm lập trình đưa ra nhiều phiên bản phần mềm liên tiếp để kiểm tra. Thực tế cho thấy việc đưa ra các phiên bản phần mềm có thể là hàng ngày, mỗi phiên bản bao gồm những tính năng mới, hoặc tính năng...

32p tinhbanpt 14-01-2013 120 19   Download

Việc xác định được trường vận tốc, sự phân bố vận tốc và độ sâu dòng chảy trong sông là một việc rất quan trọng trong ngành giao thông thủy, chỉnh trị sông và công trình ven bờ. Việc xác định trường vận tốc bằng những công thức giải tích hay bán kinh nghiệm thường cho kết quả không chính xác. Cùng với sự phát triển của công cụ máy tính và sự ra đời các phần mềm ứng dụng, việc xác định các yếu tố đặt trưng trong sông hay việc kiểm tra tác động lên công trình ngày càng trở nên sát với...

7p meoden89nd 19-01-2011 111 15   Download