Tools that support one or more of t

Tools that support one or more of these static analysis activities are
available and their use is strongly recommended.
Compilers often perform some control flow and data-use analysis.
Some compile/link systems, such as those for Ada and Modula-2,
automatically do interface analysis to enforce the strong type checking
demanded by the language standards. Compilers for many languages, such
as FORTRAN and C, do not do any interface analysis. Static analysis tools
are especially neceflow, range bounds and interfaces. The use of a static analyser should be an
essential step in C program development, for example.
Static analysers for measuring complexity and constructing call
graphs are essential when the Structured Testing method is used for unit
testing (see Section 4.5.1). Producing call graphs at higher levels (i.e.
module tree and program tree) is also of use in the review and testing of the
detailed design and architectural design.

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

เครื่องมือที่สนับสนุนกิจกรรมเหล่านี้คงวิเคราะห์อย่างน้อยหนึ่ง อย่างว่าง และขอแนะนำการใช้งานคอมไพเลอร์มักทำบางขั้นตอนการควบคุม และ ใช้วิเคราะห์ข้อมูลระบบการคอมไพล์การเชื่อมโยงบางอย่าง เช่น Ada และ Modula-2โดยอัตโนมัติอินเทอร์เฟซการบังคับใช้การตรวจสอบชนิดแข็งแรงต้องตามมาตรฐานภาษา คอมไพเลอร์สำหรับภาษาต่าง ๆ เช่นภาษาฟอร์แทรนและ C ไม่วิเคราะห์ใด ๆ ติดต่อ เครื่องมือวิเคราะห์แบบคงมีโดยเฉพาะอย่างยิ่ง neceflow ขอบเขตของช่วง และอินเตอร์เฟส ควรใช้ analyser คงขั้นตอนที่สำคัญในการพัฒนาโปรแกรม C ตัวอย่างAnalysers คงวัดความซับซ้อน และสร้างโทรกราฟสำคัญเมื่อใช้วิธีการทดสอบแบบมีโครงสร้างสำหรับหน่วยทดสอบ (ดูหัวข้อ 4.5.1) ผลิตโทรกราฟระดับสูง (เช่นโมดูแผนภูมิและแผนภูมิโปรแกรม) ก็ใช้ในการทบทวนและการทดสอบออกแบบและสถาปัตยกรรม

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

เครื่องมือที่สนับสนุนการหนึ่งหรือมากกว่าหนึ่งของกิจกรรมการวิเคราะห์แบบคงที่เหล่านี้มีความ
พร้อมใช้งานและการใช้งานของพวกเขาจะขอแนะนำ.
คอมไพเลอร์มักจะดำเนินการควบคุมการไหลและการวิเคราะห์ข้อมูลการใช้งาน.
บางระบบรวบรวม / link เช่นนั้นสำหรับ Ada และ Modula-2,
ทำโดยอัตโนมัติ การวิเคราะห์อินเตอร์เฟซที่จะบังคับใช้ชนิดที่แข็งแกร่งการตรวจสอบ
การเรียกร้องตามมาตรฐานภาษา คอมไพเลอร์สำหรับหลายภาษาเช่น
เป็น FORTRAN และ C ไม่ทำวิเคราะห์อินเตอร์เฟซใด เครื่องมือในการวิเคราะห์แบบคงที่
โดยเฉพาะอย่างยิ่ง neceflow ขอบเขตช่วงและการเชื่อมต่อ การใช้การวิเคราะห์แบบคงที่ควรจะเป็น
ขั้นตอนสำคัญในการพัฒนาโปรแกรม C เช่น.
วิเคราะห์คงที่สำหรับการวัดความซับซ้อนและสร้างโทร
กราฟมีความจำเป็นเมื่อวิธีการทดสอบโครงสร้างที่ใช้สำหรับหน่วย
ทดสอบ (ดูมาตรา 4.5.1) ผลิตกราฟโทรในระดับที่สูงขึ้น (เช่น
ต้นไม้โมดูลและต้นไม้โปรแกรม) นอกจากนี้ยังมีการใช้ในการตรวจสอบและการทดสอบ
การออกแบบรายละเอียดและการออกแบบสถาปัตยกรรม

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

เครื่องมือที่สนับสนุนหนึ่งหรือมากกว่าของเหล่านี้สถิตการวิเคราะห์กิจกรรม
ใช้ได้และใช้ขอแนะนํา .
คอมไพเลอร์มักจะปฏิบัติควบคุมการไหลและการวิเคราะห์ข้อมูลใช้
บางรวบรวม / เชื่อมโยงระบบ เช่น ผู้ที่ ADA ภาษา Modula - 2Language
โดยอัตโนมัติวิเคราะห์และ , อินเตอร์เฟซที่จะบังคับใช้ที่แข็งแกร่งพิมพ์ตรวจสอบ
เรียกร้องโดยภาษา มาตรฐาน พูดหลายภาษา เช่น
เช่นภาษาฟอร์แทรนและ C ไม่ทำใด ๆ อินเตอร์เฟซการวิเคราะห์ ไฟฟ้าสถิตเครื่องมือวิเคราะห์
โดยเฉพาะ neceflow ขอบเขตช่วง , และการเชื่อมต่อ . การใช้งานของเครื่องคงเป็นขั้นตอนสำคัญในการพัฒนาโปรแกรม C

แบบคงที่ ตัวอย่างเช่น บริษัท การวัดความซับซ้อนและการเรียก
กราฟจะสรุปเมื่อมีโครงสร้าง วิธีการทดสอบใช้สำหรับทดสอบหน่วย
( ดูมาตรา 4.5.1 )การผลิตเรียกกราฟในระดับที่สูงขึ้น ( เช่น ต้นไม้ และต้นไม้
โมดูลโปรแกรม ) ยังใช้ในการตรวจสอบและทดสอบ

ออกแบบรายละเอียดและการออกแบบสถาปัตยกรรม