SofCheck ตรวจสอบเป็นเครื่องมือในการวิเคราะห์แบบคงที่พบข้อผิดพลาดใน bytecodes Java โดยจะใช้การควบคุมการไหลแบบคงที่ข้อมูลการไหลและการบริหารจัดการที่เป็นไปได้ค่าที่ตั้งไว้ (PVP) เทคนิคการระบุสถานที่ที่เวลาทำงานข้อผิดพลาดที่อาจเกิดขึ้น เทคนิคที่มีคุณภาพซอฟต์แวร์นี้โดยอัตโนมัติให้ครอบคลุมเส้นทาง 100% และช่วยให้ข้อบกพร่องที่จะระบุและกำจัดออกมากในช่วงต้นในวงจรชีวิตของซอฟแวร์ก่อนที่เวลาทำงาน ตรวจสอบและสร้างปัจจัยพื้นฐาน postconditions ที่เป็นลักษณะการทำงานของโค้ด Java และมีประโยชน์สำหรับการตรวจสอบรหัสกล่องสีขาว ตรวจพบสภาพการแข่งขันดัชนีจากขอบเขตล้นแบ่งโดยศูนย์รหัสตายที่ได้รับมอบหมายไม่ได้ใช้การทดสอบเสมอไปทางเดียวหรือโยนข้อยกเว้น นี้เป็นรุ่นทดลองใช้ 45 วันรองรับได้ถึง 200 ชั้นเรียน ผลิตภัณฑ์ที่มีรุ่นของดวงอาทิตย์ JRE
ต้องการ .
Windows XP / 2003 Server
ข้อ จำกัด
ทดลองใช้ 45 วัน
ความคิดเห็นที่ไม่พบ