Figure 2. Test Harness GenerationGr

Figure 2. Test Harness Generation
Graybox Toolset
The Graybox methodology was
developed especially to test embedded software
systems. "Some might accuse formal
verification of being a technology without a
methodology. Anyone who introduces this
technology into their design cycle obviously
has to have some methodology. The real
question is: What is a successful
methodology?" [Tuck98]. Graybox is a
successful methodology that will make formal
verification an acceptable reality.
The Graybox toolset is a test appliance. The
module simply plugs into the test appliance and
information contained within the source is
extracted and placed into a test database. This
processing happens in several steps. The
module is plugged into the probe tool and a
probed version of the module is created.
Subsequently, the module is plugged into the
stub tool and a valid stub of the module is
created. Next, the module is plugged into the
driver tool and a harness capable of driving the
module is created (Reference Figure 3 Driver
and Stub Generation). Finally, the module is
plugged into the test tool and the module will
be tested and a report of the results created.

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

รูปที่ 2 ทดสอบสร้างเทียม
งาน Graybox
วิธี Graybox ถูก
พัฒนาโดยเฉพาะอย่างยิ่งการทดสอบซอฟต์แวร์ฝังตัว
ระบบการ "บางคนอาจโทษทาง
ตรวจสอบเป็น เทคโนโลยีที่ไม่มีการ
วิธีการ ใครที่แนะนำนี้
เทคโนโลยีในการออกแบบวงจรแน่นอน
ต้องมีวิธีการบางอย่าง จริง
คำถาม: อะไรคือความสำเร็จ
วิธี? " [Tuck98] Graybox เป็นการ
วิธีประสบความสำเร็จที่จะทำให้ทาง
ตรวจสอบการยอมรับความจริง
งาน Graybox เป็นเครื่องทดสอบ
โมดูเพียงแค่เสียบเข้าเครื่องทดสอบ และ
อยู่ในแหล่งข้อมูล
แยก และอยู่ในฐานข้อมูลการทดสอบ นี้
ประมวลผลเกิดขึ้นในขั้นตอนต่าง ๆ ใน
โมเสียบเครื่องมือโพรบและ
สร้างพิสูจน์รุ่นโม.
ในเวลาต่อมา เสียบการโมการ
มือขั้วและขั้วที่ถูกต้องของโม
สร้าง ถัดไป เสียบการโม
harness สามารถขับรถและควบคุมเครื่องมือ
สร้างโมดูล (โปรแกรมควบคุม 3 รูปอ้างอิง
และการ สร้างขั้ว) ในที่สุด เป็นโมดูล
เสียบเครื่องมือทดสอบและจะโมดู
ทดสอบ และรายงานผลได้

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

รูปที่ 2 ทดสอบเทียมรุ่น

graybox ชุด graybox วิธีการคือการพัฒนาโดยเฉพาะเพื่อทดสอบซอฟต์แวร์ฝังตัว

ระบบ” บางคนอาจจะหาว่าเป็นเทคโนโลยีการตรวจสอบอย่างเป็นทางการ

ไม่มีคือ ใครแนะนำเทคโนโลยีนี้ในการออกแบบวงจรของพวกเขาอย่างเห็นได้ชัด

ต้องมีต่อไป จริง
คำถามคือ : อะไรคือวิธีการที่ประสบความสำเร็จ
" ? [ tuck98 ]graybox เป็นวิธีที่ประสบความสำเร็จที่จะทำให้เป็นทางการ

การตรวจสอบความเป็นจริงที่เป็นที่ยอมรับ graybox
ชุดคือการทดสอบอุปกรณ์
โมดูลเพียงแค่ปลั๊กในการทดสอบอุปกรณ์และ

ข้อมูลที่อยู่ภายในแหล่งสกัดและวางลงในการทดสอบฐานข้อมูล รูปนี้
เกิดขึ้นในหลายขั้นตอน
โมดูลเสียบด้วยเครื่องมือและ
ตรวจสอบรุ่นของโมดูลที่ถูกสร้างขึ้น .
ต่อมาโมดูลเสียบ
ต้นขั้วต้นขั้วที่ถูกต้องของเครื่องมือและโมดูล
ตั้งขึ้น ถัดไป , โมดูลเสียบ
ไดรเวอร์เครื่องมือและควบคุมความสามารถในการขับ
โมดูลจะถูกสร้างขึ้น ( อ้างอิงรูปที่ 3 คนขับ
และรุ่นต้นขั้ว ) ในที่สุด , โมดูล
เสียบทดสอบเครื่องมือและโมดูลจะ
ถูกทดสอบและรายงานผลที่สร้างขึ้น