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

Nhằm mục đích sinh dữ liệu thử cho ứng dụng tương tác Memo, chúng tôi tiến hành hai giai đoạn chính: (1) ứng dụng Memo được mô hình hóa với trạng thái và mạng nơ ron, (2) sinh dữ liệu kiểm thử từ mô hình này. Việc mô hình hóa ứng dụng Memo thông qua bốn bước như sau:

Bước 1: Chọn mục tiêu sinh dữ liệu kiểm thử cho ứng dụng Memo.

Bước 2: Đặt ký hiệu cho các giá trị đầu vào của mô hình (M_Displayed, M_Carried, M_Taken, M_Set, M_Removed) và các ký hiệu cho các giá trị đầu ra của mô hình (move, get, set , remove).

-        ‘D’ : Memo hiển thị một ghi chú               (M_Displayed)

-        ‘C’ : Memo đang mang một ghi chú          (M_Carried)

-        ‘G’ : Memo vừa nhận một ghi chú             (M_Taken)

-        ‘R’ : Memo vừa xóa môt ghi chú               (M_Removed)

-        ‘S’ : Memo vừa cài đặt một ghi chú          (M_Set)

-        ‘o’ : Người dùng đang di chuyển               (move)

-        ‘g’ : Người dùng nhận ghi chú                    (get)

-        ‘r’ : Người dùng xóa một ghi chú               (remove)

-        ‘s’ : Người dùng cài đặt một ghi chú         (set)

-        ‘-‘ : Người dùng không có một hành động gì cả.

Bước 3: Chọn các biến trạng thái cho mô hình, chúng tôi ký hiệu q₀ cho trạng thái "Bắt đầu", q₁ cho trạng thái "Khám phá mặt đất", q₂ cho trạng thái "Một ghi chú đang hiển thị", q₃ cho trạng thái "Ghi chú đang mang theo". Các biến trạng thái này được định nghĩa trực tiếp trong mô hình.