The utility of the SCR* toolset has

The utility of the SCR* toolset has been
evaluated in a number of pilot projects. In one,
NASA researchers used the toolset's consistency
checker to detect several errors in the requirements
specification of software for the International Space
Station [4]. In a second project, engineers at
Rockwell used the tools to expose 28 errors, many
of them serious, in the requirements specification of
a flight guidance system [5]. Of the detected errors,
a third were uncovered by creating the specification
with the toolset, a third in running the consistency
checker, and the remaining third in executing the
specification with the simulator.

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

ของการใช้งาน SCR * ได้รับประเมินในโครงการนำร่อง หนึ่งนักวิจัยของนาซ่าใช้งานสอดคล้องกันตรวจสอบเพื่อตรวจสอบข้อผิดพลาดต่าง ๆ ในความต้องการข้อกำหนดของซอฟต์แวร์สำหรับพื้นที่นานาชาติสถานี [4] ในโครงการที่สอง วิศวกรที่ร็อคเวลล์ใช้เครื่องมือในการแสดงข้อผิดพลาด 28 มากรุนแรง ในการระบุความต้องการของพวกเขาการบินแนะนำระบบ [5] ข้อผิดพลาดที่ตรวจพบที่สามถูกเปิด ด้วยการสร้างข้อมูลจำเพาะกับงาน บุคคลที่สามในการทำงานความสอดคล้องตรวจสอบ และเหลือ 3 ในการดำเนินการข้อมูลจำเพาะกับการจำลอง

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

ยูทิลิตี้ของ SCR ชุด * ได้รับการ
ประเมินในจำนวนของโครงการนำร่อง ในหนึ่ง
นักวิจัยนาซ่าใช้ชุดเครื่องมือที่สอดคล้องของ
การตรวจสอบในการตรวจสอบข้อผิดพลาดหลายอย่างในข้อกำหนด
คุณสมบัติของซอฟต์แวร์สำหรับอวกาศนานาชาติ
สถานี [4] ในโครงการที่สองวิศวกรที่
ถอดแบบมาใช้เครื่องมือในการเปิดเผย 28 ข้อผิดพลาดหลาย
ของพวกเขาอย่างจริงจังในข้อกำหนดความต้องการของ
ระบบคำแนะนำเที่ยวบิน [5] ข้อผิดพลาดที่ตรวจพบ
ที่สามถูกเปิดโดยการสร้างสเปค
กับชุดที่สามในการทำงานสอดคล้องกัน
ตรวจสอบและคนที่สามในการดำเนินที่เหลือ
เปคกับจำลอง

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

ยูทิลิตี้ของ SCR * ชุดได้
ประเมินในตัวเลขของโครงการนำร่อง หนึ่งในนักวิจัยใช้ชุดเครื่องมือของนาซา

ตรวจสอบความสอดคล้องตรวจสอบหลายข้อผิดพลาดในคุณสมบัติของซอฟต์แวร์สำหรับความต้องการ

สถานีอวกาศนานาชาติ [ 1 ] ในโครงการ 2 , วิศวกรที่
Rockwell ใช้เครื่องมือเปิดโปง 28 ข้อผิดพลาดมากมาย
ของพวกเขาอย่างจริงจังในการกำหนดความต้องการของ
ระบบคำแนะนำเที่ยวบิน [ 5 ] ของการตรวจพบข้อผิดพลาด
ที่สามถูกเปิดเผย โดยการสร้างข้อมูล
กับชุดเครื่องมือ , ที่สามในการวิ่งความสอดคล้อง
ตรวจสอบและที่สามที่เหลือในการรัน
สเปคกับจำลอง