Như vậy việc tạo ra ca kiểm thử với ý tưởng của kỹ thuật kiểm thử giá trị biên cơ bản là chúng ta chỉ việc lựa chọn các giá trị đầu vào tại các “góc cạnh”, điểm giá trị cuối của mỗi miền hay gọi là các giá trị biên. Các giá trị biên cũng được kết hợp với các lân cận của nó hay các vùng biên-viền.
Về phương pháp luận, cơ sở toán học của phương pháp này chính là phương pháp phân lớp tương đương tập hợp, kiểm thử giá trị biên giúp tạo ra các ca kiểm thử bổ sung thêm cho phân lớp tương đương, nó cho phép tìm lỗi trong mỗi miền là độc lập và khách quan như nhau. Vậy việc khó khăn và quan trọng nhất trước tiên là cần phải tìm được các phân hoạch của miền giá trị đầu vào của các biến. Sau khi xây dựng được các phân hoạch con, chúng ta sẽ tiến hành xác định các giá trị biên của mỗi miền giá trị được phân chia. Để dễ dàng hơn trong việc tạo ra các phân hoạch miền giá trị, ngoài các phương pháp toán học, các phép toán trên tập hợp, người ta đưa ra các khuyến cáo như sau dựa vào kinh nghiệm thực tế: Tiến hành mở rộng phân hoạch dựa trên các phân hoạch đã có. Với mỗi lớp con của phân hoạch, chọn một giá trị tùy ý đại diện cho phân hoạch đó. Ngoài ra cần chọn các giá trị chính xác ở biên trên và biên dưới của mỗi lớp. Cuối cùng chọn các giá trị ngay lập tức ở dưới và trên mỗi biên. Các giá trị được lựa chọn này sẽ được sử dụng như những ca kiểm thử cần được thực hiện.
<x1nom; x2min >;< x1nom; x2min+ >; <x1nom; x2nom >;< x1nom; x2max- >; <x1nom; x2max >;< x1min; x2nom >;
<x1min+; x2nom >;< x1nom; x2nom >; <x1max-; x2nom >;< x1max; x2nom >.
Về cơ bản, số lượng các ca kiểm thử sinh ra theo kỹ thuật này phụ thuộc vào số biến đầu vào, nếu hàm có n biến thì sẽ có 4n+1 ca kiểm thử. Ngoài ra, việc sinh các ca kiểm thử còn phụ thuộc vào loại dữ liệu đầu vào có tính phụ thuộc phức tạp hay không và còn phụ thuộc bản chất của dữ liệu. Ví dụ, dữ liệu dạng số rời rạc và có tập xác định rõ ràng thì dễ dàng xác định được biên còn dữ liệu không có biên rõ ràng như biến kiểu Boolean mang giá trị True/False, không có giá trị thứ 3 nên không dùng được phương pháp này hoặc thường phải tạo biên nhân tạo - "artificial bounds"để tiến hành kiểm thử.
Kỹ thuật phân tích giá trị biên cũng tồn tại một số hạn chế như sự phụ thuộc vào các giá trị đo vật lý hoặc tính độc lập của các biến đầu vào. Tính độc lập thể hiện ở việc phải giả thiết rằng các biến đầu vào là độc lập không có mối quan hệ ảnh hưởng qua lại với nhau. Hơn nữa kỹ thuật kiểm thử này chỉ áp dụng tốt khi chương trình được kiểm thử là một hàm của các biến đầu vào được biểu diễn đại lượng vật lý có giới hạn.
Phần dưới đây của luận văn sẽ trình bày một ví dụ thực tế của quá trình sinh ra các ca kiểm thử cho một chức năng tính tiền được vay thế chấp (Mortgage) trong chương trình quản lý của ngân hàng. Đầu vào của bài toán gồm, ba biến với các miền giá trị tương ứng như sau: gender (boolean), age ([18-55]), salary ([0- 10000]). Đầu ra của bài toán yêu cầu tính tổng tiền được vay thế chấp cho mỗi người theo công thức: Mortgage = salary * factor. Bảng 3.1 mô tả quy tắc tính toán tiền vay thế chấp như sau.