[12] propose test case generation b

[12] propose test case generation based on symbolic transition systems out of communicating state chart models describing ECU behavior.

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

[12] เสนอสร้างกรณีทดสอบตามระบบสัญลักษณ์เปลี่ยนจากการสื่อสารแบบจำลองแผนภูมิรัฐอธิบายลักษณะการทำงานของ ECU

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

[12] เสนอการสร้างกรณีทดสอบขึ้นอยู่กับระบบการเปลี่ยนสัญลักษณ์จากการสื่อสารของรัฐรูปแบบแผนภูมิอธิบายพฤติกรรม ECU

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

[ 12 ] เสนอสร้างกรณีทดสอบบนพื้นฐานของระบบการเปลี่ยนสัญลักษณ์ของการสื่อสารของรัฐแผนภูมิแบบอธิบายพฤติกรรม ECU