correctness

11Nhiệt

6Trả lời

Xác minh tính chính xác của các thuật toán đa luồng

Thuật toán đa luồng đáng chú ý là khó thiết kế/gỡ lỗi/chứng minh. Thuật toán của Dekker là một ví dụ điển hình về mức độ khó có thể thiết kế một thuật toán đồng bộ chính xác. Hệ điều hành hiện đại của

5Nhiệt

13Trả lời

Điều kiện kết thúc vòng lặp

Các vòng lặp for này là một trong những ví dụ cơ bản đầu tiên về bằng chứng chính xác về thuật toán. Họ có điều kiện chấm dứt khác nhau nhưng tương đương: 1 for (int i = 0; i != N; ++i) 2 for (int i

12Nhiệt

4Trả lời

Đảm bảo không đảm bảo VirtualMachineError

Tôi đã đến Java từ C++. Trong thế giới C++, chúng ta chú ý đến sự an toàn ngoại lệ, và lưu ý rằng các mutator có thể cung cấp các đảm bảo khác nhau khi đối mặt với các ngoại lệ do chính mutator tạo ra

7Nhiệt

10Trả lời

Đếm số không theo sau của các số kết quả từ giai thừa

Tôi đang cố gắng đếm số không theo số được tạo thành từ giai thừa (có nghĩa là các con số nhận được khá lớn). Mã sau có một số, tính giai thừa của số và đếm số không theo sau. Tuy nhiên, khi số lượng

5Nhiệt

6Trả lời

Xác nhận nhiều điều kiện trong một thử nghiệm đơn lẻ hoặc chia thành nhiều thử nghiệm?

Nếu bạn đang thử nghiệm một hàm đếm giống như dưới đây, nó được coi là 'đúng' hoặc 'sai' để kiểm tra nhiều thứ cho hàm trong một hàm và có hàm kiểm tra cho mỗi thử nghiệm không? function testGetKeywor

5Nhiệt

4Trả lời

là Danh sách của tôi có đúng không?

Trên tất cả các dự án của chúng tôi, chúng tôi có loại enums này. Chúng hoạt động tốt, nhưng chúng tôi không chắc chắn về chúng. Đặc biệt với phương thức getDocumentType (String). Có cách nào để tránh

8Nhiệt

4Trả lời

if (foo hoặc thanh hoặc baz) là None:

Tôi đã sắp xếp một số mã thay crufty và đã xem qua các cấu trúc khá kỳ quặc sau: #!/usr/bin/env python2.7 # ... if (opts.foo or opts.bar or opts.baz) is None: # (actual option names changed to

7Nhiệt

1Trả lời

Độ chính xác của Cython

Mã được sản xuất bởi Cython luôn đúng như mã Python được tạo ra từ? Nó có thể giúp người đọc khác giải quyết việc sử dụng khai báo kiểu tĩnh Cython và các tính năng Cython khác (nếu có), mặc dù tôi ch

15Nhiệt

5Trả lời

Hiển thị hai hàm fibonacci khác nhau là tương đương

Tôi đang cố gắng tìm hiểu chính xác ý nghĩa của chương trình để chứng minh một chương trình. Tôi bắt đầu từ đầu và bị treo lên trên các bước đầu tiên/giới thiệu về chủ đề. Trong this paper trên tổng s