Much of the effort in modern progra

Much of the effort in modern programming goes into the testing and repair of bugs. Is there perhaps a silver bullet to be found by eliminating the errors at the source, in the system design phase? Can both productivity and product reliability be radically enhance by following the profoundly different strategy of proving designs correct before the immense effort is poured into implementing and testing them?

Kết quả (Việt) 1:

Nhiều nỗ lực trong lập trình hiện đại đi vào thử nghiệm và sửa chữa lỗi. Có lẽ là một viên đạn bạc được tìm thấy bằng cách loại bỏ các lỗi tại nguồn, trong giai đoạn thiết kế hệ thống? Có thể cả năng suất và sản phẩm độ tin cậy được triệt để nâng cao bởi sau chiến lược khác nhau sâu sắc của minh thiết kế chính xác trước khi những nỗ lực bao la được đổ vào việc thực hiện và thử nghiệm chúng?

Kết quả (Việt) 2:

Phần lớn các nỗ lực trong việc lập trình hiện đại đi vào kiểm tra và sửa lỗi. Có lẽ một viên đạn bạc được tìm thấy bằng cách loại bỏ các lỗi ngay tại nguồn, trong giai đoạn thiết kế hệ thống? Cả năng suất và độ tin cậy sản phẩm có thể được tăng cường triệt để bằng cách làm theo các chiến lược sâu sắc khác nhau của minh thiết kế chính xác trước khi nỗ lực to lớn được đổ vào việc thực hiện và thử nghiệm chúng?