Câu hỏi được gắn thẻ «program-correctness»

Là một kỹ sư phần mềm, tôi viết rất nhiều mã cho các sản phẩm công nghiệp. Công cụ tương đối phức tạp với các lớp, chủ đề, một số nỗ lực thiết kế, nhưng cũng có một số thỏa hiệp cho hiệu suất. Tôi làm rất nhiều thử nghiệm …

66 programming-languages  program-correctness  software-verification 

Từ Wikipedia: Trong khoa học máy tính lý thuyết, tính chính xác của thuật toán được khẳng định khi người ta nói rằng thuật toán này đúng với một đặc điểm kỹ thuật. Nhưng vấn đề là để có được đặc tả "phù hợp" không phải là một nhiệm vụ …

17 formal-methods  software-verification  program-correctness 

Về vấn đề lỗi Heartbleed, Bruce Schneier đã viết trong Crypto-Gram ngày 15 tháng 4: '"Thảm họa" là từ đúng. Trên thang điểm từ 1 đến 10, đây là 11. ' Tôi đã đọc cách đây vài năm rằng một hạt nhân của một hệ điều hành nhất định đã …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Tôi biết rằng có một cái gì đó gọi là tính đúng một phần, nhưng tôi đã tự hỏi liệu có cách nào để biết mức độ gần đúng của một chương trình bán đúng với một chương trình hoàn toàn chính xác hay không. Ví dụ: nếu bạn có …

7 formal-methods  software-verification  program-correctness 

Tôi đã đọc về PHP và nhiều tác giả đề cập đến các lỗi ngữ nghĩa và logic riêng biệt. Như một ví dụ về lỗi ngữ nghĩa, họ đưa ra một hàm được gọi với số lượng tham số không chính xác: điều này sẽ không bị trình phân …

7 terminology  programming-languages  compilers  program-correctness