Kiểm tra mô hình phần mềm

Xem 1-20 trên 56 kết quả Kiểm tra mô hình phần mềm
  • BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ------------------------------- LUẬN VĂN THẠC SỸ KHOA HỌC KIỂM TRA MÔ HÌNH PHẦN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI GIAN TUYẾN TÍNH NGÀNH: CÔNG NGHỆ THÔNG TIN MÃ SỐ: PHẠM THỊ THÁI NINH Người hướng dẫn khoa học: TS. HUỲNH QUYẾT THẮNG HÀ NỘI 2006 ..

    pdf102p cancer23 21-08-2012 86 36   Download

  • Kiểm chứng mô hình (model checking) là một phương pháp hình thức dùng cho việc kiểm chứng hệ thống. Kiểm chứng mô hình khảo sát tất cả các trạng thái có thể của hệ thống và kiểm tra rằng chúng chứa sự đúng đắn đã được đặc tả. Việc sinh ra các trạng thái và kiểm tra có thể được thực hiện một cách tự động bằng phần mềm và Spin là một trong những bộ kiểm chứng (model checker) được sử dụng rộng rãi.

    pdf50p truongnghen 30-08-2012 88 43   Download

  • Muc̣ tiêu Hiểu rõ thế giới thực liên quan đến phần mềm. Xác định các chức năng và các ràng buộc mà khách hàng yêu cầu sản phẩm phầm mềm phải có đáp ứng. Giới hạn phạm vi về phần mềm cần thực hiện. Kiểm tra sản phẩm phần mềm cuối cùng khi nghiệm thu.

    ppt25p tiendien0990 09-08-2011 74 24   Download

  • Bài báo giới thiệu phương pháp nghiên cứu xác định biến dạng của khung xương ôtô chở khách Transico K46 khi bị lật và rơi xuống sàn thấp bằng phần mềm Solidwork và ANSYS nhằm kiểm tra độ bền của khung xương ôtô khách theo tiêu chuẩn E/ECE/TRANS/505/66. Trên cơ sở các kết quả giới thiệu trong bài báo, chúng ta có thể triển khai các ứng dụng tương tự.

    pdf4p nganga_06 06-10-2015 42 18   Download

  • Chương 6 Cấu hình hệ thống thuộc bài giảng "Linux và phần mềm mã nguồn mở", nội dung trong chương này trình bày về: các thông tin cần cấu hình, công cụ để cấu hình tạm thời, các tệp cần cấu hình, công cụ để cấu hình bền vững, công cụ để kiểm tra cấu hình.

    pdf6p khangduybk 27-12-2014 22 5   Download

  • Ngày nay có rất nhiều phần mềm hỗ trợ cho công việc của người kỹ sư thiết kế. Giúp cho công việc của người thiết kế trở nên thuận lợi và tiết kiệm được rất nhiều thời gian. Trong các công đoạn của quá trình sản xuất cơ khí thì sự tiện ích của các phần mềm hỗ trợ thực sự có vai trò đóng góp hết sức to lớn. Từ việc lên bản vẽ thiết kế chi tiết máy đến việc mô phỏng lắp ghép và kiểm tra độ bền của các chi tiết máy trước khi đưa vào sản...

    pdf177p cucaibanhchung 19-05-2010 781 527   Download

  • Enterprise Architect là một phần mềm phân tích và thiết kế các UML một cách toàn diện, bao gồm phát triển phần mềm từ thu thập các yêu cầu, qua phân tích, thiết kế mô hình, kiểm tra, kiểm soát thay đổi và bảo trì để thực hiện, với truy xuất nguồn gốc đầy đủ. Enterprise Architect kết hợp sức mạnh của UML mới nhất với một hiệu suất cao, giao diện trực quan để mang lại mô hình tiên tiến nhất.

    doc25p kimthach1991 16-10-2011 628 180   Download

  • Phương pháp sử dụng chương trình đồ họa để mô phỏng phương thức hoạt động hay các sơ đồ hình khối hệ thống thường có mặt hầu hết trong hoạt động sản xuất, các quy trình tự động và các hoạt động thiết kế không gian. Các công cụ phần mềm điều khiển, kiểm tra quá trình hay thiết kế này được thiết lập và mô phỏng dựa trên nền phần mềm công cụ Labview

    pdf5p trannguyen1111 12-07-2010 317 165   Download

  • Với lý thuyết của bài toán tính toán móng cọc chịu tải trọng ngang và phương hướng giải quyết bài toán bằng phần mềm Sap2000 v.7.40 đã được đề cập ở trên, ta xây dựng thuật toán của chương trình phục vụ cho việc xây dựng chương trình. Các ký hiệu quy ước được sử dụng như sau: Khối bắt đầu và kết thúc: Khối kiểm tra (đúng hay sai): Khối nhập dữ liệu Khối thực hiện tính toán.

    pdf11p mk_ngoc62 07-11-2010 248 109   Download

  • Kiểm chứng (Validation): “Chúng ta đã xây dựng đúng hệ thống ?” Khai báo vấn đề đã thực sự nắm bắt được vấn đề thực tế? Hệ thống đã đáp ứng được nhu cầu của tất cả đối tác?  Kiểm tra (Verification): “Chúng ta đã xây dựng hệ thống đúng?” Thiết kế đáp ứng đặc tả? Cài đặc đáp ứng đặc tả? Hệ thống được phân phối sẽ thực hiện điều mà nó phải làm? Các mô hình yêu cầu thống nhất với những mô hình khác?...

    pdf17p cuong1024 06-01-2011 264 74   Download

  • Kiểm thử chức năng: các test cases dẫn xuất từ các đặc tả chương trình. Chức năng đề cập đến nguồn gốc của thông tin được sử dụng để thiết kế trường hợp kiểm thử, không phải để kiểm thử như thế nào. Còn được gọi là: Kiểm thử dựa trên đặc tả (từ đặc tả). kiểm tra hộp đen (không có mã nguồn). Đặc tả chức năng mô tả hành vi chương trình dự định. Hình thức hoặc không hình thức....

    pdf84p lequangvudl 03-05-2013 156 61   Download

  • Theo cách 2 giá phân tích được tách ra ba cột , , riêng và bạn không cần khai báo các chỉ mục trên. Xem hình. IV. Lập dự toán theo Phương pháp Phân tích đơn giá 3 1. Nạp định mức khối lượng và định dạng hồ sơ 2. Mở bảng phân tích đơn giá để kiểm tra và hiệu chỉnh 3. Lập bảng phân tích giá cước vận chuyển 4. Lập bảng phân tích giá vật liệu đến chân công trình 5. Lập bảng phân tích giá nhân công ca máy 6. Lập bảng phân tích giá NC,...

    pdf8p casapanuong 25-04-2011 88 46   Download

  • Ngôn ngữ mô hình hóa UML được sử dụng phổ biến nhất trong công nghệ phần mềm nhưng lại không đủ chặt chẽ và chưa có công cụ hỗ trợ kiểm tra tính đúng đắn của đặc tả. Do vậy, chúng ta thường phải kết hợp với các ngôn ngữ đặc tả khác để thu được bản đặc tả hệ thống vừa trực quan, dễ hiểu vừa có ngữ nghĩa chặt chẽ, được kiểm tra tự động bởi các công cụ.

    pdf105p truongnghen 30-08-2012 93 44   Download

  • Chương 2: Mô Hình Hóa QĐ1: Có 2 loại đại lý (1,2). Có 20 quận. Trong mỗi quận có tối đa 4 đãi lý. Nhận D1 từ người dùng. Kết nối cơ sở dữ liệu. Đọc D3 từ bộ nhớ phụ. Kiểm tra “lọai đại lý”

    pdf14p kimku1 27-08-2011 52 21   Download

  • Trong các công ty phát triển phần mềm hầu hết công việc kiểm thử của kiểm thử viên được thực hiện thủ công bằng tay. Trong khi đó số lượng tình huống kiểm tra quá nhiều mà các kiểm thử viên không thể hoàn tất bằng tay trong thời gian cụ thể nào đó. Hoặc khi nhóm lập trình đưa ra nhiều phiên bản phần mềm liên tiếp để kiểm tra.

    doc32p tinhbanpt 14-01-2013 72 16   Download

  • Việc xác định được trường vận tốc, sự phân bố vận tốc và độ sâu dòng chảy trong sông là một việc rất quan trọng trong ngành giao thông thủy, chỉnh trị sông và công trình ven bờ. Việc xác định trường vận tốc bằng những công thức giải tích hay bán kinh nghiệm thường cho kết quả không chính xác.

    doc7p meoden89nd 19-01-2011 92 15   Download

  • Tài liệu tham khảo cuốn sách " Quản lý dự án phần mềm " trình bày cách tiếp cận tới những thế hệ thực hành về quản lý phần mềm - Chương 9 Các điểm kiểm tra quá trình

    pdf12p vitconhaman 06-08-2011 48 12   Download

  • Chất lượng của các mô hình phần mềm và các sản phẩm có thể được kiểm tra bằng cách sử dụng quy trình nhất định được gọi là quy trình chất lượng. Các quá trình này liên quan đến việc kiểm tra quá trình phát triển, mô hình phần mềm, sản phẩm, và quá trình chất lượng. Chất lượng của một sản phẩm phần mềm phụ thuộc phần lớn vào như thế nào yêu cầu được mô hình hóa và các yêu cầu được dịch sang thiết kế một.

    pdf26p tienphuoconline 22-10-2011 46 7   Download

  • Bài báo này giới thiệu phần mềm SACR (Simulation And Control of Robot) dùng cho mô phỏng và điều khiển robot được phát triển tại Phòng Cơ điện tử, Viện Cơ học. Phần mềm cho phép người sử dụng có thể thực hiện hoàn chỉnh một quy trình điều khiển robot: thiết kế quỹ đạo, tính toán động học và động lực học, kiểm tra các giá trị tới hạn của các cơ cấu chấp hành và điều khiển robot.

    pdf6p uocvongxua10 18-09-2015 23 5   Download

  • Bài giảng môn học Kỹ nghệ phần mềm: Bài mở đầu giới thiệu các thông tin chung, mục tiêu môn học, hình thức kiểm tra, đánh giá, các nội dung chính của môn học kỹ nghệ phần mềm.

    pdf8p hoa_dai91 23-06-2014 15 4   Download

Đồng bộ tài khoản