Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo " Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái "

Trình bày về mô hình FSM và cách biểu diễn một FSM theo kiểu liệt kê, đồ thị hoặc dạng bảng. Ngoài ra, trình bày một số tính chất của một máy hữu hạn trạng thái. Nghiên cứu một số phƣơng pháp xác định chuỗi kiểm chứng trạng thái của mô hình FSM nhƣ: chuỗi vào – ra duy nhất (UIO), chuỗi phân biệt (DS), chuỗi đặc trƣng (W). Tìm hiểu mối quan hệ mô phỏng của hai FSM và kiểm thử sự mô phỏng của hai FSM và tổng hợp các lỗi thƣờng gặp khi cài đặt FSM. Trình. | Nghiên cứu kỹ thuật sinh ca kiêm thử từ mô hình máy hữu hạn trạng thái Đoàn Thị Thùy Linh Trường Đại học Công nghệ Luận văn ThS ngành Công nghệ phần mềm Mã số 60 48 10 Cán bộ hướng dẫn khoa học TS. Đặng Văn Hưng Năm bảo vệ 2012 Abstract. Trình bày về mô hình FSM và cách biêu diễn một FSM theo kiêu liệt kê đồ thị hoặc dạng bảng. Ngoài ra trình bày một số tính chất của một máy hữu hạn trạng thái. Nghiên cứu một số phương pháp xác định chuỗi kiêm chứng trạng thái của mô hình FSM như chuỗi vào - ra duy nhất UIO chuỗi phân biệt DS chuỗi đặc trưng W . Tìm hiêu mối quan hệ mô phỏng của hai FSM và kiêm thử sự mô phỏng của hai FSM và tổng hợp các lỗi thường gặp khi cài đặt FSM. Trình bày độ bao phủ của mô hình máy hữu hạn trạng thái và lựa chọn độ bao phủ tốt nhất đê làm tiền đề sinh ca kiêm thử phương pháp sinh ca kiêm thử và đưa ra ví dụ đê cụ thê hóa phương pháp đã nêu. Tổng kết những kết quả đã đạt được và hướng phát triên nghiên cứu tiếp theo. Keywords Công nghệ phần mềm Kiêm thử phần mềm Kỹ thuật sinh ca Mô hình máy Content. I. Chương 1. GIỚI THIỆU A. 1.1. Đặt vấn đề Hiện nay có rất nhiều hệ thống có thê được đặc tả như là một máy trạng thái đó là các hệ thống như giao thức truyền thông hệ thống điều khiên hệ thống nhúng. Điều này thúc đẩy việc nghiên cứu các phương pháp tiếp cận chính thức đê kiêm thử các máy trạng thái hữu hạn đê khám phá các khía cạnh của hành vi của chúng và đê đảm bảo chức năng chính xác của hệ thống. Tuy nhiên tính chính xác của hệ thống cài đặt so với đặc tả được đo đạc như thế nào khi nào thì một hệ thống cài đặt được gọi là chấp nhận được thì hiện nay các tài liệu còn đang viết rất chung chung. Trong luận văn này tôi xin giới thiệu khái niệm mô phỏng của hai máy hữu hạn trạng thái như là một tiêu chí đê đánh giá tính chấp nhận được của hệ thống và trình bày phương pháp sinh ca kiêm thử dựa trên mô hình máy hữu hạn trạng thái đê kiêm thử sự mô phỏng của hai máy hữu hạn trạng thái. B. 1.2. Nội dung nghiên cứu Luận văn tập trung nghiên cứu một .