Phải có đảm bảo chất lượng và kiểm thử phần mềm Cho KindSoftware

ESC / Java2 là một mở rộng tĩnh Checker cho Java. Nó tự động, tĩnh, và mô đun phát hiện các lỗi lập trình phổ biến. Lý do ESC / Java2 về các chương trình Java đã (tùy chọn) chú thích viết bằng JML là gì mới trong phiên bản này:. Không có thay đổi...