This paper presents new results and

This paper presents new results and graph algorithms for the automatic testing of protocols using “unique input/output” (UIO) sequences. UIO sequences can be efficiently employed in checking conformance of protocols to their specifications by using transition testing. The optimization of the test sequence is based on finding the rural Chinese postman tour, of the state transition diagram of a finite state machine (FSM).

The process of conformance test generation using a touring algorithm is valid provided that certain connectivity properties of the graph are present. This implies that a weakly connected graph must be constructed. It is possible that this connectivity condition may not be met when multiple UIO sequences are used even if the reset capability and/or the self-loop properties are present. The “weakly connected graph problem” consists of finding an edge-induced subgraph of the FSM which is still weakly connected when multiple UIO sequences are used. The “multiple UIO tour minimization problem” addresses the assignment of edges to UIO sequences for minimizing the degree of the directed UIO graph. This process may not also minimize the length of the tour. The above two problems, left open in previous papers, are solved in this paper. It is proved that by appropriately changing the original assignment graph and using network flow techniques with a new UIO generation process referred to as chaining, efficient solutions can be provided. The theoretical approaches behind the solution to these problems are fully characterized.

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

เอกสารนี้แสดงผลใหม่และกราฟอัลกอริทึมสำหรับการทดสอบอัตโนมัติของโปรโตคอลที่ใช้ "เฉพาะอินพุต/เอาท์พุต" (UIO) ลำดับนั้น ลำดับ UIO สามารถสามารถจ้างในการตรวจสอบความสอดคล้องกันของโพรโทคอการข้อกำหนดของพวกเขาโดยการทดสอบการเปลี่ยนแปลงได้อย่างมีประสิทธิภาพ การเพิ่มประสิทธิภาพของการทดสอบลำดับตามหาบุรุษไปรษณีย์จีนชนบททัวร์ ของไดอะแกรมการเปลี่ยนสภาวะของเครื่องสถานะจำกัด (แบ่งเป็นสองพวก)กระบวนการสร้างการทดสอบความสอดคล้องกันโดยใช้อัลกอริทึมจักรยานทัวร์ริ่งไม่ถูกต้องโดยที่มีคุณสมบัติเชื่อมต่อบางอย่างของกราฟ หมายความว่า ต้องสร้างเป็นกราฟเชื่อมต่อ weakly เป็นไปได้ที่นี้เชื่อมต่ออาจไม่มีเงื่อนไขเมื่อมีใช้หลาย UIO ลำดับแม้ว่าความสามารถใหม่และ/หรือคุณสมบัติการวนรอบตัวเองอยู่ "ปัญหาเชื่อมต่อ weakly กราฟ" ประกอบด้วย subgraph เกิดขอบของแบ่งเป็นสองพวกซึ่งยังคง weakly เชื่อมต่อเมื่อมีใช้หลาย UIO ลำดับ การค้นหา "หลาย UIO ทัวร์ลดภาระปัญหา" อยู่การกำหนดขอบการลำดับ UIO เพื่อลดระดับของ UIO กราฟโดยตรง กระบวนการนี้อาจไม่ลดความยาวของทัวร์ยัง มีแก้ไขปัญหาสองด้านบน ด้านซ้ายเปิดในเอกสารก่อนหน้านี้ ในเอกสารนี้ มันเป็นเครื่องพิสูจน์ว่า เปลี่ยนกราฟกำหนดเดิมอย่างเหมาะสม และใช้กระแสเครือข่าย เทคโนโลยีกระบวนการสร้าง UIO ใหม่เรียกว่าเป็นโซลูชั่นการกำหนดสายงาน มีประสิทธิภาพสามารถให้ ทั้งหมดมีลักษณะแนวทฤษฎีเบื้องหลังการแก้ปัญหาปัญหาเหล่านี้

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

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

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

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