Thực thi tượng trưng

Thực thi Tượng trưng là gì?

Thực thi tượng trưng là một kỹ thuật kiểm thử phần mềm hữu ích để hỗ trợ việc tạo dữ liệu kiểm tra và chứng minh chất lượng chương trình.

Việc thực thi yêu cầu lựa chọn các đường dẫn được thực hiện bởi một tập giá trị dữ liệu. Một chương trình, được thực thi bằng cách sử dụng dữ liệu thực tế, dẫn đến kết quả là một chuỗi giá trị.
Trong thực thi biểu tượng, dữ liệu được thay thế bằng các giá trị biểu tượng bằng tập hợp các biểu thức, một biểu thức cho mỗi biến đầu ra.
Cách tiếp cận phổ biến để thực thi biểu tượng là thực hiện phân tích chương trình, dẫn đến việc tạo ra một biểu đồ luồng.
Lưu đồ xác định các điểm quyết định và các nhiệm vụ liên quan đến mỗi luồng. Bằng cách duyệt qua biểu đồ luồng từ một điểm vào, một danh sách các câu lệnh gán và các vị từ nhánh được tạo ra.

Không thể tiếp tục thực hiện theo kiểu tượng trưng nếu số lần lặp trong vòng lặp đã biết.
Vấn đề thứ hai là việc gọi bất kỳ lệnh gọi mô-đun hoặc mã ngoài dòng nào.
Không thể sử dụng thực thi tượng trưng với mảng.
Việc thực thi biểu tượng không thể xác định các đường dẫn không khả thi.