Figure 1. Test Execution Environmen

Figure 1. Test Execution Environment
The software under test must be verified
at different levels. The first level of software
verification is the unit level. A unit is defined
to be the smallest compilable piece of software.
At this level an individual module is subjected
to test cases developed from the requirement
model. The unit under test is placed in an
environment that will extract the module's
specification and generate a driver capable of
calling the unit under test. All modules that are
called by the Module Under Test (MUT) will
be automatically stubbed if they are not
available. The Graybox methodology supports
stub data value return through the MTIF file.
The Graybox methodology supports automated
code generation of all test unique software
(drivers, stubs, results verification). During
software integration, the Graybox toolset is
once again invoked to generate the driver to
test the module in relationship to its
subordinate modules.
As the module under test completes one
invocation and returns, the data values on the
module's interface are verified against the
requirement based test case verification data.
"Comparison of the algebraically couched
results of symbolic testing with external
specifications given in similar terms constitutes
an exact verification process" [Dunn84]. This
process is repeated for each test case in the test
case input file. In the Graybox methodology
the tester never steps inside the module under
test. All data is viewed external to the module
under test.
The module is probed after being
introduced into the test environment. This allows the test environment to gain visibility to
the path coverage information. A module is
considered tested when it has passed all
requirement-based test cases and has traversed
all paths. Test verification is given a score of
one and every path from top to bottom of the
module has a score of one. Combining the
verification and path coverage scores gives a
test completion score. A module that has
passed all requirement-based test cases and did
not traverse all paths has code that has not been
executed by any test case. "In its most
primitive form, the monitor will report, at the
conclusion of each dynamic test, the decisionto-
decision paths that have been exercised. A
static analysis system automatically
instruments the source code with probes for the
gathering of branch execution statistics"
[Dunn84]. Once the score reaches loo%, the
module is deemed functionally and structurally
tested. The Graybox methodology includes
steps to capture and verify code coverage.
"Coverage monitors are aids that are applicable
to white-box testing activities" [Myers79]. The
Graybox methodology can be used for both
Top Down (stub generation) and Bottom Up
Testing (driver generation). A module can be
integration tested by replacing all stubbed
modules with the actual modules when they are
coded and repeating the test case execution
step.

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

รูปที่ 1 สภาพแวดล้อมของการดำเนินการทดสอบ
ต้องสามารถตรวจสอบซอฟต์แวร์ภายใต้ทดสอบ
ในระดับต่าง ๆ ระดับแรกของซอฟต์แวร์
ระดับหน่วยจะตรวจสอบ กำหนดหน่วย
ให้ น้อยที่สุดที่คอมไพล์ได้ชิ้นส่วนของซอฟต์แวร์
ระดับนี้ต้องมีโมดูลแต่ละ
เพื่อทดสอบกรณีที่พัฒนาจากความต้องการ
รุ่น ทดสอบหน่วยที่อยู่ในตัว
สภาพแวดล้อมที่จะนำของโมดูล
ข้อมูลจำเพาะ และสร้างโปรแกรมควบคุมสามารถ
เรียกหน่วยภายใต้การทดสอบ โมดูลทั้งหมดที่
เรียก โดยจะโมดูลภายใต้การทดสอบ (MUT)
โดยอัตโนมัติเป็น stubbed ถ้า
ว่าง วิธี Graybox สนับสนุน
ขั้วคืนค่าข้อมูลผ่านไฟล์ MTIF
สนับสนุนวิธี Graybox อัตโนมัติ
รหัสรุ่นของซอฟต์แวร์ทั้งหมดทดสอบเฉพาะ
(ไดรเวอร์ สตับ ผลการตรวจสอบ) ระหว่าง
รวมซอฟต์แวร์ งาน Graybox เป็น
เรียกอีกครั้งเพื่อสร้างโปรแกรมควบคุมการ
ทดสอบโมสัมพันธ์ของ
ย่อยโมดู
เป็นโมดูลภายใต้การทดสอบเสร็จสิ้นหนึ่ง
เรียก และผลตอบแทน ค่าข้อมูลบน
อินเทอร์เฟซของโมดูลจะตรวจสอบกับ
ความต้องการทดสอบกรณีตรวจสอบข้อมูล
"เปรียบเทียบ couched ไว้ algebraically
ผลทดสอบกับภายนอกสัญลักษณ์
ถือข้อกำหนดที่กำหนดในเงื่อนไขคล้าย
กระบวนการตรวจสอบแน่นอน" [Dunn84] นี้
ซ้ำกระบวนการสำหรับแต่ละกรณีทดสอบในการทดสอบ
กรณีแฟ้มป้อนเข้า ในระหว่าง Graybox
การทดสอบตามขั้นตอนภายในโมดูลภายใต้ไม่
ทดสอบ ข้อมูลทั้งหมดที่ดูภายนอกโมดูล
ภายใต้ test.
โมจะพิสูจน์หลังถูก
นำเข้าสู่การทดสอบ ให้ทดสอบการมองเห็นการ
ข้อมูลความครอบคลุมของเส้นทาง เป็นโมดูล
ถือว่าทดสอบได้ผ่านทั้งหมด
กรณีทดสอบตามความต้องการ และมีไม่เหมือนกัน
เส้นทางทั้งหมด ตรวจสอบทดสอบให้คะแนน
หนึ่ง และทุกเส้นทางจากบนลงล่างของการ
โมได้คะแนนที่หนึ่ง รวม
ให้คะแนนความครอบคลุมการตรวจสอบและเส้นทางการ
ทดสอบคะแนนความสมบูรณ์ โมดูลที่มี
ผ่านทั้งหมดตามความต้องการทดสอบกรณี และไม่
ท่องไปตามเส้นทางทั้งหมดไม่มีรหัสที่ไม่ถูก
ปฏิบัติกรณีทดสอบ "ในสุด
ดั้งเดิมแบบฟอร์ม การตรวจสอบจะรายงาน ที่
สรุปของการทดสอบแต่ละแบบไดนามิก decisionto-
ตัดสินใจเส้นทางที่มีการใช้งาน A
คงวิเคราะห์ระบบอัตโนมัติ
เครื่องรหัสแหล่งที่มากับคลิปปากตะเข้สำหรับ
รวบรวมสถิติสาขาดำเนินการ "
[Dunn84] เมื่อคะแนนถึง loo %
ถือว่าโมดูลฟังก์ชัน และ structurally
ทดสอบ มีวิธี Graybox
ขั้นตอนในการรวบรวม และตรวจสอบรหัสความครอบคลุมการ
"เอดส์ที่ได้รับจะครอบคลุมจอ
ขาวกล่องทดสอบกิจกรรม" [Myers79]
Graybox วิธีใช้ทั้ง
ด้านบนลง (สร้างขั้ว) และล่างค่า
ทดสอบ (โปรแกรมควบคุมรุ่น) โมดูลสามารถ
รวมทดสอบ โดยติดตั้งทั้งหมด stubbed
สูตรจริงเมื่อ
รหัส และทำซ้ำการดำเนินการกรณีทดสอบ
ขั้นตอนได้

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

รูปที่ 1 การดำเนินการทดสอบสภาพแวดล้อมการทดสอบซอฟต์แวร์ภายใต้

ต้องตรวจสอบในระดับที่แตกต่างกัน ระดับแรกของการตรวจสอบซอฟต์แวร์
เป็นระดับหน่วย หน่วยที่กำหนด
ให้น้อยที่สุด compilable ชิ้นส่วนของซอฟต์แวร์ .
ระดับโมดูลบุคคลนี้อยู่ภายใต้การทดสอบกรณี
พัฒนามาจากความต้องการ
นางแบบ หน่วยภายใต้การทดสอบจะอยู่ใน
สภาพแวดล้อมที่จะแยกรายละเอียดของ
โมดูลและสร้างโปรแกรมควบคุมความสามารถของ
เรียกหน่วยภายใต้การทดสอบ โมดูลทั้งหมดที่
เรียกโมดูลภายใต้การทดสอบ ( มุด )
อัตโนมัติ stubbed ถ้าพวกเขาไม่ได้
พร้อม การ graybox วิธีการสนับสนุน
คืนค่าข้อมูลสะดุดผ่านไฟล์ mtif .

graybox วิธีการสนับสนุนแบบอัตโนมัติรหัสรุ่นของซอฟต์แวร์ทดสอบเฉพาะ
( ไดรเวอร์ , ตอ , ผลการตรวจสอบ )
รวมในซอฟต์แวร์ , ชุดเครื่องมือที่เป็น graybox
อีกครั้งเรียกให้สร้างไดรเวอร์

ทดสอบโมดูลในความสัมพันธ์กับผู้ใต้บังคับบัญชาของ

เป็นโมดูล โมดูลภายใต้การทดสอบเสร็จสมบูรณ์หนึ่ง
คำขอร้องและส่งกลับค่าข้อมูลใน
ของโมดูลอินเตอร์เฟซจะถูกตรวจสอบกับ
ความต้องการตามกรณีทดสอบการตรวจสอบข้อมูล .
" เปรียบเทียบผลลัพธ์ของการทดสอบพีชคณิตนอน

สัญลักษณ์ภายนอกที่มีคุณสมบัติที่ระบุในคำที่คล้ายกันถือเป็น
แน่นอนกระบวนการตรวจสอบ " [ dunn84 ] กระบวนการนี้ซ้ำสำหรับแต่ละกรณีทดสอบ

ในการทดสอบกรณีนำเข้าไฟล์ ใน graybox วิธีการ
tester ไม่เคยขั้นตอนภายในโมดูลภายใต้
ทดสอบข้อมูลทั้งหมดจะดูภายนอกโมดูล
ภายใต้การทดสอบ .

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

เส้นทางครอบคลุมข้อมูล โมดูลเป็น
ถือว่าการทดสอบเมื่อมันได้ผ่านทุกกรณีทดสอบและมีความต้องการตาม

traversed เส้นทางทั้งหมด การตรวจสอบการทดสอบจะได้รับคะแนน
หนึ่ง และทุกเส้นทางจากด้านบนกับด้านล่างของ
โมดูลมีคะแนนเดียว การสอบและคะแนนความคุ้มครองเส้นทาง

สอบเสร็จให้คะแนน โมดูลที่มี
ผ่านทุกความต้องการตามกรณีทดสอบและสำรวจเส้นทางทั้งหมด
ไม่มีรหัสที่ยังไม่ได้ดำเนินการ โดยกรณีทดสอบ
" ในรูปแบบดั้งเดิมที่สุด
, ตรวจสอบรายงานที่
สรุปของแต่ละการทดสอบแบบไดนามิก ,การซื้อ -
การตัดสินใจเส้นทางที่ได้รับการออกกำลัง การวิเคราะห์ระบบโดยอัตโนมัติ

คงเป็นเครื่องมือรหัสที่มากับตัวติดตาม
รวบรวมสาขาประหารสถิติ "
[ dunn84 ] เมื่อคะแนนถึงลู %

ถือว่าหน้าที่ของโครงสร้างโมดูลการทดสอบ การ graybox วิธีการขั้นตอนที่จะจับและตรวจสอบรวมถึง

รหัสความคุ้มครอง" การตรวจสอบเอดส์ ที่เกี่ยวข้องกับกล่องสีขาวการทดสอบกิจกรรม
" [ myers79 ]
graybox วิธีการที่สามารถใช้ทั้งเพื่อ
ด้านบนลงมา ( รุ่นต้นขั้ว ) และด้านล่างขึ้น
ทดสอบ ( รุ่นไดรเวอร์ ) โมดูลที่สามารถบูรณาการการทดสอบโดยแทน

มีโมดูลโมดูลทั้งหมด stubbed จริงเมื่อพวกเขา
รหัสและทำซ้ำในกรณีทดสอบปฏิบัติการ
ขั้นตอน