We used the SCR* toolset to develop

We used the SCR* toolset to develop the SCR
Specification of the required ASW behavior and to
analyze the specification for desired properties.
The analysis tools that we applied were the
consistency checker and the simulator. We
performed the analysis in two stages. First, we used
the tools to analyze the SRS, i.e., the ideal system
behavior. Once we had confidence in the quality of
this specification, we added the refinements and
extensions described above -- the input and output
variables and the extensions to the specification to
report hardware malfunctions.

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

เราใช้งาน SCR * พัฒนา SCRข้อมูลจำเพาะลักษณะ ASW จำเป็น และการวิเคราะห์ข้อมูลจำเพาะสำหรับคุณสมบัติที่คุณต้องการเครื่องมือวิเคราะห์ที่เราใช้ได้ตรวจสอบความสอดคล้องและการจำลอง เราดำเนินการวิเคราะห์ในขั้นตอนที่สอง เราใช้ก่อนเครื่องมือวิเคราะห์ SRS เช่น ระบบห้องลักษณะการทำงาน เมื่อเรามีความมั่นใจในคุณภาพของข้อมูลจำเพาะนี้ เราได้เพิ่มการ refinements และขยายข้าง - ป้อนและผลผลิตตัวแปรและส่วนขยายเพื่อระบุการรายงานความบกพร่องของฮาร์ดแวร์

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

เราใช้ SCR * ชุดเครื่องมือการพัฒนา SCR
รายละเอียดของพฤติกรรม ASW ที่จำเป็นและการ
วิเคราะห์ข้อมูลสำหรับคุณสมบัติที่ต้องการ.
เครื่องมือในการวิเคราะห์ที่เรานำมาใช้เป็น
ตัวตรวจสอบความสอดคล้องและจำลอง เรา
ดำเนินการวิเคราะห์ในขั้นตอนที่สอง ครั้งแรกที่เราใช้
เครื่องมือในการวิเคราะห์ SRS คือระบบที่เหมาะ
พฤติกรรม เมื่อเรามีความเชื่อมั่นในคุณภาพของ
ข้อกำหนดนี้เราได้เพิ่มการปรับแต่งและ
นามสกุลอธิบายไว้ข้างต้น - อินพุทและเอาท์พุท
ตัวแปรและนามสกุลข้อกำหนดในการ
รายงานความผิดปกติของฮาร์ดแวร์

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

เราใช้ SCR * ชุดเครื่องมือพัฒนาคุณสมบัติของ SCR


ต้อง ASW พฤติกรรมและวิเคราะห์คุณสมบัติ คุณสมบัติที่ต้องการ
เครื่องมือการวิเคราะห์ที่เราใช้คือ
ความสอดคล้องตรวจสอบและจำลอง เราได้ทำการวิเคราะห์
ใน 2 ขั้นตอน ตอนแรกเราใช้
เครื่องมือวิเคราะห์ srs คือ พฤติกรรมของระบบ
เหมาะ เมื่อเรามีความมั่นใจในคุณภาพของ
สเปคนี้เราได้เพิ่มการปรับแต่งและ
ส่วนขยายที่อธิบายข้างต้น -- อินพุตเอาต์พุตและตัวแปร
และส่วนขยายของข้อมูลเพื่อรายงาน ความผิดปกติของฮาร์ดแวร์