Phần mềm-Ứng dụng

Kiểm thử ứng dụng tương tác dựa trên đặc tả các hành vi

Ưu điểm chính của ký hiệu dựa trên hành vi là cho phép áp dụng kỹ thuật kiểm tra mô hình để xác minh tính chất của ứng dụng tương tác một cách tự động. Loại đặc tả này cũng phù hợp với mô hình hệ thống đồng thời. Chúng xác định hệ thống phần mềm như chuỗi các trạng thái. Ví dụ, các ký hiệu dựa trên hành vi gồm mạng Petri, quá trình đại số, và logic thời gian.

Một mạng Petri bao gồm các điểm, các chuyển tiếp, và các cung có hướng. Tại mỗi thời điểm trong quá trình thực hiện của nó, điểm có thể chứa không hoặc nhiều thẻ. Một chuyển tiếp dùng các thẻ từ các trạng thái đầu vào và các thẻ đầu ra đến những điểm đầu ra. Một chuyển tiếp xảy ra khi những điểm vào của nó chứa đủ số lượng thẻ yêu cầu.

Kiểm thử ứng dụng tương tác dựa trên đặc tả các hành vi

Ưu điểm chính của ký hiệu dựa trên hành vi là cho phép áp dụng kỹ thuật kiểm tra mô hình để xác minh tính chất của ứng dụng tương tác một cách tự động. Loại đặc tả này cũng phù hợp với mô hình hệ thống đồng thời. Chúng xác định hệ thống phần mềm như chuỗi các trạng thái. Ví dụ, các ký hiệu dựa trên hành vi gồm mạng Petri, quá trình đại số, và logic thời gian.

Một mạng Petri bao gồm các điểm, các chuyển tiếp, và các cung có hướng. Tại mỗi thời điểm trong quá trình thực hiện của nó, điểm có thể chứa không hoặc nhiều thẻ. Một chuyển tiếp dùng các thẻ từ các trạng thái đầu vào và các thẻ đầu ra đến những điểm đầu ra. Một chuyển tiếp xảy ra khi những điểm vào của nó chứa đủ số lượng thẻ yêu cầu.