loading
  • Trang chủ
  • Sách, tuyển tập
  • Phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2.0 = A Method for Modelling and Verifying of UML 2.0 Sequence Diagrams / Trần, Quốc Nam; Trịnh, Thanh Bình,Phạm, Ngọc Hùng
Sách, tuyển tập

Phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2.0 = A Method for Modelling and Verifying of UML 2.0 Sequence Diagrams / Trần, Quốc Nam; Trịnh, Thanh Bình,Phạm, Ngọc Hùng

Tác giả : Trần, Quốc Nam; Trịnh, Thanh Bình,Phạm, Ngọc Hùng

Năm xuất bản : 2015

Mô tả vật lý : 13 tr.

Chủ đề : 1. Biểu đồ tuần tự UML 2.0. 2. Công nghệ thông tin. 3. Kỹ thuật phần mềm. 4. Phương pháp kiểm chứng. 5. Thesis.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Đảm bảo chất lượng là một vấn đề quan trọng và tiêu tốn chi phí cao trong quá trình phát triển phần mềm. Tự động hóa quá trình đảm bảo chất lượng là tiêu chí hướng tới của các doanh nghiệp nhằm giảm đi chi phí phát triển ngay từ khâu thiết kế. Ngoài ra, đối với những sản phẩm có yêu cầu chất lượng cao như hệ thống điều khiển máy bay, tàu ga, kỹ thuật quân sự, y tế v.v. nhà đầu tư sẽ yêu cầu áp dụng các phương pháp hình thức nhằm đảm bảo tính đúng đắn của thiết kế trước khi triển khai. Giải pháp phố biến nhất hiện nay để giải quyết vấn đề trên là áp dụng các phương pháp kiểm chứng mô hình để tự động hóa quá trình kiểm chứng tính đúng đắn của thiết kế [2], [6], [9]. Để áp dụng những phương pháp này, ta cần phải xây dựng các mô hình đặc tả chính xác hành vi của hệ thống cần kiểm chứng [4], [10], [11]. Tuy nhiên, xây dựng mô hình cho các hệ thống phần mềm là một công việc khó khăn và tiềm ẩn nhiều lỗi. Các nghiên cứu hiện tại hầu hết giả sử các mô hình này đã có và đúng đắn. Trong thực tế, giả định này rất khó để hiện thực, nhất là từ phía các công ty phát triển phần mềm. Hạn chế trên là một trong những nguyên nhân chính dẫn đến các phương pháp này khó áp dụng trong thực tế.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học quốc gia Hà Nội
https://repository.vnu.edu.vn/handle/VNU_123/8682

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Phương pháp kiểm chứng tính đúng đắn của các biểu đồ tuần tự UML 2.0 : Luận văn ThS. Công nghệ thông tin: 60 48 01 03 / Trần, Quốc Nam; Phạm, Ngọc Hùng, người hướng dẫn

Tác giả : Trần, Quốc Nam; Phạm, Ngọc Hùng, người hướng dẫn

Nhà xuất bản : ĐHCN

Năm xuất bản : 2015

placeholder+image

Sách, tuyển tập

Việt Nam's anti-U.S. resistance war : the journey to the final victory / Many authors ; Trần Quốc Năm dịch ; Danielle Frederick hiệu đính

Tác giả : Many authors ; Trần Quốc Năm dịch ; Danielle Frederick hiệu đính

Nhà xuất bản : Thế giới

Năm xuất bản : 2017

placeholder+image

Luận án, luận văn

Phát triển hệ thống nông lâm kết hợp bền vững tại khu vực miền núi tỉnh Ninh Thuận / Trần Quốc Nam ; Người hướng dẫn : Phạm Văn Hiền, Đặng Minh Phương

Tác giả : Trần Quốc Nam ; Người hướng dẫn : Phạm Văn Hiền, Đặng Minh Phương

Nhà xuất bản : Trường Đại học Nông Lâm T.P. Hồ Chí Minh

Năm xuất bản : 2015