vd4-tr52

A.E: mệnh đề dữ liệu ra

{B1}={B[r|r-y]:x,y,q,r-yEN,x=qy+r-y,0<=r-y<y}
{B2}={B[q|q+1]:x,y,q+1,rEN,x=(q+1)y+r,0<=r<y}
Ktra {A.E}=>{B2}??
------------------------------------------------
BT3:
P1: s=0
i=1;
while i=n do {
s += ai;
i += 1;
}
{B}
------------------------------------------------
BT4:
{A}
x=y+5;
P1;
if E1 then P2;
while E1 do P3;
while E2 do{
P2;
x=y+7;
}
P3;
-------------------------------------------------
1.viết các đoạn chương trình của các thuật toán xử lý cơ bản(sắp xếp, tìm kiếm,...)
để kiểm chứng đoạn chương trình đó đúng
2.chuẩn bị đề tài nhóm để kiểm tra module
---------------------------------------------------
1.nắm được ví dụ
2.sử dụng phân lớp tương đương để xd bộ dữ liệu testcase cho chức năng 2 ( trang
72)
3.sử dụng phân lớp tương đương để xd bộ dữ liệu testcase cho chức năng nhóm đã chọn
------------------------------------------------------
Bài nhóm : nộp trc 1-1

phải đánh số trang

1.tlyêu cầu và 2.thiết kế chức năng: thiếu
ktra module: ko đc dùng bộ testcase
ktra tương đương ko cần tách dòng của bảng trong loại gtrị đầu vào
diễn tiến: giá trị đầu vào là bộ testcase đầy đủ, không phải mô tả

-----------------------------------------------------------------
Bài thi:

4 lý thuyết: 4 câu 4 điểm

6 đ bài tập: C4, C5, C6: mỗi chương 1 câu - 2 điểm