Đang chuẩn bị liên kết để tải về tài liệu:
Bài giảng Chương 6: Testing

Bài giảng Chương 6: Testing giới thiệu đến các bạn những nội dung về khái niệm testing, các chiến lược testing, những nguyên tắc quan trọng nhất trong testing, Với các bạn đang học chuyên ngành Công nghệ thông tin thì đây là bài giảng tham khảo hữu ích dành cho các bạn. | Testing Mục đích Giúp hiểu về: Internal testing External testing General testing strategies Vì sao? Khó có thể khẳng định 1 CT lớn có làm việc chuẩn hay không Khi XD 1 CT lớn, 1 LTV chuyên nghiệp sẽ dành thời gian cho việc viết test code không ít hơn tg dành cho viết bản thân CT LTV chuyên nghiệp là người có khả năng, kiến thức rộng về các kỹ thuật và chiến lược testing Testing and debugging Testing & debugging đi cùng với nhau như 1 cặp: Testing tìm errors; debugging định vị và sửa chúng. Ta có mô hình “testing/debugging cycle”: Ta test, rồi debug, rồi lặp lại. Bất kỳ 1 debugging nào nên được tiếp theo là 1 sự áp dụng lại của hàng loạt các tests liên quan, đặc biệt là các bài tests hồi quy. Điều này giúp tránh nảy sinh các lỗi mới khi debugging. Testing & debugging không nên được thực hiện bởi cùng 1 người (thường là không nên). Khái niệm Testing Beizer: Việc thực hiện test là để chứng minh tính đúng đắn giữa 1 phần tử và các đặc tả của nó. Myers: Là quá trình thực hiện 1 CT với mục đích tìm ra những lỗi. IEEE: Là quá trình kiểm tra hay đánh giá 1 hệ thống hay 1 thành phần hệ thống một cách thủ công hay tự động để kiểm chứng rằng nó thỏa mãn những yêu cầu đặc thù hoặc để xác định sự khác biệt giữa kết quả mong đợi và kết quả thực tế Program Verification Lý tưởng: Chứng minh được rằng CT của ta là chính xác, đúng đắn Có thể chứng minh các thuộc tính của CT? Có thể CM điều đó kể cả khi CT kết thúc?!!! Program Checker program.c Right/Wrong Specification ? Program Testing Thực dụng: Thuyết phục bản thân rằng CT có thể làm việc Testing Strategy program.c Probably Right/Wrong Specification External vs. Internal Testing Các loại testing External testing Thiết kế dữ liệu để test program Internal testing Thiết kế program để CT tự test itself External Testing External testing: TK dữ liệu để test CT External testing taxonomy (1) Kiểm chứng giá trị biên : Boundary testing (2) Kiểm chứng lệnh : Statement testing (3) Kiểm chứng có hệ thống : Path testing | Testing Mục đích Giúp hiểu về: Internal testing External testing General testing strategies Vì sao? Khó có thể khẳng định 1 CT lớn có làm việc chuẩn hay không Khi XD 1 CT lớn, 1 LTV chuyên nghiệp sẽ dành thời gian cho việc viết test code không ít hơn tg dành cho viết bản thân CT LTV chuyên nghiệp là người có khả năng, kiến thức rộng về các kỹ thuật và chiến lược testing Testing and debugging Testing & debugging đi cùng với nhau như 1 cặp: Testing tìm errors; debugging định vị và sửa chúng. Ta có mô hình “testing/debugging cycle”: Ta test, rồi debug, rồi lặp lại. Bất kỳ 1 debugging nào nên được tiếp theo là 1 sự áp dụng lại của hàng loạt các tests liên quan, đặc biệt là các bài tests hồi quy. Điều này giúp tránh nảy sinh các lỗi mới khi debugging. Testing & debugging không nên được thực hiện bởi cùng 1 người (thường là không nên). Khái niệm Testing Beizer: Việc thực hiện test là để chứng minh tính đúng đắn giữa 1 phần tử và các đặc tả của nó. Myers: Là quá trình thực hiện 1 CT