Kiểm thử dựa trên mô hình

Xem 1-20 trên 43 kết quả Kiểm thử dựa trên mô hình
  • Quá trình sinh các ca kiểm thử tự động dựa trên mô hình gồm các công đoạn chính: Xây dựng mô hình, nhúng mã C, áp dụng công cụ Spin để sinh các ca kiểm thử. Trong đó xây dựng mô hình là công đoạn đầu tiên, nhiệm vụ chính ở đây là từ mô tả các yêu cầu của hệ thống và chức năng xác định cùng với dữ liệu đầu vào và ra phải xây dựng được mô hình của hệ thống. Xây dựng mô hình có vai trò hết sức quan trọng, nếu việc xây dựng mô...

    pdf50p truongnghen 30-08-2012 58 25   Download

  • Trình bày về cơ sở lý thuyết của kiểm duyệt mô hình (Model checking): khái niệm và ý nghĩa của kiểm duyệt mô hình, quy trình hoạt động của kiểm duyệt mô hình, đặc trưng của kiểm duyệt mô hình, điểm mạnh và điểm yếu của kiểm duyệt dựa trên mô hình sử dụng logic thời gian (Temporal Logic) mô tả các thuộc tính cần kiểm chứng. Nghiên cứu về công cụ Spin, giao diện Xspin, và ngôn ngữ mô hình hóa Promela, máy trạng thái hữu hạn.

    pdf15p banhbeovodung 20-06-2013 36 10   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 131 51   Download

  • Mô hình hóa phần mềm dựa trên UML: trình bày một số vấn đề của lý thuyết ngôn ngữ mô hình hóa UML và việc mô hình hóa phần mềm dựa trên UML. Tổng quan về bài toán quản trị quan hệ khách hàng: giới thiệu về bài toán quản trị quan hệ khách hàng, hiện trạng ứng dụng và triển khai CRM trong các doanh nghiệp tại Việt Nam; đưa ra chức năng và mô hình hệ thống của CRM.

    pdf4p banhbeovodung 20-06-2013 30 5   Download

  • Bài viết phát triển một mô hình lý thuyết dựa trên các khái niệm về đẳng cấu thể chế và các phản ứng chiến lược giúp giải thích những thay đổi của thư viện trong môi trường hoạt động vĩ mô, dưới sự tác động của những yếu tố chính trị, kinh tế, văn hoá và xã hội, và các áp lực đẳng cấu cưỡng chế, mô phỏng và quy chuẩn.

    pdf10p tangtuy01 01-03-2016 10 2   Download

  • Hiệu quả xử lý cao nhất đối với COD là ở nghiệm thức C200, đối với BOD là C0. Hàm lượng COD đầu vào của nước thải quá thấp so với điều kiện thực tế, do những sai số trong pha loãng mẫu nước rác trước khi xử lý, cần tiến hành thử nghiệm lại với nồng độ COD và BOD có trong nước thải đầu vào cao để kiểm tra sự chính xác của mô hình thí nghiệm. b. Kết luận Hiệu quả xử lý của mô hình C ở mức trung bình. Sự khác biệt giữa các nghiệm...

    pdf9p zues03 19-06-2011 108 31   Download

  • Đưa ra các vấn đề cần thiết và cấp bách trong việc nghiên cứu và xây dựng một kỹ thuật sinh Test case hiệu quả từ yêu cầu người dùng. Giới thiệu tổng quan về quá trình sinh test case tự động và các phương pháp sinh Test case: Sinh Test case dựa trên đặc tả, sinh test case dựa trên mô hình, sinh test case hướng đường dẫn. Trình bày các phương pháp và kỹ thuật sinh Test case tự động hiện có, từ đó đề xuất một kỹ thuật sinh Test case tự động và phân tích ưu...

    pdf3p banhbeovodung 20-06-2013 81 27   Download

  • Giới thiệu về khái niệm kiểm thử và các kỹ thuật kiểm thử thông thường, và cụ thể là kiểm thử hộp trắng, và kiểm thử hộp đen, dựa trên các kỹ thuật kiểm thử sẽ tập trung tìm hiểu về ứng dụng Web, thành phần ứng dụng Web và các kiểm thử đối với ứng dụng Web như: kiểm thử giao diện, kiểm thử chức năng, kiểm thử cơ sở dữ liệu, kiểm thử hiệu năng và kiểm thử với các thiết bị di động.

    pdf11p banhbeovodung 20-06-2013 88 25   Download

  • Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java. Tìm hiểu về SMT, Z3, các lý thuyết được hỗ trợ trên Z3, các API của Z3 để tích hợp với JPF và ứng dụng của Z3. Nghiên cứu, đánh giá các giải...

    pdf2p banhbeovodung 20-06-2013 42 10   Download

  • Giới thiệu chung về cơ sở lý thuyết của phương pháp phát triển phần mềm hướng mô hình với hướng tiếp cận là mô hình hóa chuyên biệt miền (DSML), phân tích lợi ích của DSML, cũng như các công cụ hỗ trợ cho mô hình hóa chuyên biệt miền. Nghiên cứu về miền bảo mật, xác định metamodel, các luật ràng buộc cho miền bảo mật theo mô hình điều khiển truy cập dựa trên vai trò của người dùng (RBAC).

    pdf3p banhbeovodung 20-06-2013 15 3   Download

  • Bây giờ ta đã có thể xem xét sâu hơn các câu lệnh của thuật toán "háu ăn". Các câu lệnh của thuật toán hơi khó hiểu vì chúng dựa trên định nghĩa của hai hàm, Test và SelestBestElement (là hàm kiểm tra tính khả thi và đánh giá các tập). Chúng ta cũng giả sử rằng có một cấu trúc properties, là một danh sách của các danh sách chứa tất cả các thông tin cần

    pdf14p phuoctam32 28-06-2011 33 3   Download

  • Đặc điểm chính của kế hoạch kinh tế trong tiểu vùng Sahara châu Phi những năm 1960-năm 1970: lập kế hoạch trung hạn, dựa trên mô hình hai khoảng cách tập trung vào tỷ lệ tăng trưởng , tỷ lệ sản lượng vốn khu vực và tài chính có nguồn gốc khoảng cách Nhà nước sử dụng công cụ kiểm soát thực hiện mục tiêu quy hoạch (ví dụ như tín dụng hướng dẫn chế độ thuế quan)

    pdf0p banhbeo6 15-11-2011 28 3   Download

  • Để giúp cho các lập trình viên phát triển nhanh hệ thống phần mềm của họ, cộng đồng nghiên cứu đã đề xuất một số cách tiếp cận cho việc tìm kiếm tự động các hàm API. Hầu hết các nghiên cứu này đều dựa trên các từ khóa được sử dụng trong các mô tả của các hàm API.

    pdf10p impossible_1 19-11-2013 42 3   Download

  • Bài giảng "Kinh tế học vĩ mô - Chương 4: Tổng cầu và mô hình số nhân cơ bản" cung cấp cho người học các kiến thức: Tổng quan về mô hình số nhân cơ bản, xác định thu nhập quốc dân trong nền kinh tế giản đơn, xác định sản lượng dựa trên nguyên tắc tiết kiệm bằng đầu tư theo kế hoạch,... Mời các bạn cùng tham khảo.

    pdf0p bautroibinhyen3 21-11-2016 0 0   Download

  • Xây dựng hệ thống quản lý kho hàng ở Sunflower. Quá trình nhập hàng: -Bộ phận của công ty gửi yêu cầu về hàng tới kho hàng thông qua phiếu đề nghị. -Kho hàng sẽ nhận hàng từ nhà cung cấp giao cho. -Dựa trên hóa đơn giao hàng thủ kho sẽ kiểm tra và ghi phiếu nhập kho.

    pdf28p dinhlan05011 05-05-2011 768 284   Download

  • Thông thường các phần mềm kế toán thường được xây dựng dựa trên các hoạt động kế toán như: kế toán tiền mặt, tiền gửi, vật tư hàng hóa, mua hàng, bán hàng, tiền lương, tài sản cố định,… Việc phân chia theo các hoạt động sẽ giúp cho người sử dụng trong quá trình nhập liệu và kiểm soát chứng từ đầu vào cũng như việc kiểm tra đối chiếu sổ sách báo cáo đầu ra theo từng hoạt động....

    pdf5p bichtram865 28-05-2011 118 65   Download

  • Luận văn này tập trung nghiên cứu cơ sở lý thuyết truy xuất thông tin và xây dựng thử nghiệm một hệ thống truy xuất thông tin cho phép tìm kiếm các tài liệu mang nội dung tiếng anh chứa trong một máy tính. Hệ thống được xây dựng dựa trên thư viện mã nguồn mở truy xuất thông tin Lucene

    pdf0p cancer23 24-08-2012 63 25   Download

  • Trình bày các lý thuyết chung về kho dữ liệu và mô hình kho dữ liệu, phương pháp xây dựng và thiết kế CSDL cho kho dữ liệu. Khái quát về bộ công cụ sử dụng để xây dựng kho dữ liệu là SQL Server 2008. Giới thiệu về hệ thống quản lý cửa hàng bán lẻ xăng dầu đang được ứng dụng tại Tập đoàn xăng dầu Petrolimex. Tìm hiểu phương pháp thiết kế một kho dữ liệu dựa trên cơ sở dữ liệu nguồn của hệ thống quản lý cửa hàng bán lẻ xăng dầu phục vụ...

    pdf13p banhbeovodung 20-06-2013 62 21   Download

  • Giới thiệu tổng quan về GIS-3D. Dựa trên những phép toán phân tích của GIS-3D để thiết kế các thuật toán cho bài toán thực tế của ngành Điện hiện nay. Nghiên cứu về hệ thống WebGIS mã nguồn mở. Xây dựng ứng dụng WebGIS hỗ trợ tính toán và lựa chọn vị trí xây lắp thành phần hệ thống lưới điện. Thiết kế các thuật toán dựa trên các phép toán phân tích không gian cở sở và mô hình hóa dữ liệu không gian GIS-3D cho ứng dụng.

    pdf3p banhbeovodung 20-06-2013 67 19   Download

  • Hệ thống thoát nước Mô hình GIS tiết kiệm thời gian và tiền bạc trong việc phát triển mô hình hệ thống thoát nước cho mô phỏng dòng chảy và độ sâu trong hệ thống bộ sưu tập. GIS cũng giúp chuẩn bị các bản đồ của các kết quả mô hình, có thể dễ dàng hiểu được nonmodelers. GIS dựa trên mô hình hệ thống thoát nước thu hẹp khoảng cách giữa các thông tin và người nhận của nó.

    pdf36p chimungdauhoi 16-12-2011 37 9   Download

Đồng bộ tài khoản