Requirement Based Test CaseGenerati

Requirement Based Test Case
Generation
The Graybox methodology uses the
assertion testing method to preset all conditions
required prior to a program test. "One way to
ensure that a core program is correct to a very
large degree is to use formal verification"
[Tuck98]. When software requirements are
stated in a formal specification language it is
possible to execute the software requirement
and verify that the requirement is stated
correctly. By using the preconditioned
Predicates and executing the software
requirements it is now possible to generate the
expected results, the post-conditional
Verifications. The Graybox method will use
the Predicates and Verifications defined by the
requirements specification language as inputs
to the requirements based test case generation
phase. "A program Q is said to be totally
correct with respect to the input if for every
input the program terminates and the output
assertion is true" CGettrick821.
If the requirements are not in an
executable form then the requirements writer
can generate Predicates and Verifications using
the following simple method. For each input
assign a value that is not zero or one unless
these are the only valid values. Walk through
the requirement transforming the inputs into
outputs. Upon completion of the requirement
traversal, the inputs are the Predicates and the
outputs are the Verifications. This set of
Predicates and Verifications becomes a
requirement-based test case. If a conditional
statement was encountered during the
evaluation of the requirement, then subsequent
traversals of the requirement are required until
all conditionals have been satisfied. Simply
stated, if the requirement contains no
conditional statements, then one test case will

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

ความต้องใช้ทดสอบกรณี
รุ่น
วิธี Graybox ใช้การ
ยืนยันทดสอบวิธีการเงื่อนไขที่กำหนดไว้ล่วงหน้า
จำเป็นก่อนการทดสอบโปรแกรม "เที่ยวไป
ให้แน่ใจว่า ถูกกับโปรแกรมหลักการมาก
องศาขนาดใหญ่จะใช้การตรวจสอบอย่างเป็นทางการ"
[Tuck98] เมื่อมีความต้องการซอฟต์แวร์
ระบุในภาษาแบบเป็น
สามารถดำเนินความต้องการซอฟต์แวร์
และตรวจสอบความต้องการที่จะระบุ
ถูกต้อง โดยที่ preconditioned
เคตและปฏิบัติการซอฟต์แวร์
ก็ตอนนี้สามารถสร้างความต้องการ
ผลลัพธ์ที่คาดไว้ มีเงื่อนไขลง
Verifications จะใช้วิธี Graybox
เคตและ Verifications กำหนดโดย
ภาษาข้อมูลจำเพาะต้องเป็นอินพุต
กับความต้องใช้สร้างกรณีทดสอบ
ระยะ "โปรแกรม Q กล่าวได้ว่า เป็นทั้งหมด
ถูกต้องกับถ้าอินพุตสำหรับทุก
ยุติโปรแกรมป้อนข้อมูลและแสดงผล
ตรวจสอบเงื่อนไขเป็นจริง" CGettrick821.
ถ้าไม่มีความต้องการในการ
แบบฟอร์มปฏิบัติแล้วเขียนความต้องการ
สามารถสร้างเพรดิเคตและ Verifications ใช้
วิธีง่าย ๆ ต่อไปนี้ได้ สำหรับการป้อนข้อมูลแต่ละ
กำหนดค่าที่ไม่ใช่ศูนย์หรือหนึ่งยกเว้น
เหล่านี้เป็นค่าที่ถูกต้องเท่านั้น เดินผ่าน
แปลงอินพุตเป็นสินค้า
แสดงผล เมื่อเสร็จสมบูรณ์ของสินค้า
ข้าม อินพุตมีเพรดิเคตการและ
Verifications การจะแสดงผล นี้ชุด
เคตและ Verifications การ
กรณีทดสอบตามความต้องการ ถ้าแบบมีเงื่อนไข
งบพบระหว่าง
ประเมินความ ต้องการ แล้วต่อมา
traversals ของความต้องจำเป็นจนถึง
conditionals ทั้งหมดได้รับความพึงพอใจ เพียง
ระบุไว้ ถ้าไม่ประกอบด้วยความต้องการ
เงื่อนไข แล้วกรณีทดสอบหนึ่งจะ

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

ความต้องการพื้นฐานของการทดสอบกรณี
การสร้าง
วิธีการ Graybox ใช้
วิธีการทดสอบยืนยันที่ตั้งไว้ทุกเงื่อนไข
ที่จำเป็นก่อนที่จะมีการทดสอบโปรแกรม "วิธีหนึ่งที่จะ
ให้แน่ใจว่าโปรแกรมหลักที่ถูกต้องที่จะมาก
ระดับใหญ่คือการใช้การตรวจสอบอย่างเป็นทางการ "
[Tuck98] เมื่อความต้องการซอฟต์แวร์ที่มีการ
ระบุไว้ในภาษาสเปคอย่างเป็นทางการมันเป็น
ไปได้ที่จะดำเนินการความต้องการซอฟต์แวร์
และตรวจสอบว่าความต้องการที่ระบุไว้
อย่างถูกต้อง โดยใช้ preconditioned
เพรดิและดำเนินการซอฟแวร์
ความต้องการตอนนี้มันเป็นไปได้ที่จะสร้าง
ผลที่คาดว่าจะโพสต์ตามเงื่อนไข
การยืนยัน วิธี Graybox จะใช้
เพรดิและการยืนยันที่กำหนดโดย
ภาษาข้อกำหนดความต้องการเป็นปัจจัยการผลิต
กับความต้องการตามการทดสอบกรณีรุ่น
เฟส "โครงการ Q กล่าวจะทั้งหมด
ที่ถูกต้องเกี่ยวกับการเข้าถ้าสำหรับทุก
ท่านโปรแกรมสิ้นสุดลงและการส่งออก
ยืนยันเป็นความจริง "CGettrick821
หากความต้องการไม่ได้อยู่ใน
รูปแบบที่ปฏิบัติการจากนั้นนักเขียนความต้องการ
สามารถสร้างเพรดิและตรวจสอบการใช้
วิธีการที่ง่ายต่อไปนี้ สำหรับแต่ละท่าน
กำหนดค่าที่ไม่เป็นศูนย์หรือหนึ่งเว้นแต่
เหล่านี้เป็นค่าที่ถูกต้องเพียง เดินผ่าน
ความต้องการเปลี่ยนปัจจัยการผลิตเป็น
ผล เมื่อเสร็จสิ้นการความต้องการ
สำรวจปัจจัยที่มีเพรดิและ
มีผลการยืนยัน ชุดนี้
เพรดิและยืนยันจะกลายเป็น
กรณีทดสอบตามความต้องการ หากเงื่อนไข
คำสั่งถูกพบในระหว่าง
การประเมินความต้องการแล้วภายหลัง
traversals ของความต้องการที่จำเป็นจนกว่า
เงื่อนไขทั้งหมดได้รับความพึงพอใจ เพียงแค่
ระบุถ้าต้องการไม่มี
งบเงื่อนไขแล้วกรณีทดสอบหนึ่งจะ

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

ความต้องการตามกรณีทดสอบรุ่น


graybox วิธีการใช้วิธีการทดสอบเพื่อยืนยันเงื่อนไขที่ตั้งไว้ทั้งหมด
ต้องก่อนที่จะทดสอบโปรแกรม " . วิธีหนึ่งเพื่อให้แน่ใจว่าโปรแกรมเป็นหลัก

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

และการตรวจสอบความต้องการระบุ
ได้อย่างถูกต้อง โดยใช้ภาคแสดงและรันซอฟต์แวร์ preconditioned

ความต้องการก็คือตอนนี้ที่เป็นไปได้ที่จะสร้าง

ผลที่คาดหวัง , โพสต์โดยโทรศัพท์มือถือ . โดยจะใช้วิธีการ graybox
ภาคแสดง verifications และกำหนดโดยข้อกำหนดของภาษาเป็นปัจจัย

ต้องการสร้างกรณีทดสอบ
เฟสตาม" โปรแกรม Q กล่าวจะเต็มเปา
ถูกต้องด้วยความเคารพ ใส่ ถ้าทุก
ใส่โปรแกรมสิ้นสุดลงและผลผลิต
ยืนยันเป็นจริง " cgettrick821 .
ถ้าความต้องการไม่ในที่แบบฟอร์มแล้วความต้องการนักเขียน

สามารถสร้างและใช้ภาคแสดง verifications
วิธีง่ายๆดังต่อไปนี้ สัญญาณเข้าแต่ละ
กําหนดค่าที่ไม่ใช่ศูนย์หรือหนึ่งเว้นแต่
เหล่านี้เป็นค่าเท่านั้นที่ใช้ได้ เดินผ่าน
ความต้องการเปลี่ยนปัจจัยการผลิตใน
เอาท์พุท เมื่อเสร็จสิ้นความต้องการ
หรือ , ปัจจัยมีภาคแสดงและ
เอาต์พุตเป็นโทรศัพท์มือถือ . ชุดนี้ของโทรศัพท์มือถือจะกลายเป็นกรณีทดสอบและภาคแสดง

ตามความต้องการ ถ้างบตามเงื่อนไข

ถูกพบในระหว่างการประเมินความต้องการแล้วตามมา
traversals ความต้องการจำเป็นจนกว่า
ทั้งหมดเงื่อนไขได้รับความพึงพอใจ เพียงแค่
ระบุหากความต้องการมี
เงื่อนไขงบ แล้วกรณีทดสอบจะ