Tên | Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị |
Lĩnh vực | Tin học |
Tác giả | Nguyễn Hồng Tân, Hà Thị Thanh |
Nhà xuất bản / Tạp chí | Khoa học và Công nghệ - Đại học Thái Nguyên Số 11 Năm 2012 |
Số hiệu ISSN/ISBN | |
Tóm tắt nội dung | |
Kiểm thử mô hình là một kỹ thuật cho phép tìm kiếm triệt để các lỗi có thể trong không gian trạng thái của mô hình. Kiểm thử là một phương pháp phổ biến để nâng cao chất lượng của một sản phẩm phần mềm được tạo ra bằng cách kiểm tra lỗi trong việc thực hiện chương trình theo một số chuẩn được gọi là chuẩn bao phủ. Kiểm thử là quá trình rất tốn kém nếu nó không được hỗ trợ bởi một phương pháp (và công cụ) để tạo ra các bộ test. Và phương pháp kiểm chứng mô hình sẽ hỗ trợ tạo ra các test case cho kiểm thử đơn vị theo chuẩn bao phủ. Phương pháp này dựa trên việc tự động phát sinh mô hình từ mã nguồn với việc truyền vào các breakpoint. Các test case thu được như là một phản ví dụ của công thức LTL (Linear Temporal Logic) sẽ tự động được tạo ra dựa trên các chuẩn bao phủ đã được lựa chọn. Tải file Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị tại đây |
- Nâng cao hiệu quả kỹ năng hoạt động xã hội cho sinh viên ở các trường đại học sư phạm
- Quản lý hoạt động đánh giá kết quả học tập của sinh viên ở trường đại học theo Chuẩn đầu ra
- ORIENTATION OF INFORMATION TECHNOLOGY APPLICATION IN EDUCATION OF NATIONAL DEFENSE AND SECURITY FOR STUDENTS IN VIETNAM
- The Importance of National Defense Education in Quality Education for College Students in Viet Nam
- National Defense Education for College Students in Viet Nam from the Perspective of Comprehensive Security
- Nghiên cứu phát triển phương pháp mô hình hóa toán học để giải quyết các vấn đề về phân lớp đối tượng dựa trên kỹ thuật thị giác máy tính và phương pháp học sâu, ứng dụng trong bài toán phân loại các khuyết tật mặt đường (Chủ nhiệm: admin_cntt&tt)
- Nghiên cứu và xây dựng mô hình dự đoán vị trí Protein SUMOylation (Chủ nhiệm: admin_cntt&tt)
- Chuyển đổi số các hiện vật tại Bảo tàng tỉnh Yên Bái hình thành Bảo tàng thực tế ảo (VR) (Chủ nhiệm: admin_cntt&tt)
- Tên đề tài: Xây dựng hệ thống tái hiện 3D di tích lịch sử Đồi A1, TP. Điện Biên Phủ nhằm hỗ trợ phát triển và quảng bá du lịch (Chủ nhiệm: admin_cntt&tt)
- Xây dựng cơ sở dữ liệu trực tuyến phục vụ phát triển kinh tế, xã hội tỉnh Thái Nguyên (Chủ nhiệm: admin_cntt&tt)
- Hoạt động xã hội...
- Chuẩn đầu ra...
- Education; College Students; National Defense Education; Information Technology Application.
- College Students; National Defense Education; Quality Education.
- Comprehensive Security Concept; college Students; National Defense Awareness.
- National Defense Education Section; Optimization Principle; Teaching Method.
- Military Theory Teaching; College Students; Quality Education.
- Information age; National defense education; Innovation
- information technology
- fostering