Skip to main content
หน้านี้จะแสดงผลโดยใช้การแปลอัตโนมัติ ดูเป็นภาษาอังกฤษแทน?

ภาพรวม

Questa Increase Coverage

การระบุรายการครอบคลุมรหัสที่เข้าถึงได้ยากโดยเทคนิคอย่างเป็นทางการและยังไม่ได้ถูกโจมตีในการจำลอง จึงเป็นตัววัดความซับซ้อนในการตรวจสอบที่มีคุณค่าสิ่งนี้จะแนะนำวิศวกรให้เปลี่ยนการออกแบบเพื่อให้สามารถตรวจสอบได้ง่ายขึ้น


ติดต่อกับทีมขายของเรา 1-800-547-3000

วิศวกรกำลังใช้เครื่องมือ Questa Coverage บนเดสก์ท็อปของเขาและอธิบายการออกแบบให้กับอีกเครื่องหนึ่ง
คุณสมบัติที่สำคัญ

ระบุพื้นที่รหัสตายอย่างครบถ้วน

ไม่ว่าคุณจะเขียนแบบทดสอบที่ชาญฉลาดแค่ไหน ไม่ว่าคุณจะลองเมล็ดแบบสุ่มที่แตกต่างกันมากแค่ไหน คะแนนความครอบคลุมก็เป็นเส้นแบนในเวลาเดียวกัน การระบุข้อยกเว้นเพื่อยกเว้นการกำหนดค่า IP ที่ไม่ได้ใช้จากการวิเคราะห์โดยเจตนาอาจเป็นกระบวนการด้วยตนเองที่น่าเบื่อและอาจเกิดข้อผิดพลาด

การตรวจสอบอย่างเป็นทางการ

กิจกรรมที่กำลังจะมาถึงและตามความต้องการ

ดูบันทึกวิดีโอการตรวจสอบอย่างเป็นทางการทั้งหมดที่มี ได้ที่ สถาบันการตรวจสอบ.

การตรวจสอบอย่างเป็นทางการ

เอกสารไวท์เปเปอร์ที่แนะนำ

พร้อมที่จะพูดคุยกับใครบางคนวันนี้แล้วหรือยัง?

เรากำลังพร้อมตอบคำถามของคุณ

ติดต่อกับทีมขายของเรา 1-800-547-3000

เรียนรู้เพิ่มเติม

สถาบันการตรวจสอบ

Verification Academy มอบทักษะที่จำเป็นในการพัฒนาความสามารถของกระบวนการตรวจสอบการทำงานขององค์กร โดยให้การเชื่อมโยงเชิงระเบียบระหว่างข้อเสนอคุณค่าระดับสูงและรายละเอียดระดับต่ำ

บล็อกการตรวจสอบ Horizons

ข้อมูลเชิงลึกและการอัปเดตแนวคิด ค่านิยม มาตรฐาน วิธีการ และตัวอย่างเพื่อช่วยในการทำความเข้าใจว่าเทคโนโลยีการตรวจสอบการทำงานขั้นสูงสามารถทำอะไรได้บ้างและวิธีการนำไปใช้ได้อย่างมีประสิทธิภาพสูงสุด

ขอบเขตการตรวจสอบ

สิ่งพิมพ์ Verification Horizons ให้แนวคิด คุณค่า วิธีการ และตัวอย่างเพื่อช่วยในการทำความเข้าใจว่าเทคโนโลยีการตรวจสอบการทำงานขั้นสูงสามารถทำอะไรได้บ้างและจะนำไปใช้ได้อย่างมีประสิทธิภาพมากที่สุด