• Tổng quan về lý thuyết kiểm thửTổng quan về lý thuyết kiểm thử

    Kiểm thử phần mềm là gì? Kiểm thử phần mềm là việc kiểm tra kết quả thực hiện của chương trình máy tính xem có đúng với mục tiêu đã đặt ra với nó không thông qua việc thực hiện ở một số mẫu thử. Kiểm thử phần mềm là việc tìm ra lỗi trong bản thân phần mềm, việc kiểm thử này trong phần mềm sẽ biểu thị ra những thiếu sót mà ta có thể nhận thấy trong ...

    pdf11 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 621 | Lượt tải: 1

  • Thực hành với Visual Basic (Phần 2)Thực hành với Visual Basic (Phần 2)

    Sử dụng Câu lệnh InputBox Lệnh (hàm) InputBox có chức năng nhập dữ liệu từ người dùng, tương tự như Readln trong PAscal, scanf trong C, Accept trong Foxpro . Hàm InputBox có thể nhận một trong 3 tham số quan trọng là: Dòng nhắc “Prompt”, Tiêu đề của hộp thoại “Title” và giá trị mặc định “Default”. Hàm này trả về giá trị mà người dùng vừa nhập. ...

    pdf72 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 521 | Lượt tải: 1

  • Thực hành với Visual Basic (Phần 1)Thực hành với Visual Basic (Phần 1)

    Sử dụng các hộp thoại Hiển thị các loại hộp thoại OPEN Hộp thoại Open (Open dialog) là một hộp thoại chuẩn cho phép người dùng chọn một file hay một thư mục. Thực hành: Viết chương trình mở một file (Text hoặc rtf) và hiển thị trong điều khiển Richtext Box. Các bước thực hiện: Bước 1: Tạo một Project mới Bước 2: Vào menu Project → Component...

    pdf69 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 560 | Lượt tải: 1

  • Bài giảng Thiết kế luận lý 1 - Chương 6: Bộ đếm và thanh ghi - Nguyễn Quang HuyBài giảng Thiết kế luận lý 1 - Chương 6: Bộ đếm và thanh ghi - Nguyễn Quang Huy

    Bộ đếm với MOD number < 2N • Ngõ xuất của cổng NAND được kết nối với ngõ nhập bất đồng bộ CLR của mỗi FF – Ngõ xuất = HIGH: không ảnh hưởng đến bộ đếm – Ngõ xuất = LOW: các FF sẽ bị xoá về 0, tương ứng bộ đếm sẽ về trạng thái 000 ngay lập tức • 2 ngõ nhập của cổng NAND là 2 tín hiệu ngõ xuất B và C, ngõ xuất cổng NAND = LOW khi B = C = 1 – ...

    pdf59 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 724 | Lượt tải: 1

  • Bài giảng Thiết kế luận lý 1 - Chương 5: Flip-Flop và mạch tuần tự - Nguyễn Quang HuyBài giảng Thiết kế luận lý 1 - Chương 5: Flip-Flop và mạch tuần tự - Nguyễn Quang Huy

    NAND Gate Latch • FF cơ bản nhất có thể được xây dựng từ 2 cổng NAND hoặc 2 cổng NOR • FF tạo thành từ 2 cổng NAND được gọi là NAND gate latch hay latch • Ngõ ra cổng NAND-1 nối vào ngõ nhập của cổng NAND-2 và ngược lại • Output được đặt tên là Q và Q’ (Q và Q’ luôn ngược nhau trong điều kiện bình thường – X/X’, A/A’.). • Có 2 input: – SE...

    pdf50 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 522 | Lượt tải: 1

  • Bài giảng Thiết kế luận lý 1 - Chương 5: Các phép toán và mạch số học - Nguyễn Quang HuyBài giảng Thiết kế luận lý 1 - Chương 5: Các phép toán và mạch số học - Nguyễn Quang Huy

    Trường hợp đặc biệt của bù-2 • Bit dấu bằng 1, N bit lượng số bằng 0: số thập phân tương đương là -2N – Ví dụ: 1000 = -23 = -8 10000 = -24 = -16 100000 = -25 = -32 • Bit dấu bằng 0, N bit lượng số bằng 1: số thập phân tương đương là +(2N – 1) – Ví dụ: 0111 = +(23 – 1) = +7 • Khoảng giá trị có thể biểu diễn bằng hệ thống bù-2 với N bit lượ...

    pdf30 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 474 | Lượt tải: 1

  • Bài giảng Thiết kế luận lý 1 - Chương 4: Các phép toán và mạch số học - Nguyễn Quang HuyBài giảng Thiết kế luận lý 1 - Chương 4: Các phép toán và mạch số học - Nguyễn Quang Huy

    Biểu diễn số có dấu (2) • Hệ thống sign-magnitude tuy đơn giản nhưng thông thường không được sử dụng do việc hiện thực mạch phức tạp hơn các hệ thống khác • Dạng bù-1 (1’s-Complement Form) – Chuyển mỗi bit của số nhị phân sang dạng bù – Ví dụ: 1011012  010010 (số bù-1) • Dạng bù-2 (2’s-Complement Form) – Cộng 1 vào vị trí bit LSB (trọng số...

    pdf30 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 544 | Lượt tải: 1

  • Bài giảng Thiết kế luận lý 1 - Chương 3: Các mạch luận lý tổ hợp - Nguyễn Quang HuyBài giảng Thiết kế luận lý 1 - Chương 3: Các mạch luận lý tổ hợp - Nguyễn Quang Huy

    Quy tắc rút gọn bìa Karnaugh • Khoanh vòng (looping) là quá trình kết hợp các ô kề nhau lại với nhau. Thông thường ta khoanh các ô chứa giá trị 1. • Ngõ xuất có thể được đơn giản hóa bằng cách khoanh vòng. dce Qui tắc tính giá trị của 1 vòng • Khi một biến xuất hiện cả dạng đảo và không đảo trong một vòng, biến đó sẽ được đơn giản khỏi biểu...

    pdf47 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 512 | Lượt tải: 1

  • Bài giảng Thiết kế luận lý 1 - Chương 2: Đại số Boole và các cổng luận lý - Nguyễn Quang HuyBài giảng Thiết kế luận lý 1 - Chương 2: Đại số Boole và các cổng luận lý - Nguyễn Quang Huy

    Đại số Boole • Đại số Boole, cũng tương tự như các hệ đại số khác, được xây dựng thông qua việc xác định nghĩa một số những vấn đề cơ bản sau: – Miền (domain), là tập hợp (set) các phần tử (element) mà trên đó định nghĩa nên hệ đại số – Tập hợp các phép toán (operation) thực hiện được trên miền – Một tập hợp các định đề (postulate), hay tiê...

    pdf32 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 652 | Lượt tải: 1

  • Bài giảng Thiết kế luận lý 1 - Chương 1: Các hệ thống số đếm và mã - Nguyễn Quang HuyBài giảng Thiết kế luận lý 1 - Chương 1: Các hệ thống số đếm và mã - Nguyễn Quang Huy

    Ưu điểm của hệ số • Dễ thiết kế (Design) – Mạch chuyển mạch (Switching circuits) • Thông tin được lưu dễ dàng (Information storage) • Độ chính xác cao (Accuracy and presicion) • Các hoạt động có thể được lập trình (Programmed) • Ít bị ảnh hưởng nhiễu (Noise) • Có nhiều mạch số được chế tạo thành chip chuyên dụng(IC).

    pdf36 trang | Chia sẻ: thanhle95 | Ngày: 01/07/2021 | Lượt xem: 579 | Lượt tải: 1