kiểm thử cấu hình phần mềm
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ín
Ngày tải lên :
10/11/2012, 10:08
... CÁC HÌNH VẼ, ĐỒ THỊ
Hình vẽ, đồ thị Trang
Hình 1.1 Mô hình xác thực phần mề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ần mềm 14
Hình 1.4 Kiểm tra mô hình ... tra mô hình phần mềm.
1.2.2 Kiểm tra mô hình phần mềm
Kiểm tra mô hình phần mềm (Software model checking) có hai ý nghĩa chính:
¾ Kiểm tra mô hình phần mềm với mục đích chính là kiểm thử, xác ... Kiểm tra mô hình phần mềm gắn với vòng đời phần
mềm
17
Hình 2.1: Các cách tiếp cận kiểm tra mô hình phần mềm 19
Hình 2.2 Các bước cơ bản trong kiểm tra mô hình phần mềm 19
Hình 2.3: Các cách...
- 102
- 956
- 15
Kiểm chứng mô hình phần mềm sử dụng nusmv
Ngày tải lên :
23/11/2012, 15:03
... chứng mô hình và NuSMV 4
2.1Tổng quan về kiểm chứng mô hình 4
2.1.1Giới thiệu 4
2.1.2Ý nghĩa của kiểm chứng mô hình 5
2.1.3Sự khác nhau giữa kiểm chứng mô hình phần mềm và kiểm thử phần
mềm 5
2.2NuSMV ... hang
31
Kiểm chứng mô hình phần mềm sử dụng NuSMV Nông Gia Tự
Hình 5.8.Kết quả kiểm chứng mô hình tổng thể hệ thống.
Hình 5.9.Kết quả kiểm chứng mô hình phiên làm việc của hệ thống.
Hình 5.10. ... Kiểm chứng mô hình phần mềm sử dụng NuSMV Nông Gia Tự
Chương 2
Tổng quan về kiểm chứng mô hình và
NuSMV
2.1Tổng quan về kiểm chứng mô hình
2.1.1Giới thiệu
Kiểm chứng mô hình là kỹ...
- 48
- 708
- 0
hồ sơ quản lý cấu hình phần mềm
Ngày tải lên :
13/04/2013, 09:55
... hợp về cấu
hình phần mềm.
Sau khi lập kế hoach quản lý cấu hình và xây dựng danh mục cấu
hình phần mềm ta phải kiểm soát cấu hình đó,tiến hành bảo trì, đánh
giá trạng thái của cấu hình. Trên ... định các
yêu cầu về
phần cứng và
phần mềm cần
sử dụng
Bản yêu cầu về
phần cứng và
phần mềm
QTDA
5 Xây dựng danh
mục cấu hình
Danh mục cấu
hình
QLCH
2. Kiểm soát cấu hình
STT Mô tả hoạt ... việc
kiểm soát cấu
hình
Báo cáo kiểm
soát cấu hình
QLCH
3. Lu trữ cấu hình
STT Mô tả hoạt
động
Sản phẩm Ngời thực hiện Tài liệu hớng
dẫn
1 Lu trữ toàn bộ
cấu hình của
phần mềm hiện
thời
Biên...
- 16
- 583
- 5
KIỂM CHỨNG MÔ HÌNH PHẦN MỀM SỬ DỤNG NUSMV
Ngày tải lên :
25/04/2013, 10:42
... phê duyệt
Kiểm chứng mô hình phần mềm sử 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 ATM
1.16 Đề xuất quy trình đặc tả và kiểm chứng phần mềm sử
dụng ... tick
trong LTL.
Ví dụ:
11
Kiểm chứng mô hình phần mềm sử dụng NuSMV Nông Gia Tự
Danh mục hình vẽ
Hình 2.1. Nguyên tắc họat động của kiểm chứng mô hình.
Hình 2.2. Sơ đồ kiến trúc NuSMV.
Hình 5.1. Biểu đồ ... quả kiểm chứng mô hình tổng thể hệ thống.
Hình 5.9. Kết quả kiểm chứng mô hình phiên làm việc của hệ thống.
Hình 5.10. Kết quả kiểm chứng mô hình thực hiện giao dịch hệ thống.
vi
Kiểm chứng mô hình...
- 45
- 718
- 2
Nghiên cứu và đề xuất các phương pháp kiểm thử giao diện phần mềm
Ngày tải lên :
11/02/2014, 13:43
... 3
Hình 1.3 – Kiểm thử hồi quy tại các mức kiểm thử phần mềm khác
1.2.5. Kiểm thử chấp nhận
1.3. Các phương pháp kiểm thử phần mềm
1.3.1. Kiểm thử hộp trắng
Trong kiểm thử hộp trắng, ...
CHƢƠNG 3
KIỂM THỬ GIAO DIỆN PHẦN MỀM
3.1. Khái niệm kiểm thử giao diện phần mềm
3.2. Kiểm thử như thế nào
3.2.1. Nguyên tắc chung khi kiểm thử giao diện phần mềm
3.3. Danh mục kiểm thử giao ... trung vào kiểm thử luồng điều khiển và kiểm thử luồng dữ liệu.
Hình 1.4 – Kiểm thử hộp trắng
1.3.2. Kiểm thử hộp đen – Black box testing
Hình 1.5 – Kiểm thử hộp đen
1.3.3. Kiểm thử hộp...
- 10
- 798
- 1
Kiểm tra chất lượng phần mềm
Ngày tải lên :
16/08/2012, 10:24
... chức năng.
• Kiểm thử cận dưới
• Kiểm thử cận trên: cho hệ thống thực hiện đến mức tối hạn.
• Kiểm thử qua sự cố: tạo ra các sự cố để kiểm thử phần mềm.
6.3.2.3. Nguyên tắc kiểm thử
• Nguyên ...
bại phần mềm. Một thất bại phần mềm là một sự kiện thi hành mà khi đó phần mềm
hành xử không như người ta mong đợi. Chú ý rằng một thất bại phần mềm khác nột hư
hỏng phần mềm. Hư hỏng phần mềm ... lùi).
121
Chương 6: Kiểm tra chất lượng phần mềm
Trừ hệ thống nhỏ, nói chung không nên kiểm thử nguyên cả khối; quá trình
kiểm thử có thể chia 5 giai đoạn:
1. Thử đơn vị
2. Thử module
3. Thử hệ con
4. Thử hệ...
- 22
- 1.1K
- 9
Cách kiểm tra cấu hình máy tính
Ngày tải lên :
23/08/2012, 11:01
... Kiểm tra cấu hình hệ thống với PC
Wizard 2008
PC Wizard 2008 hiển thị chi tiết thông tin cấu hình máy tính.
TTO - Một hệ thống máy tính phụ thuộc rất nhiều vào cấu hình phần cứng và nhiều phần ... của hệ điều hành Windows Một cách
kiểm tra khác hữu hiệu hơn là dùng PC Wizard 2008.
Đây là chương trình dễ sử dụng, vừa hỗ trợ kiểm tra cả phần cứng lẫn phần mềm, vừa giúp
đo lường khả năng ... hệ thống máy tính phụ thuộc rất nhiều vào cấu hình phần cứng và nhiều phần
mềm cài đặt khác nhau.
Chúng ta có thể kiểm tra bằng cách mở thùng máy để xem các thiết bị bên trong, có thể
thông...
- 2
- 2.8K
- 13
Một số biện pháp nâng cao hiệu quả hoạt động kênh phân phối tiêu thụ sản phẩm phần mềm công nghiệp ở Công ty TNHH Hệ Thống Quy( Hà Nội)
Ngày tải lên :
09/11/2012, 09:07
... chính thức và
duy nhất các sản phẩm phần mềm công nghiệp:
+ Sản phẩm Phần mềm Điều khiển Công nghiệp của
Wonderware Corp., hàng đầu Thế giới về các phần mềm (HMI) liên kết
với thiết bị điều ... động kênh
phân phối tiêu thụ sản phẩm phần mềm công nghiệp ở Công ty TNHH
Hệ Thống Quy”.
Đề tài gồm 3 chương:
Chương 1: Dự báo thị trường sản phẩm phần mềm và phương hướng
kinh doanh của Công ...
sản phẩm của hãng Wonderware. Số lượng phần mềm mà Công ty nhập
từ hãng Wonderware là các phương thức mua thông qua các bản hợp
đồng trực tiếp. Phần mềm Wonderware sẽ được trực tiếp tới tay...
- 56
- 785
- 0
20 Đẩy mạnh công tác tiêu thụ sản phẩm phần mềm Kế toán Fast accounting tại Công ty Cổ phần phần mêm quản lý doanh nghiệp (Fast)
Ngày tải lên :
19/03/2013, 16:51
... ẢN PHẨM PHẦN
MỀM KẾ TOÁN FAST ACCOUTING TẠI CÔNG TY CỔ PHẦN PHẦN
MỀM QUẢN LÝ DOANH NGHIỆP FAST 13
I. MỘT SỐ ĐẶC ĐIỂM KINH TẾ KĨ THUẬT ẢNH HƯỞNG ĐẾN TÌNH HÌNH
TIÊU THỤ SẢN PHẨM PHẦN MỀM KẾ TOÁN ... truyền hình, đài phát thanh …
- Qua các danh bạ trang vàng, trang trắng của ngành bưu điện.
27
1. Đặc điểm về sản phẩm
Fast Accounting là dòng sản phẩm phần mềm kế toán của công ty Cổ phần phần
mềm ...
Trong số các phần mềm kế toán hiện có trên thị trường Việt Nam, Fast Accounting
là phần mềm được khách hàng đánh giá cao nhất. Fast được bình chọn là “công ty
đứng đầu về phần mềm kế toán doanh...
- 59
- 1.1K
- 4
nghiên cứu tính toán kết cấu bằng phần mềm matap theo phương pháp phần tử hữu hạn
Ngày tải lên :
16/04/2013, 08:54
... năm nhịp
Kết cấu cầu chính loại cầu dầm liên tục năm nhịp 40m+3x70m+40m
3.2. Mơ hình phần tử hữu hạn và các yếu tố được xem xét
Kết cấu được mơ hình hố theo phương
pháp phần tử hữ hạn (PTHH) ... (PTHH) và phân tích theo
mơ hình khơng gian. Kết cấu cầu liên tục được
mơ phỏng bởi năm loại phần tử. Phần tử dầm có
3 bậc tự do mỗi nút, có 6 bậc tự do trong mỗi
phần tử.
Ta đưa ra sơ đờ ... Khoa học” lần thứ 6 Đại học Đà Nẵng - 2008
192
NGHIÊN CỨU TÍNH TOÁN KẾT CẤU BẰNG PHẦN MỀM
MATLAP THEO PHƯƠNG PHÁP PHẦN TỬ HỮU HẠN
STUDING ABOUT CONSTRUCTION CALCULATION BY MATLAB
SOFTWARE...
- 5
- 1.2K
- 7