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 software 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 ผลงานล่าสุดรวม [4543ทั่วไป วิธีทางการสร้างกรณีทดสอบจะจะประกอบด้วยสองขั้นตอนหลักตามที่แสดงใน Fig. 1ขั้นตอนที่ 1 เป็นซอฟต์แวร์ฟังก์ชันการวิเคราะห์ ซึ่งเริ่มต้นจากข้อกำหนดของระบบและซอฟต์แวร์ที่ทำงานข้อกำหนดและผลลัพธ์ในแบบทางการ ทดสอบ 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 คือการวิเคราะห์การทำงานของซอฟแวร์ซึ่งเริ่มต้นจากความต้องการของระบบซอฟแวร์และการทำงานข้อกำหนดและผลอย่างเป็นทางการได้มาทดสอบคำอธิบายของการทำงานของซอฟแวร์ นี่คือการทดสอบได้มารายละเอียดของการทำงานซอฟต์แวร์หมายถึงรูปแบบของคำอธิบายของการทำงานของซอฟแวร์ที่เป็นทางการขั้นตอนวิธีการสร้างการทดสอบสามารถนำมาใช้ในการสร้างการทดสอบกรณีขั้นตอนที่ 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 กล่าวถึงผลของการใช้วิธีการนี้ และการเปรียบเทียบใหม่

วิธีนี้กับ
วิธีการแบบดั้งเดิม