Công cụ spin

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. Thực tế cho thấy việc đưa ra các phiên bản phần mềm có thể là hàng ngày, mỗi phiên bản bao gồm những tính năng mới, hoặc tính năng...

32p tinhbanpt 14-01-2013 165 22   Download

Tóm tắt Luận án Tiến sĩ Vật lý "Nghiên cứu tỷ số đồng phân và các hiệu ứng liên quan trong phản ứng quang hạt nhân và phản ứng bắt neutron" trình bày các nội dung chính sau: Xem xét một vài hiệu ứng ảnh hưởng tới tỷ số đồng phân như năng lượng kích thích, sự sai khác về spin, sự truyền mô men xung lượng, cấu hình nucleon và hiệu ứng kênh; Tính toán tỷ số đồng phân theo lý thuyết trong phản ứng (γ, n) bằng việc sử dụng mã TALYS 1.95 và công cụ GEANT4 để so sánh với các kết quả thực nghiệm của chúng tôi và của các tác giả khác.

34p vimurdoch 02-10-2023 15 5   Download

Mục đích của luận án là xem xét một số bài toán tán xạ nằm trong xu thế đã nêu, trên một thế hay hai thế, sự giao thoa giữa các tương tác, tán xạ hai hạt có xét đến cấu trúc nội tại, trên cơ sở xây dựng công cụ tính toán mới theo sát với thực nghiệm hơn. Ví dụ, xây dựng lý thuyết nhiễu loạn cải biến để tính các số hạng chính và các số hạng bổ chính của nó, hay biểu diễn Foldy – Wouthuysen (F – W) cho hạt có spin, moment ... trên cơ sở của các phương trình cơ học lượng tử tương đối tính ở trường ngoài – phương trình Klein – Gordon, phương trình Dirac, phương trình chuẩn thế ...

27p acacia2510 11-05-2021 31 4   Download

SPIN là một công cụ để xác minh tính chính xác của của một mô hình phần mềm một cách nghiêm ngặt và tự động. Ngôn ngữ đầu vào của SPIN có tên là PROMELA. PROMELA có thể dùng để quy định hệ thống đồng thời bằng cách tự động thay đổi số lượng các quá trình tương tác, nơi mà các quá trình tương tác có thể được đồng bộ hóa hoặc không đồng bộ hóa.

18p tinhbanpt 14-01-2013 96 21   Download

Erigone là mô hình triển khai lại của mô hình kiểm chứng Spin được phát triển với mục đích kiểm chứng được dễ dàng trực quan, uyển chuyển nhằm thuận lợi cho việc nghiên cứu và mô phỏng mô hình hệ thống, erigone có thể được thực hiện bằng công cụ trên giao diện đồ họa EUI hoặc thao tác bằng câu lệnh dưới dạng command line với nhiều tùy biến lựa chọn cho phép kiểm chứng hoạt động của hệ thống....

48p tinhbanpt 12-12-2012 66 18   Download

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ô...

50p truongnghen 30-08-2012 168 50   Download

Kiểm chứng mô hình (model checking) là một hướng tiếp cận hiệu quả cho việc đảm bảo chất lượng phần mềm. Kĩ thuật này được áp dụng để chứng minh một cách tự động tính đúng đắn của phần mềm hoặc chỉ ra tại sao phần mềm không chạy đúng thông qua phản ví dụ.Hiện nay có rất nhiều công cụ kiểm chứng mô hình phần mềm như NuSMV, SPIN, KRONOS ...

45p truongnghen 30-08-2012 164 45   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. Các bộ kiểm chứng không kiểm tra trực tiếp chương trình mà kiểm tra một...

50p truongnghen 30-08-2012 167 50   Download