Bài giảng Độ tin cậy phần mềm

Bài giảng Công nghệ phần mềm - Chương 6: Kiểm tra chất lượng phần mềm trình bày các nội dung về độ tin cậy của phần mềm; Kiểm tra và các chiến lược kiểm tra phần mềm; Kỹ thuật kiểm thử phần mềm và đặc điểm; Chứng minh toán học tính đúng đắn của chương trình.

22p vihizuzen 28-04-2025 1 1   Download

Nửa đầu 1960: ít quan tâm đến phần mềm, chủ yếu tập trung nâng cao tính năng và độ tin cậy của phần cứng. Giữa những năm 1960 phát triển hệ điều hành như phần mềm lớn (IBM OS/360, ECOS). xuất hiện nhu cầu về quy trình gỡ lỗi, kiểm thử trong phạm vi giới hạn

34p nhuongld 03-05-2012 167 26   Download

Bài giảng Các mô hình kiến trúc nêu  quản trị được, có độ tin cậy, có khả năng thích ứng và chi phí hợp lý.  Dễ dàng thiết kế, các thành phần được bố trí một cách hữu dụng.  Quan hệ nội tại giữa các thành phần.  Cấu trúc phần mềm theo modules quản lý sự phức tạp – chia để trị.

30p model_12 22-04-2014 113 9   Download

Bài giảng Cung cấp chi phí cho độ tin cậy phần mềm (Cost Allocation For Software Reliability) nêu lên độ tin cậy của một module được phát triển in-house, độ tin cậy của một module mua, độ tin cậy của một module tích hợp, mô hình quyết định trước, mô hình chung.

28p cocacola_17 09-12-2015 59 2   Download

Bài 9 - Quản lý chất lượng phần mềm. Bài giảng bao gồm các nội dung: Khái niệm về chất lượng phần mềm và đảm bảo chất lượng phần mềm, rà soát kỹ thuật - formal technical review, độ đo chất lượng - software Quality metrics, đánh giá độ tin cậy, tránh lỗi và thứ lỗi...Mời các bạn cùng tham khảo.

46p lienmy12398 22-08-2016 210 33   Download

Bài giảng Công nghệ phần mềm: Bài 9 cung cấp cho người đọc những kiến thức như: Khái niệm về chất lượng phần mềm và đảm bảo chất lượng phần mềm; Rà soát kỹ thuật - Formal technical review; Độ đo chất lượng - Software Quality metrics; Đánh giá độ tin cậy; Tránh lỗi và thứ lỗi - Fault tolerance and avoidance (reliability and availability). Mời các bạn cùng tham khảo!

46p chankora08 04-07-2023 18 7   Download

Bài giảng Ứng dụng GIS và viễn thám trong cảnh quan (Applying GIS and remote sensing in landscape) cung cấp kiến thức tổng quát về Hệ thống thông tin địa lý (Geographic Information System- GIS), viễn thám, mô hình dữ liệu GIS, phân tích dữ liệu GIS. Giúp người học nắm bắt cách thức sử dụng phần mềm GIS xây dựng, phân tích dữ liệu GIS, viễn thám và trình bày bản đồ phục vụ cho thiết kế, quản lý cảnh quan (quy hoạch, trồng, chăm sóc cây xanh).

8p zizaybay1107 19-07-2024 24 1   Download

Mục tiêu của môn học Ứng dụng GIS và viễn thám trong cảnh quan cung cấp kiến thức tổng quát về Hệ thống thông tin địa lý (Geographic Information System- GIS), viễn thám, mô hình dữ liệu GIS, phân tích dữ liệu GIS. Nắm bắt cách thức sử dụng phần mềm GIS xây dựng, phân tích dữ liệu GIS, viễn thám và trình bày bản đồ phục vụ cho thiết kế, quản lý cảnh quan (quy hoạch, trồng, chăm sóc cây xanh).

8p dongcoxanh2510 29-10-2022 21 6   Download

p 01-01-1970   Download

Chương mở đầu trình bày những nội dung chính sau: Khái niệm độ tin cậy và tính sẵn sàng, các sách lược dự phòng, các biện pháp dự phòng nóng, cơ chế an toàn, cơ chế khởi động lại, cơ chế an toàn, cơ chế bảo mật, cơ chế bảo trì.

19p kexauxi4 01-10-2019 55 3   Download

Mục tiêu của việc thực hiện luận văn Thạc sĩ Giáo dục học: Xây dựng hệ thống bài tập trắc nghiệm khách quan và thiết kế trên máy vi tính để nâng cao chất lượng giảng dạy phần Hóa vô cơ lớp 12 - ban Cơ bản là nhằm xây dựng hệ thống bài tập trắc nghiệm khách quan có nhiều lựa chọn phần Hóa vô cơ lớp 12 - Ban cơ bản có độ tin cậy cao; thiết kế chương trình trắc nghiệm khách quan trên máy vi tính bằng phần mềm SQL Sever 2000.

118p maiyeumaiyeu03 21-07-2016 108 13   Download

.Cùng xem bạn nên chọn “vũ khí” nào cho máy tính của mình nhé! Tầm quan trọng của phần mềm diệt virus thì không phải bàn cãi, tuy nhiên lựa chọn được một chương trình phù hợp lại chẳng dễ chút nào. Yêu cầu về tính ổn định, độ tin cậy, không gây ảnh hưởng đến tốc độ khởi động máy hoặc chạy ứng dụng... luôn rất đáng bàn.

11p nhulan0908 28-09-2012 116 17   Download

Ký pháp Z, hay còn được gọi là ngôn ngữ Z được xây dựng dựa trên lý thuyết tập hợp và logic toán học. Đây là một ngôn ngữ toán học chặt chẽ, được sử dụng chủ yếu trong đặc tả hình thức để đặc tả các yêu cầu chức năng của 1 hệ thống, đặc biệt là hệ thống phần mềm. Ngôn ngữ Z không được thiết kế để mô tả các yêu cầu phi chức năng của hệ thống, ví dụ như công dụng, hiệu năng, kích thước hay độ tin cậy của hệ thống. Ngôn ngữ cũng không được thiết kế cho các...

17p spamspam 16-01-2011 669 145   Download