Phần mềm-Ứng dụng
Với mục đích sinh dữ liệu kiểm thử cho các ứng dụng tương tác, chúng tôi đề xuất môi trường kiểm thử, được gọi là TTTEST (TTT-based Test) . Môi trường kiểm thử TTTEST gồm bốn thành phần cơ bản: mô hình TESTCTT được đặc tả bằng ngôn ngữ TTT, chương trình C được biên dịch từ mô hình TESTCTT, ứng dụng tương tác cần kiểm thử và bộ lưu dấu vết hành động của người dùng.Hoạt động của môi trường TTTEST được mô tả như sau:
- Bước 0: Mô hình TESTCTT được dịch sang chương trình C.
- Bước 1: Chương trình Ctạo dữ liệu đầu ra X từ một trạng thái nội bộcủa chương trình.
- Bước 2: Chuyển đầu ra X thành dữ liệu đầu vào cho ứng dụng tương tác.
- Bước 3. Ứng dụng tương tác nhận đầu vào X và xử lý cho kết quả đầu ra Y.
- Bước 4. Chương trình C nhận Y làm dữ liệu đầu vào, cập nhật biến trạng thái nội bộ của mô hình và tiếp tục quay lại Bước1.
» Tin mới nhất:
- Bắt đầu với Docker – Phần 5: Quản lý Image với Docker Hub (29/12/2025)
- Những thủ thuật sử dụng Visual Studio Code (18/12/2025)
- Tools for TMM Level 1 (09/12/2025)
- Testing tools (09/12/2025)
- Bắt đầu với Docker – Phần 4: Docker Image và cách xây dựng với Dockerfile (05/12/2025)
» Các tin khác:
- Quan hệ giữa DRM và DFD trong hồ sơ phân tích-thiết kế hệ thống thông tin (18/11/2017)
- Tác dụng của việc thiết kế báo cáo trong việc phân tích và thiết kế hệ thống thông tin (18/11/2017)
- Ý nghĩa của từ quốc tế hóa (Internationalization) và địa phương hóa (Localization) (18/10/2017)
- Kỹ thuật đặc tả hệ thống dựa trên thuộc tính (18/10/2017)
- Kỹ thuật đặc tả ứng dụng dựa trên hành vi (18/10/2017)
- Bạn sinh vào thứ mấy? (17/10/2017)
- Review ưu - nhược điểm của phần mềm bán hàng KiotViet (18/09/2017)
- Review phần mềm Rosetta Stone (18/09/2017)
- Choice operator (17/09/2017)
- Test modeling language (17/09/2017)
