► Kiểm thử nhằm phát hiện sự tồn tại của lỗi ► Gỡ rối nhằm định vị và sửa chữa mã gây lỗi ► Gỡ rối bao gồm việc sinh ra các giả thiết về. hoạt động của chương trình và kiểm thử chương t[r]
(1)Software Testing and Quality Assurance
Software Testing and Quality Assurance
Debugging
Debugging Dr Dao Nam Anh
Dr Dao Nam Anh
Faculty of Information Technology
Faculty of Information Technology
University of Technology and Management
(2)2
Resources Resources
► Pressman, Software Engineering, McGraw Hill (chapter 18
& 19)
► Sommerville, Software Engineering, Addison-Wesley
(chapter 22 & 23)
► Software Testing and QA Theory and Practics, Chapter 7,
WILEY Publish
► Foundations Of Software Testing, Istqb Certification,
Dorothy Graham, Erik Van Veenendaal, Isabel Evans, Rex Black
► Jovanović, Irena, Software Testing Methods and
Techniques
(3)N
Nộội dungi dung
►
►KiKiểểm thm thửử vvàà ggỡỡ rrốối i
►
►TiTiếến trn trìình gnh gỡỡ rrốốii
►
►Sơ đSơ đồồ trtrạạng thng tháái i
►
(4)4 ►Kiểm thử gỡ rối hai công việc phân
biệt
►Kiểm thử nhằm phát tồn lỗi ►Gỡ rối nhằm định vị sửa chữa mã gây lỗi ►Gỡ rối bao gồm việc sinh giả thiết
(5)(6)6
(7)State chart
State chart đồ thị có hướng với node trạng thái nối với
transition, dùng để mô tả đời sống đối tượng
Quy trình suy diễn state chart: xác định định nghĩa trạng thái, xác định
(8)8 ►Sơ đồ trạng thái thể qui tắc chuyển đổi
trạng thái với số (hữu hạn) trạng thái khác
►Thể sơ đồ trạng thái
►FOUNDATIONS OF SOFTWARE TESTING,
ISTQB CERTIFICATION, Dorothy Graham, Erik van Veenendaal, Isabel Evans, Rex
(9)►Ví dụ, bạn yêu cầu rút $ 100 từ
máy ATM ngân hàng, bạn cho tiền mặt Sau bạn làm yêu cầu
tương tự bị từ chối tiền (vì số dư bạn không đủ)
►Trạng thái tài khoản ngân hàng bạn
(10)10 ►Một ví dụ khác trình văn
►Nếu tài liệu mở, bạn để
đóng
►Nếu tài liệu chưa mở, khơng thể đóng ►Sau bạn chọn “đóng" lần, bạn
khơng thể đóng lần nữa, trừ bạn mở tài liệu
►Một tài liệu vậy, có hai trạng thái: mở