II. Kỹ nghệ phần mềm
2. Kiểm thử phần mềm
2.2.1 Cỏch tiếp cận chiến lược tới kiểm thử phần mềm
Kiểm thử là một tập hợp những hoạt động cú thể được lập kế hoạch trước và tiến hành một cỏch cú hệ thống. Do vậy một tiờu bản cho việc kiểm thử phần mềm nờn được xỏc định cho tiến trỡnh kỹ nghệ phần mềm. Tiờu bản gồm một tập cỏc bước trong đú chỳng ta cú thể đặt vào những kỹ thuật thiết kế trường hợp kiểm thử và phương phỏp kiểm thử.
Đăc trưng của tiờu bản để kiểm thử phần mềm:
• Việc kiểm thử bắt đầu tại mức modul và làm việc “hướng ra ngoài” tới việc tớch hợp cho toàn bộ hệ thống dựa trờn mỏy tớnh.
• Cỏc kỹ thuật kiểm thử khỏc nhau là thớch hợp tại cỏc điểm khỏc nhau theo thời gian
• Việc kiểm thử được tiến hành bởi người phỏt triển phần mềm và (với cỏc dự ỏn lớn) một nhúm kiểm thử độc lập
• Việc kiểm thử và gỡ lỗi là những hoạt động khỏc nhau, nhưng gỡ lỗi phải phự hợp với mọi chiến lược kiểm thử.
Chiến lược kiểm thử phần mềm phải phự hợp với cỏc kiểm thử mức thấp nhất cần thiết để kiểm chứng rằng một đoạn chương trỡnh gốc nhỏ đó được cài đặt đỳng đắn, cũng như cỏc kiểm thử mức cao hợp lệ hoỏ những chức năng hệ thống chớnh theo yờu cầu của khỏch hàng.
Chiến lược phải đưa ra hướng dẫn cho người thực hành và một tập cỏc cột mốc cho người quản lý. Bởi cỏc bước của chiến lược kiểm thử xuất hiện vào lỳc sức ộp hết hạn thời gian bắt đầu tăng lờn nờn tiến độ phải là đo được và cỏc vấn đề phải nổi lờn càng sớm càng tốt.
2.2.2 Chiến lược kiểm thử phần mềm
Tiến trỡnh kỹ nghệ phần mềm cú thể được xột theo vũng xoắn ốc như trong hỡnh vẽ dưới. Ban đầu, kỹ nghệ phần mềm xỏc định vai trũ của phần mềm và đưa tới việc phõn tớch yờu cầu phần mềm, nơi thiết lập nờn lĩnh vực thụng tin, chức năng, hành vi, hiệu năng và ràng buộc và tiờu chuẩn hợp lệ cho phần mềm. Đi vào trong vũng xoắn ốc, chỳng ta tới thiết kế và cuối cựng tới mó hoỏ. Để xõy dựng phần mềm mỏy tớnh, chỳng ta đi dọc theo đường xoắn ốc, mỗi lần mức độ trừu tượng lại giảm dần. Một chiến lược cho kiểm thử phần mềm cũng cú thể xem xột bằng cỏch đi theo đường xoắn ốc ra ngoài. Việc kiểm thử đơn vị bắt đầu tại tõm xoắn ốc và tập trung vào cỏc đơn vị của phần mềm khi được cài đặt trong chương trỡnh gốc. Việc kiểm thử tiến triển bằng cỏch đi ra theo đường xoắn ốc tới kiểm thử tớch hợp, nơi tập trung vào thiết kế và việc xõy dựng kiến trỳc phần mềm (kiểm thử đơn vị và kiểm thử tớch hợp sẽ được trỡnh bày kỹ ở mục dưới ). Đi ra thờm một vũng xoỏy nữa trờn đường xoắn ốc chỳng ta gặp kiểm thử hợp lệ, nơi cỏc yờu cầu được thiết lập như một phần của việc phõn tớch yờu cầu phần mềm, được hợp lệ hoỏ theo phần mềm đó được xõy dựng. Cuối cựng chỳng ta tới kiểm thử hệ thống, nơi phần mềm và cỏc phần tử hệ thống khỏc được kiểm thử tổng thể. S R D G I V ST U Kỹ nghệ hệ thống Yêu cầu Thiết kế Mã hoá Kiểm thử đơn vị Kiểm thử tích hợp Kiểm thử hợp lệ Kiểm thử hệ thống
H4.3 Chiến lược kiểm thử
Xem xột tiến trỡnh này theo quan điểm thủ tục thỡ việc kiểm thử bờn trong hoàn cảnh kỹ nghệ phần mềm thực tại là một chuỗi gồm ba bước được thực hiện tuần tự nhau. Cỏc bước này được biểu diễn trong hỡnh vẽ dưới. Ban đầu, việc kiểm thử tập trung vào từng modul riờng biệt, đảm bảo rằng chỳng vận hành đỳng đắn như một đơn vị. Do vậy mới cú tờn là kiểm thử đơn vị. Tiếp đú cỏc modul phải được lắp ghộp hay tớch hợp lại để tạo nờn bộ trỡnh phần mềm
hoàn chỉnh. Việc kiểm thử tớch hợp để cập tới cỏc vần đề cú liờn quan tới cỏc vấn đề kiểm chứng và xõy dựng chương trỡnh. Sau khi phần mềm đó được tớch hợp, một tập cỏc kiểm thử cấp cao sẽ được tiến hành. Cỏc tiờu chuẩn hợp lệ cũng phải được kiểm thử. Việc kiểm thử hợp lệ đưa ra sự đảm bảo cuối cựng rằng phần mềm đó đỏp ứng cho tất cả cỏc yờu cầu chức năng, hành vi và sự hoàn thiện.
Bước kiểm thử cấp cao cuối cựng rơi ra ngoài phạm vi của kỹ nghệ phần mềm và rơi vào hoàn cảnh rộng hơn của kỹ nghệ hệ thống mỏy tớnh. Phần mềm một khi đó được hợp lệ hoỏ phải được tổ hợp với cỏc phần tử hệ thống khỏc (phần cứng, con người, cơ sở dữ liệu…). Kiểm thử hệ thống kiểm chứng lại rằng tất cả cỏc yếu tố cú khớp đỳng với nhau khụng và rằng chức năng/độ hoàn thiện hệ thống toàn bộ đó đạt được.