การตรวจสอบระบบ (3): ข้อกำหนดตามสูตร modal

รายละเอียด

การตรวจสอบระบบเป็นสาขาที่ศึกษาพื้นฐานของการสื่อสารระบบและการประมวลผลข้อมูล ช่วยให้การวิเคราะห์อัตโนมัติตามแบบจำลองพฤติกรรมของระบบเพื่อดูว่าระบบทำงานอย่างถูกต้องหรือไม่ เราต้องการรับประกันว่าระบบต่างๆทำในสิ่งที่ควรจะทำ เทคนิคที่นำมาใช้ในการตรวจสอบความถูกต้องของระบบช่วยให้สามารถพิสูจน์ได้ว่าไม่มีข้อผิดพลาด ช่วยให้สามารถออกแบบพฤติกรรมของระบบฝังตัวที่มีโครงสร้างที่ดีและเป็นผลข้างเคียงที่บังคับให้คุณทำพฤติกรรมที่เรียบง่ายและมีข้อมูลเชิงลึก ซึ่งหมายความว่าระบบต่างๆไม่เพียง แต่ทำงานได้อย่างถูกต้องเท่านั้น แต่ยังดูแลรักษาและปรับเปลี่ยนได้ง่ายกว่ามากด้วย 'ข้อกำหนดตามสูตรโมดอล' เป็นหลักสูตรที่สามที่แสดงวิธีระบุข้อกำหนดสำหรับออโตมาตาเพื่อสร้างความสัมพันธ์ที่ถูกต้องระหว่างข้อกำหนดและพฤติกรรมของระบบ อ่านเนื้อหา JF Groote และ MR Mousavi การสร้างแบบจำลองและการวิเคราะห์ระบบการสื่อสาร สำนักพิมพ์ MIT, 2014