Luận văn Nghiên cứu phương pháp kiểm thử dựa trên biểu đồ trạng thái

Tóm tắt Luận văn Nghiên cứu phương pháp kiểm thử dựa trên biểu đồ trạng thái: ...ự ủảm bảo chấp nhận ủược cỏc sản phẩm phần mềm hiện ủại. Kiểm thử dựa trờn mụ hỡnh (Model 8 based Testing - MBT) là một thuật ngữ chỉ cỏch tiếp cận cỏc cụng việc kiểm thử chung như tạo lập trường hợp kiểm thử và ủỏnh giỏ kết quả kiểm thử trờn một mụ hỡnh ủuợc ỏp dụng cho kiểm thử. 2.2.2 ...ợc sử dụng ủể tạo cỏc trường hợp kiểm thử. B S T C e[g] S S C T e e g 13 Hỡnh 2.11: Biểu ủồ chuyển trạng thỏi cho Stack Đỏnh giỏ phương phỏp: Nhiệm vụ chớnh của phương phỏp là chuyển biểu ủồ chuyển trạng thỏi thành biểu ủồ trung gian – biểu ủồ luồng kiểm thử. Mục ủ... ủú là xung ủột với cỏc chuyển tiếp bờn trong tập hoặc cú ưu tiờn cao hơn một chuyển tiếp bờn trong tập. 2.4.3.3 Bộ tạo trường hợp kiểm thử Việc thực hiện gồm hai phần: - Đầu tiờn, một hàng ủợi sự kiện và cỏc sự kiện chưa ủược xột sẽ ủược ủưa vào mụ hỡnh ngữ nghĩa của mỏy trạng thỏi. -...