KỸ THUẬT THỰC THI BIỂU TRƯNG TRONG KIỂM THỬ PHẦN MỀM
Từ khoá:
KỸ THUẬT THỰC THI BIỂU TRƯNG
KIỂM THỬ PHẦN MỀM
Tóm tắt
Chúng ta đang sống trong thời đại công nghệ thông tin, thời đại mà nền tảng phần cứng, cũng như các phương tiện trao đổi thông tin liên lạc thay đổi từng ngày. Bên cạnh sự phát triển nhanh chóng của phần cứng thì các sản phẩm phần mềm cũng gia tăng để đáp ứng những thách thức của chúng. Trước sự gia tăng của phần mềm thì vấn đề kiểm thử phần mềm đang rất được quan tâm. Vì kiểm thử phần mềm giúp xác minh được phần mềm nào ít lỗi, đạt chất lượng, đáp ứng được nhiều yêu cầu của người dùng.
Tài liệu tham khảo
- Giảng viên Hà Thị Thanh. Bài giảng môn kiểm chứng phần mềm
- Nguyễn Văn Núi. Đề cương luận án tiến sỹ Tiếng anh
- Ralf Kneuper. Symbolic execution. 3, Oct. 1991
- P D Coward. Symbolic execution and testing. 19/1990
- J. C. King. Symbolic execution and program testing. Commun. ACM,