Kiểm chứng từng phần cho chương trình C
Trình bày cơ sở lý luận về kiểm chứng. Trình bày các khái niệm cơ bản liên quan như các khái niệm về mô hình chuyển trạng thái được gán nhãn Hệ chuyển trạng thái gán nhãn (LTS), các phương pháp biểu diễn LTS, khái niệm về trừu tượng hóa hành vi của hệ thống Trìu tượng hóa thủ tục (PA), cũng nh...
Saved in:
Main Authors: | Hoàng, Mạnh Khôi, Nguyễn, Việt Hà |
---|---|
Format: | Theses and Dissertations |
Language: | other |
Published: |
Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội
2016
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/6461 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | other |
Similar Items
-
Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
by: Nguyễn, Thị Loan, et al.
Published: (2016) -
Nghiên cứu về kiểm thử cho mô hình ứng dụng Web
by: Nguyễn, Việt Anh, et al.
Published: (2016) -
Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
by: Phan, Văn Tiến
Published: (2017) -
Kiểm chứng dịch vụ Web với logic thời gian
by: Đào, Thị Hường
Published: (2017) -
Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
by: Nguyễn, Văn Hiếu
Published: (2016)