There is a growing view that the us

There is a growing view that the use of
static code analysis and proof techniques is much more cost-effective, especially
when tool supported. (we consider testing below.)

ผลลัพธ์ (ไทย) 1:

มีการเจริญเติบโตดูที่การใช้รหัสคงวิเคราะห์และเทคนิคการพิสูจน์จะคุ้มค่ามาก โดยเฉพาะอย่างยิ่งเมื่อเครื่องมือได้รับการสนับสนุน (เราควรทดสอบด้านล่างนี้)

ผลลัพธ์ (ไทย) 2:

มีมุมมองการเจริญเติบโตว่าการใช้คือ
การวิเคราะห์รหัสคงที่และเทคนิคการพิสูจน์เป็นอย่างมากมีประสิทธิภาพมากขึ้นโดยเฉพาะอย่างยิ่ง
เมื่อเครื่องมือสนับสนุน (เราพิจารณาการทดสอบด้านล่าง.)