6.1 TracingThis section should desc

6.1 Tracing
This section should describe the procedures for tracing each part of
the input products to the output products, and vice-versa.
6.2 Formal proofs
This section should define or reference the methods and
procedures used (if any) for proving theorems about the behaviour of the
software.
6.3 Reviews
This section should define or reference the methods and
procedures used for technical reviews, walkthroughs, software inspections
and audits.
This section should list the reviews, walkthroughs and audits that
will take place during the phase and identify the roles of the people
participating in them.
This section should not repeat material found in the standards and
guides, but should specify project-specific modifications and additions.

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

6.1 การสืบค้นกลับส่วนนี้จะอธิบายขั้นตอนการติดตามแต่ละส่วนของผลิตภัณฑ์นำเข้าผลผลิตผลิตภัณฑ์ และกลับ6.2 หลักฐานทางส่วนนี้ควรกำหนด หรืออ้างอิงวิธีการ และขั้นตอนที่ใช้ (ถ้ามี) สำหรับการพิสูจน์ทฤษฎีเกี่ยวกับพฤติกรรมของการซอฟต์แวร์6.3 รีวิวจากส่วนนี้ควรกำหนด หรืออ้างอิงวิธีการ และขั้นตอนที่ใช้สำหรับการรีวิวจากทางเทคนิค การฝึก การตรวจสอบซอฟต์แวร์และตรวจสอบส่วนนี้ควรแสดงรีวิว การฝึก และตรวจสอบที่จะเกิดขึ้นระหว่างขั้นตอน และระบุบทบาทของบุคคลมีส่วนร่วมในส่วนนี้ควรทำซ้ำวัสดุที่พบในมาตรฐาน และแนะนำ แต่ควรระบุเฉพาะโครงการแก้ไขและเพิ่มเติม

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

6.1 การติดตาม
ในส่วนนี้ควรจะอธิบายขั้นตอนในการติดตามแต่ละส่วนของ
ผลิตภัณฑ์ที่มีการป้อนข้อมูลให้กับสินค้าที่ส่งออกและในทางกลับกัน.
6.2 การพิสูจน์อย่างเป็นทางการ
ในส่วนนี้ควรกำหนดหรืออ้างอิงวิธีการและ
ขั้นตอนที่ใช้ (ถ้ามี) เพื่อพิสูจน์ทฤษฎีเกี่ยวกับพฤติกรรม ของ
ซอฟแวร์.
6.3 ความคิดเห็น
ในส่วนนี้ควรกำหนดหรืออ้างอิงวิธีการและ
ขั้นตอนที่ใช้การแสดงความคิดเห็นทางเทคนิค walkthroughs การตรวจสอบซอฟแวร์
และการตรวจสอบ.
ในส่วนนี้ควรรายการคิดเห็น, walkthroughs และการตรวจสอบที่
จะเกิดขึ้นในระหว่างขั้นตอนและระบุบทบาทของ คนที่
มีส่วนร่วมในพวกเขา.
ส่วนนี้ไม่ควรทำซ้ำวัสดุที่พบในมาตรฐานและ
คำแนะนำ แต่ควรระบุการปรับเปลี่ยนเฉพาะโครงการและเพิ่มเติม

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

6.1 การติดตาม
ส่วนนี้ควรอธิบายขั้นตอนการติดตามแต่ละส่วนของ
ผลิตภัณฑ์ใส่ผลิตภัณฑ์ส่งออก และในทางกลับกัน

ส่วนนี้เป็นทางการปรู๊ฟ 6.2 ควรกำหนดหรืออ้างอิงวิธีการและขั้นตอนที่ใช้
( ถ้ามี ) เพื่อพิสูจน์ทฤษฎีบทเกี่ยวกับพฤติกรรมของ


ส่วน 6.3 ความคิดเห็นซอฟต์แวร์ นี้ควรกำหนดวิธีการและ
หรืออ้างอิงขั้นตอนที่ใช้สำหรับเทคนิควิจารณ์ walkthroughs และการตรวจสอบซอฟต์แวร์การตรวจสอบ
.
ส่วนนี้ควรรายการวิจารณ์ walkthroughs และการตรวจสอบว่า
จะเกิดขึ้นในระหว่างขั้นตอนและกำหนดบทบาทของบุคคลที่มีส่วนร่วมในพวกเขา
.
ส่วนนี้ไม่ควรทำซ้ำวัสดุที่พบในมาตรฐานและ
คู่มือ แต่ควรระบุ การปรับเปลี่ยน เฉพาะโครงการ
และเพิ่ม