An Application Of Multiple-valued L

An Application Of Multiple-valued Logic
To Test Case Generation
For Software System Functional Testing
Mou Hu
Telecom Innovation Centre, Siemens Canada
Mou. hu @ tic.siemens. ca

Abstract
A multiple-valued input two-valued output logic system (MITOL) is proposed as a description language of sofnvare functionality for test case generation purpose.
Based on the MITOL description of software functionality, test generation algorithms for multiplevalued logic circuits, such as .path sensitization, can be used for test case generation for software system functional testing. The resulting minimum complete test set contains the minimum number of test cases to cover all logical stuck-at faults. Finally, a comparison of this new method with traditional methods is presented.
Key words - formal methods, multiple-valued logic, requirements engineering, software engineering, software system functional testing.

1. Introduction
Traditionally, application of multiple-valued logic is more focused on hardware than software. However, the potential of using multiple-valued logic to the design and test of software is actually quite promising. This paper presents the result of a research on the use of multiplevalued logic to the test case generation for software system functional testing. The preliminary result of this research has been published as [ I ] .
Software system functional testing usually takes the black-box approach. Inputs for test case design for software system functional testing are system requirements and software functional specifications. In practice, most system requirements are written in a natural language, and software functional specifications are often written in a combination of a natural language and some formal languages, which are not directly supporting test case generation. This situation makes the use of a formal method to test case generation difficult. On the other hand, researches on formal software test case design methods never stop. Early works on this topic include cause-effect graphs [2.31. Recent works include [4, 543. In general, a formal method of test case generation will be composed of two major steps as depicted in Fig. 1. Step 1 is oftware functionality analysis, which starts from system requirements and software functional specifications and results in a formal, test-derivable description of software functionality. Here, test derivable description of software functionality means a form of description of software functionality, on which a formal test generation algorithm can be applied to generate test cases. Step 2 is test case generation, which applies some
formal algorithm on the test-derivable description of software functionality to generate test cases. This paper proposes to use a multiple-valued logic system as a formal, test-derivable software functionality description language and to use a test generation algorithm of multiple-valued circuits to generate test cases for software system functional testing. The rest of the paper is organized as follows. Section 2 proposes a multiple-valued input two-valued output logic system (MITOL) and discusses how to use this system to describe software functionality. Section 3 describes the use of test generation algorithm of multiple-valued circuits to generate test cases for software system functional testing. Section 4 discusses the result of applying this new method and the comparisons of this method with traditional methods.

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

โปรแกรมประยุกต์หลายค่าตรรกะการสร้างกรณีทดสอบซอฟต์แวร์ระบบงานทดสอบMou Huศูนย์นวัตกรรมโทรคมนาคม แคนาดาซีเมนส์Mou หู@ tic.siemens caบทคัดย่อมีเสนอระบบตรรกะมูลค่าหลายอินพุตสองมูลค่าผลผลิต (MITOL) เป็นภาษาคำอธิบายของฟังก์ชัน sofnvare สำหรับวัตถุประสงค์การสร้างกรณีทดสอบตามคำอธิบาย MITOL ซอฟต์แวร์ฟังก์ชัน ทดสอบสร้างอัลกอริทึมสำหรับวงจรตรรกะ multiplevalued เช่น.path sensitization สามารถใช้สำหรับการสร้างกรณีทดสอบสำหรับซอฟต์แวร์ระบบงานทดสอบ ชุดทดสอบสมบูรณ์ต่ำผลลัพธ์ประกอบด้วยจำนวนกรณีทดสอบจะครอบคลุมทั้งหมดตรรกะติดอยู่ที่ข้อบกพร่องน้อยที่สุด ในที่สุด การเปรียบเทียบวิธีการใหม่นี้ด้วยวิธีแบบดั้งเดิมมีการนำเสนอคำสำคัญ - วิธีทาง มูลค่าหลายตรรกะ ความต้องการวิศวกรรม วิศวกรรมซอฟต์แวร์ ซอฟต์แวร์ระบบงานทดสอบ1. บทนำประเพณี ของมูลค่าหลายตรรกะมากขึ้นเน้นฮาร์ดแวร์กว่าซอฟต์แวร์ อย่างไรก็ตาม ศักยภาพของการใช้ตรรกะหลายมูลค่าการออกแบบและทดสอบซอฟต์แวร์เป็นสัญญาค่อนข้างจริง เอกสารนี้นำเสนอผลการวิจัยการใช้ตรรกะ multiplevalued การสร้างกรณีทดสอบสำหรับซอฟต์แวร์ระบบงานทดสอบ ผลเบื้องต้นของงานวิจัยนี้ถูกเผยแพร่เป็น [I]ซอฟต์แวร์ระบบงานทดสอบมักจะใช้วิธีแบบกล่องดำ อินพุตแบบกรณีทดสอบสำหรับซอฟต์แวร์ระบบงานทดสอบมีข้อกำหนดของระบบและข้อกำหนดหน้าที่ของซอฟต์แวร์ ในทางปฏิบัติ ข้อกำหนดของระบบส่วนใหญ่จะเขียนด้วยภาษาธรรมชาติ และข้อมูลจำเพาะเกี่ยวกับการทำงานซอฟต์แวร์มักจะเขียนในแบบภาษาและบางภาษาเป็นทางการ ที่ตรงไม่สนับสนุนการสร้างกรณีทดสอบ สถานการณ์นี้ทำให้การใช้วิธีการทางการสร้างกรณีทดสอบยาก บนมืออื่น ๆ งานวิจัยเกี่ยวกับซอฟต์แวร์ทางกรณีทดสอบวิธีออกแบบไม่หยุด สาเหตุผลกราฟ [2.31 รวมช่วงการทำงานในหัวข้อนี้ ผลงานล่าสุดรวม [4, 543 ทั่วไป วิธีทางการสร้างกรณีทดสอบจะประกอบด้วยสองขั้นตอนหลักตามที่แสดงใน Fig. 1 ขั้นตอนที่ 1 เป็น oftware ฟังก์ชันการวิเคราะห์ ซึ่งเริ่มต้นจากข้อกำหนดของระบบและข้อกำหนดหน้าที่ของซอฟต์แวร์ และผลในคำอธิบายอย่างเป็นทางการ ทดสอบ derivable ของฟังก์ชันการทำงานของซอฟต์แวร์ ที่นี่ อธิบาย derivable ทดสอบซอฟต์แวร์ฟังก์ชันหมายถึง รูปแบบของคำอธิบายซอฟต์แวร์ฟังก์ชัน ซึ่งสามารถใช้การทดสอบทางสร้างอัลกอริทึมการสร้างกรณีทดสอบ ขั้นตอนที่ 2 เป็นกรณีทดสอบรุ่น ซึ่งใช้บางอัลกอริทึมทางบนคำอธิบายซอฟต์แวร์ฟังก์ชันการสร้างกรณีทดสอบทดสอบ derivable กระดาษนี้เสนอไปหลายค่าตรรกะเป็นภาษาอธิบายฟังก์ชันการทำงานอย่างเป็นทางการ ทดสอบ derivable ซอฟต์แวร์ และใช้ขั้นตอนวิธีการสร้างการทดสอบวงจรหลายมูลค่าการสร้างกรณีทดสอบสำหรับซอฟต์แวร์ระบบงานทดสอบ จัดส่วนเหลือของกระดาษดังนี้ ส่วน 2 เสนอระบบตรรกะมูลค่าหลายอินพุตสองมูลค่าผลผลิต (MITOL) และอธิบายวิธีการใช้ระบบนี้เพื่ออธิบายฟังก์ชันการทำงานของซอฟต์แวร์ หมวดที่ 3 อธิบายการใช้อัลกอริทึมสร้างทดสอบวงจรหลายมูลค่าการสร้างกรณีทดสอบสำหรับซอฟต์แวร์ระบบงานทดสอบ หมวดที่ 4 กล่าวถึงผลของการใช้วิธีใหม่นี้และการเปรียบเทียบวิธีการนี้ด้วยวิธีแบบดั้งเดิม

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

การประยุกต์ใช้หลายมูลค่าลอจิก
การทดสอบกรณีรุ่น
สำหรับระบบ Software หน้าที่ทดสอบ
Mou Hu
Telecom Innovation Centre, ซีเมนส์แคนาดา
หมู hu @ tic.siemens CA บทคัดย่อระบบตรรกะการส่งออกหลายมูลค่าใส่สองมูลค่า (Mitol) จะเสนอเป็นภาษาคำอธิบายของการทำงาน sofnvare เพื่อจุดประสงค์ในการสร้างกรณีทดสอบบนพื้นฐานของคำอธิบาย Mitol ของการทำงานของซอฟท์แวขั้นตอนวิธีการสร้างการทดสอบสำหรับวงจรตรรกะ multiplevalued เช่น .path แพ้สามารถนำมาใช้สำหรับการสร้างกรณีทดสอบสำหรับระบบซอฟแวร์การทดสอบการทำงาน ผลการทดสอบชุดที่สมบูรณ์ขั้นต่ำมีจำนวนขั้นต่ำของกรณีทดสอบให้ครอบคลุมทุกตรรกะติดที่ผิดพลาด สุดท้ายเปรียบเทียบของวิธีการใหม่นี้กับวิธีการแบบเดิมจะถูกนำเสนอคำสำคัญ - วิธีการทางการตรรกะ valued หลายวิศวกรรมความต้องการวิศวกรรมซอฟต์แวร์ระบบซอฟต์แวร์การทดสอบการทำงาน1 บทนำตามเนื้อผ้าการประยุกต์ใช้ตรรกะหลายมูลค่าจะเน้นเพิ่มเติมเกี่ยวกับฮาร์ดแวร์กว่าซอฟต์แวร์ แต่ที่มีศักยภาพของการใช้ตรรกะหลายมูลค่าการออกแบบและการทดสอบของซอฟแวร์ที่เป็นจริงแนวโน้มค่อนข้าง บทความนี้นำเสนอผลการวิจัยเกี่ยวกับการใช้ตรรกะ multiplevalued เพื่อสร้างกรณีทดสอบระบบซอฟต์แวร์การทดสอบการทำงาน ผลเบื้องต้นของการวิจัยนี้ได้รับการตีพิมพ์เป็น [I] ระบบซอฟแวร์การทดสอบการทำงานมักจะใช้เวลาวิธีการกล่องดำ ปัจจัยการผลิตสำหรับการออกแบบกรณีทดสอบสำหรับระบบซอฟแวร์การทดสอบการทำงานมีความต้องการของระบบและคุณสมบัติการทำงานซอฟแวร์ ในทางปฏิบัติความต้องการของระบบส่วนใหญ่จะเขียนในภาษาธรรมชาติและคุณสมบัติการทำงานซอฟแวร์มักจะเขียนในการรวมกันของภาษาธรรมชาติและภาษาที่เป็นทางการบางอย่างที่ไม่ได้โดยตรงสนับสนุนการสร้างกรณีทดสอบ สถานการณ์เช่นนี้ทำให้การใช้วิธีการอย่างเป็นทางการในการทดสอบการสร้างกรณียาก ในทางตรงกันข้าม, งานวิจัยเกี่ยวกับซอฟแวร์อย่างเป็นทางการวิธีการออกแบบกรณีทดสอบไม่เคยหยุด งานแรกในหัวข้อนี้ ได้แก่ กราฟทำให้เกิดผลกระทบ [2.31 ผลงานที่ผ่านมารวมถึง [4 543. โดยทั่วไปวิธีการอย่างเป็นทางการของการสร้างกรณีทดสอบจะประกอบด้วยสองขั้นตอนหลัก ๆ ที่ปรากฎในรูป 1. ขั้นตอนที่ 1 คือการวิเคราะห์การทำงาน oftware ซึ่งเริ่มต้นจากความต้องการของระบบและคุณสมบัติการทำงานซอฟแวร์และผลในทางการทดสอบได้มารายละเอียดของการทำงานของซอฟแวร์ นี่คือการทดสอบได้มารายละเอียดของการทำงานซอฟต์แวร์หมายถึงรูปแบบของรายละเอียดของการทำงานของซอฟแวร์ซึ่งขั้นตอนวิธีการสร้างการทดสอบอย่างเป็นทางการสามารถนำมาใช้ในการสร้างกรณีทดสอบ ขั้นตอนที่ 2 คือการสร้างกรณีทดสอบซึ่งใช้บางขั้นตอนอย่างเป็นทางการเกี่ยวกับรายละเอียดการทดสอบได้มาของการทำงานของซอฟแวร์ในการสร้างกรณีทดสอบ กระดาษนี้นำเสนอการใช้ระบบตรรกะหลายมูลค่าเป็นทางการได้มาทดสอบซอฟต์แวร์ภาษาคำอธิบายการทำงานและการใช้อัลกอริทึมรุ่นทดสอบของวงจรหลายมูลค่าในการสร้างกรณีทดสอบสำหรับระบบซอฟแวร์การทดสอบการทำงาน ส่วนที่เหลือของกระดาษที่มีการจัดระเบียบดังต่อไปนี้ ส่วนที่ 2 เสนอระบบตรรกะการส่งออกหลายมูลค่าใส่สองมูลค่า (Mitol) และอธิบายถึงวิธีการใช้ระบบนี้ในการอธิบายการทำงานของซอฟแวร์ ส่วนที่ 3 อธิบายการใช้อัลกอริทึมรุ่นทดสอบของวงจรหลายมูลค่าในการสร้างกรณีทดสอบสำหรับระบบซอฟแวร์การทดสอบการทำงาน หมวดที่ 4 กล่าวถึงผลของการใช้วิธีการใหม่นี้และการเปรียบเทียบของวิธีการนี้กับวิธีการแบบเดิม

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

การประยุกต์ใช้หลายมูลค่าการสร้างกรณีทดสอบตรรกะ


ระบบการทดสอบซอฟต์แวร์การทำงาน MOU Hu
Telecom ศูนย์นวัตกรรม , Siemens แคนาดา
MOU . หู @ tic.siemens . CA


เป็นนามธรรมหลายมูลค่าใส่สองมูลค่าผลผลิตระบบตรรกะ ( mitol ) เสนอเป็นภาษาคำอธิบายของ sofnvare ฟังก์ชันสำหรับสร้างกรณีทดสอบ
วัตถุประสงค์ .ตาม mitol อธิบายฟังก์ชันการทำงานซอฟต์แวร์รุ่นทดสอบอัลกอริทึมสำหรับ multiplevalued ตรรกะวงจร เช่น พบเส้นทางที่สามารถใช้สร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางาน ผลการทดสอบที่สมบูรณ์ประกอบด้วยขั้นต่ำจำนวนขั้นต่ำของกรณีทดสอบครอบคลุมตรรกะอยู่ในความผิด ในที่สุดการเปรียบเทียบวิธีการใหม่นี้กับวิธีการแบบดั้งเดิมที่นำเสนอ .
คำคีย์อย่างเป็นทางการวิธีการหลายมูลค่า ตรรกะ , วิศวกรรม , วิศวกรรมความต้องการซอฟต์แวร์ ระบบซอฟต์แวร์การทดสอบการทำงาน

1 บทนำ
ผ้า การประยุกต์ใช้หลายมูลค่า ตรรกะจะเน้นเพิ่มเติมเกี่ยวกับฮาร์ดแวร์มากกว่าซอฟต์แวร์ อย่างไรก็ตามศักยภาพของการใช้หลายมูลค่าตรรกะเพื่อออกแบบและทดสอบซอฟต์แวร์เป็นจริงค่อนข้างสดใส บทความนี้เสนอผลของการวิจัยเกี่ยวกับการใช้ multiplevalued ตรรกะเพื่อสร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางาน ผลเบื้องต้นของการวิจัยนี้ได้รับการเผยแพร่ [ i ] .
ระบบการทดสอบซอฟต์แวร์การทำงานมักจะใช้วิธีการกล่องดำ ปัจจัยเพื่อการออกแบบกรณีทดสอบสำหรับการทดสอบระบบซอฟต์แวร์การทำงานมีความต้องการของระบบและซอฟต์แวร์ที่กำหนดหน้าที่ ในทางปฏิบัติ , ความต้องการของระบบส่วนใหญ่จะเขียนในภาษาธรรมชาติและซอฟต์แวร์การทำงานกำหนดมักจะเขียนในการรวมกันของภาษาธรรมชาติ และบางโรงเรียนภาษาที่ไม่ได้โดยตรงสนับสนุนสร้างกรณีทดสอบ สถานการณ์นี้ทำให้การใช้วิธีการอย่างเป็นทางการเพื่อสร้างกรณีทดสอบที่ยาก บนมืออื่น ๆ , งานวิจัยเกี่ยวกับอย่างเป็นทางการกรณีทดสอบซอฟต์แวร์วิธีการออกแบบที่ไม่เคยหยุด ก่อนทำงานในหัวข้อนี้รวมเพราะกราฟผล [ 2.31 . ผลงานล่าสุดได้แก่ [ 4 , 543 . โดยทั่วไปวิธีการสร้างกรณีทดสอบอย่างเป็นทางการจะประกอบด้วยสองขั้นตอนที่สำคัญ ตามที่ปรากฎในรูปที่ 1 ขั้นตอนที่ 1 การวิเคราะห์ฟังก์ชันใช้งานง่าย ซึ่งจะเริ่มจากความต้องการระบบและซอฟต์แวร์ที่กำหนดหน้าที่และผลในทางการทดสอบที่ได้มาอธิบายการทํางานของซอฟต์แวร์ ที่นี่ทดสอบที่ได้มาอธิบายฟังก์ชันการทำงานซอฟต์แวร์ หมายถึง รูปแบบของการอธิบายฟังก์ชันการทำงานของซอฟต์แวร์ ซึ่งแบบทดสอบวิธีการผลิตสามารถใช้ในการสร้างกรณีทดสอบ ขั้นตอนที่ 2 สร้างกรณีทดสอบที่ใช้ในการทดสอบบาง
ขั้นตอนวิธีอย่างเป็นทางการที่ได้มาอธิบายการทํางานของซอฟต์แวร์ทดสอบบทความนี้เสนอให้ใช้หลายมูลค่า ระบบตรรกะเป็นอย่างเป็นทางการ , การทดสอบซอฟต์แวร์ที่ได้มาจากการทำงาน และการใช้ภาษาอธิบายการทดสอบวิธีการผลิตมูลค่าหลายวงจรเพื่อสร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางาน ส่วนที่เหลือของกระดาษจะจัดดังนี้ส่วนที่ 2 นำเสนอหลายมูลค่านำเข้าสองมูลค่าผลผลิตระบบตรรกะ ( mitol ) และอธิบายถึงวิธีการที่จะใช้ระบบนี้เพื่ออธิบายฟังก์ชันการทำงานซอฟต์แวร์ ส่วนที่ 3 กล่าวถึงการใช้ทดสอบวิธีการผลิตมูลค่าหลายวงจรเพื่อสร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางานส่วนที่ 4 อธิบายถึงผลของการใช้วิธีการใหม่นี้และเปรียบเทียบวิธีนี้กับวิธีแบบดั้งเดิม .