III. THIẾT KẾ CHƯƠNG TRèNH
1 2 Kỹ thuật phõn tớch giỏ trị biờn
Kỹ thuật phõn tớch giỏ trị biờn nhằm phõn tớch điểm khởi đầu và điểm kết thỳc của giỏ trị đầu vào. Đõy là kỹ thuật rất hữu dụng phần lớn cỏc lỗi chức năng gõy ra bởi dữ liệu đầu vào và dữ liệu đầu ra đều nằm trong hoặc xung quanh cỏc ranh giới ( biờn) đú.
Quay trở lại vớ dụ về tuổi khỏch hàng. Giỏ trị tuổi ban đầu cần kiểm thử sẽ là -1, 0 và +1, tức là +/-1 xung quanh quanh giỏ trị khởi điểm 0. Tương tự như vậy đối với giỏ trị kết thỳc 99, giỏ trị tuổi cần kiểm thử sẽ là 98, 99 và 100. Ngoài ra chỳng em cũn kiểm thử cỏc giỏ trị tuổi 49, 50 và 51 ( đối với giỏ trị trung bỡnh 50).
Kết quả của việc phõn tớch giỏ trị biờn là bổ sung cỏc giỏ trị kiểm thử đầu vào vào những lớp giỏ trị tương đương cú khả năng khiến cho chương trỡnh phỏt sinh lỗi.
Kỹ thuật phõn tớch giỏ trị biờn chớnh là bước đầu tiờn của kiểm thử hộp đen. Một khi giỏ đầu vào đó được kiểm tra, chỳng em cú thể bắt đầu xỏc minh chớnh xỏc kết quả đầu ra.
1.2 Kiểm thử hộp trắng
Mục đớch của kiểm thử hộp trắng là kiểm tra tớnh đỳng đắn của cỏc đoạn mó, điều kiện, vũng lặp, và luồng dữ liệu của phần mềm. Những yờu cầu cho kiểm thử hộp trắng bao gồm: cỏc ca sử dụng, chương trỡnh thực thi, dữ liệu và mó nguồn của phần mềm.
Sau đõy là cỏc kỹ thuật kiểm thử hộp trắng được chỳng em dự kiến ỏp dụng đối với Hệ thống Quản lý Tớn Dụng Ngõn hàng Agribank:
1.2.1 Kỹ thuật che phủ mó lệnh
Kỹ thuật che phủ mó lệnh cú tỏc dụng xỏc định xem tỷ lệ bao nhiờu dũng mó được thực thi trong một chương trỡnh. Trường hợp cú 5000 dũng mó lệnh ở trong chương trỡnh và với việc xỏc định thủ cụng hay thụng qua một cụng cụ hỗ trợ nào đú chỳng ta biết rằng 4537 dũng mó nguồn đó được thực thi thỡ điều đú cú nghĩa là chỳng ta đó đạt được 90,7% việc che phủ mó lệnh. Giả thuyết núi lờn rằng tỷ lệ mó nguồn được che phủ càng cao thỡ cỏc lỗi chương trỡnh được tỡm thấy càng thấp. Thực thế đem đến một kết luận mới khỏc, chớnh những dũng mó lệnh khụng được thực thi lại đúng vai trũ như quả bom hẹn giờ chỉ chờ phỏt nổ. Cõu hỏi khụng phải là “ nếu” mà là “khi nào” thỡ chỳng sẽ phỏt nổ.
1.2.2 Kỹ thuật che phủ nhỏnh
Kỹ thuật che phủ nhỏnh cú tỏc dụng xỏc định xem tỷ lệ bao nhiờu nhỏnh lệnh ( đỳng/sai) được thực thi trong chương trỡnh. Nếu như cú tổng cộng 1500 điểm rẽ nhỏnh trong mó nguồn và chỳng ta xỏc định được chương trỡnh đó thực thi 1145 nhỏnh lệnh thỡ
điều đú núi lờn rằng chỳng ta đó che phủ 76.3% cỏc điểm rẽ nhỏnh. Giả thuyết cho thấy rằng tỷ lệ số điểm rẽ nhỏnh được che phủ càng cao thỡ cỏc lỗi chương trỡnh được tỡm thấy càng thấp. Tuy nhiờn, chớnh những điểm rẽ nhỏnh, đỳng hay sai, khụng được thực thi lại là những quả bom hẹn giờ giống với trường hợp che phủ mó lệnh.
Chỳng em dự kiến ỏp dụng kỹ thuật này vào việc kiểm thử Hệ thống Quản lý Tớn dụng Ngõn hàng Agribank bằng cỏch chọn lựa những mẫu thử khiến cho giỏ trị đầu ra ở những điểm rẽ nhỏnh là chỉ đỳng hoặc chỉ sai. Và đối với mỗi điểm rẽ nhỏnh trong chương trỡnh, chỳng em chỉ cần kiểm thử với 2 mẫu thử đú là đủ.
1.2.3 Kỹ thuật che phủ nhỏnh kết hợp
Mục đớch chớnh của kỹ thuật này là mở rộng khả năng của kỹ thuật che phủ nhỏnh đối với những nhỏnh cú điều kiện kết hợp, bao gồm cỏc toỏn tử AND, OR và NOT Dưới đõy là vớ dụ về một nhỏnh gồm 2 điều kiện đơn giản:
( Tuoi > 18 AND GioiTinh = G ) Bảng giỏ trị thực đó được xõy dựng như sau:
TUỔI GIỚI
TÍNH
ĐIỀU KIỆN AND
= 18 Sai = T Sai = Sai
= 18 Sai = G Đỳng = Sai
= 19 Đỳng = T Sai = Sai
= 19 Đỳng = G Đỳng = Đỳng
Tiếp theo là vớ dụ về một nhỏnh gồm 3 điều kiện đơn:
( Tuoi > 18 AND GioiTinh = G) OR ChieuCao > 1m60 ) Khi đú, bảng giỏ trị thực sẽ trở nờn lớn hơn:
TUỔI GIỚI TÍNH ĐIỀU KIỆN AND CHIỀU CAO ĐIỀU KIỆN HOẶC
= 18 Sai = T Sai = Sai = 1m60 Sai = Sai
= 18 Sai = G Đỳng = Sai = 1m60 Sai = Sai
= 19 Đỳng = T Sai = Sai = 1m60 Sai = Sai
= 19 Đỳng = G Đỳng = Đỳng = 1m60 Sai = Đỳng
= 18 Sai = T Sai = Sai = 1m70 Đỳng = Đỳng
= 18 Sai = G Đỳng = Sai = 1m70 Đỳng = Đỳng
= 19 Đỳng = T Sai = Sai = 1m70 Đỳng = Đỳng
= 19 Đỳng = G Đỳng = Đỳng = 1m70 Đỳng = Đỳng
1.2.4 Kỹ thuật che phủ vũng lặp
Kỹ thuật này giỳp chỳng ta xỏc định được tỷ lệ số vũng lặp được thực thi hoàn toàn trong chương trỡnh. Những cấu trỳc lặp phổ biến trong cỏc ngụn ngữ lập trỡnh là DO, FOR, WHILE và UNTIL. Đối tượng kiểm thử vũng lặp là ộp chương trỡnh thực thi vũng lặp 0 lần, 1 lần, n/2 lần ( n là giỏ trị cuối cựng của vũng lặp), n lần và n+1 lần. Trong đú:
Vũng lặp 1 lần, n/2 lần và n lần cú tỏc dụng xỏc nhận kết quả của vũng lặp đang được kiểm thử với cỏc giỏ trị lặp đầu, giữa và cuối.
Vũng lặp 0 lần và n+1 lần dành cho những vũng lặp với điều kiện khụng thớch hợp.
Nếu chương trỡnh cú tổng cộng 732 vũng lặp trong khi chỳng ta xỏc định được trong số đú 312 vũng lặp đó được thực thi thỡ điều đú cú nghĩa rằng chỳng ta đó che phủ 42,6% vũng lặp. Giả thuyết cho thấy tỉ lệ số vũng lặp được che phủ càng cao thỡ cỏc lỗi chương trỡnh được tỡm thấy càng thấp.
2. Kiểm thử phi chức năng2.1 Kiểm thử giao diện 2.1 Kiểm thử giao diện
Kiểm thử giao diện tập trung vào việc chung chuyển dữ liệu giữa cỏc ứng dụng trong giai đoạn kiểm thử với cỏc nền tảng phần mềm khỏc nhau.
Thứ nhất, Hệ thống Quản lý Tớn Dụng Agribank phải được hiển thị đỳng định dạng theo như bản thiết kế trờn cỏc nền tảng phần mềm khỏc nhau ( ở đõy là cỏc trỡnh duyệt: Internet Explorer, Mozilla FireFox…)
Thứ hai, kiểm tra sự khả năng kết hợp của ứng dụng với cỏc thành phần phần cứng của hệ thống cài đặt.
Trong trường hợp phỏt sinh vấn đề, chỳng em sẽ tiến hành cụ lập cỏc lỗi đú và chỉnh sửa.
2.2 Kiểm thử an toàn bảo mật
Như đó trỡnh bày ở phần trờn, Hệ thống Quản lý Tớn dụng Agribank gồm cú 3 nhúm tài khoản đăng nhập ( nhúm cỏc nhõn viờn quan hệ khỏch hàng, nhúm cỏc nhõn viờn thẩm định tớn dụng và nhúm cỏc nhà quản lý). Điều này đồng nghĩa với 3 cấp độ bảo mật trong hệ thống:
- Tầng 1: nhõn viờn quan hệ khỏch hàng chỉ cú khả năng tra cứu cỏc hợp đồng tớn dụng và in cỏc biểu mẫu bỏo cỏo.
- Tầng 2: nhõn viờn thẩm định tớn dụng ngoài 2 khả năng trờn cũn cú thể tạo mới, sửa đổi, chấm điểm tớn dụng…
- Tầng 3: người quản lý cú thờm chức năng xoỏ bỏ khỏi cơ sở dữ liệu những hợp đồng đó thanh lý ( sau 1 khoảng thời gian được quy định bởi Ngõn hang Agribank).
Đối với cỏc chi nhỏnh nhỏ của Agribank ( chi nhỏnh cấp 2 hay 3…) chỳng em sẽ chọn ra từ 20 tới 50 cặp ID/Password phục vụ quỏ trỡnh kiểm thử tớnh bảo mật. Đặc biệt, song song với việc kiểm thử cỏc cặp ID/Password hợp lệ đú sẽ là cỏc cặp ID/Password “giả”.
2.3 Kiểm thử cài đặt
Kiểm thử cài đặt cú nghĩa là xõy dựng mụi trường kiểm thử với những thành phần nền tảng phần cứng giống như mụi trường sẽ triển khai. Trong phạm vi bài tập lớn này, vỡ sản phẩm là cỏc tệp tin dạng html và php nờn chỳng em cú thể kiểm thử trực tiếp với những trỡnh duyệt web thụng thường ( IE, FF…) trờn cỏc hệ điều hành khỏc nhau ( Windows, Linux…)
TÀI LIỆU THAM KHẢO
1. Ngõn hàng Nụng nghiệp và Phỏt triển Nụng thụn Việt Nam (2006). “Sổ Tay Tớn Dụng”.
2. Gerald D.Everett - Raymond McLeod, Jr (2007). “ SOFTWARE TESTING. Testing Across the Entire Software Development Life Cycle”. John Wiley & Sons, Inc.