multiple valued sensitization
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 software functionality for test case generation purpose.
Based on the MITOL description of software functionality, test generation algorithms for multiple valued 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.
multiple valued sensitization
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 software functionality for test case generation purpose.
Based on the MITOL description of software functionality, test generation algorithms for multiple valued 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.
การแปล กรุณารอสักครู่..
หลายมูลค่าด์
ใบสมัครหลายมูลค่า ตรรกะในการสร้างกรณีทดสอบสำหรับการทดสอบระบบซอฟต์แวร์การทำงาน MOU หู
( ศูนย์นวัตกรรม , Siemens แคนาดา
MOU . หู @ tic.siemens . CA
เป็นนามธรรมหลายมูลค่าใส่สองมูลค่าผลผลิตระบบตรรกะ ( mitol ) เสนอเป็นภาษาอธิบายการทำงานของซอฟต์แวร์สำหรับสร้างกรณีทดสอบ
วัตถุประสงค์ .ตาม mitol อธิบายฟังก์ชันการทำงานซอฟต์แวร์รุ่นทดสอบอัลกอริทึมหลายมูลค่าตรรกะวงจร เช่น พบเส้นทางที่สามารถใช้สร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางาน ผลการทดสอบที่สมบูรณ์ประกอบด้วยขั้นต่ำจำนวนขั้นต่ำของกรณีทดสอบครอบคลุมตรรกะอยู่ในความผิด ในที่สุดการเปรียบเทียบวิธีการใหม่นี้กับวิธีการแบบดั้งเดิมที่นำเสนอ .
คำคีย์อย่างเป็นทางการวิธีการหลายมูลค่า ตรรกะ , วิศวกรรม , วิศวกรรมความต้องการซอฟต์แวร์ ระบบซอฟต์แวร์การทดสอบการทำงาน
1 บทนำ
ผ้า การประยุกต์ใช้หลายมูลค่า ตรรกะจะเน้นเพิ่มเติมเกี่ยวกับฮาร์ดแวร์มากกว่าซอฟต์แวร์ อย่างไรก็ตามศักยภาพของการใช้หลายมูลค่าตรรกะเพื่อออกแบบและทดสอบซอฟต์แวร์เป็นจริงค่อนข้างสดใส บทความนี้เสนอผลของการวิจัยเกี่ยวกับการใช้ multiplevalued ตรรกะเพื่อสร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางาน ผลเบื้องต้นของการวิจัยนี้ได้รับการเผยแพร่ [ i ] .
ระบบการทดสอบซอฟต์แวร์การทำงานมักจะใช้วิธีการกล่องดำ ปัจจัยเพื่อการออกแบบกรณีทดสอบสำหรับการทดสอบระบบซอฟต์แวร์การทำงานมีความต้องการของระบบและซอฟต์แวร์ที่กำหนดหน้าที่ ในทางปฏิบัติ , ความต้องการของระบบส่วนใหญ่จะเขียนในภาษาธรรมชาติและซอฟต์แวร์การทำงานกำหนดมักจะเขียนในการรวมกันของภาษาธรรมชาติ และบางโรงเรียนภาษาที่ไม่ได้โดยตรงสนับสนุนสร้างกรณีทดสอบ สถานการณ์นี้ทำให้การใช้วิธีการอย่างเป็นทางการเพื่อสร้างกรณีทดสอบที่ยาก บนมืออื่น ๆ , งานวิจัยเกี่ยวกับอย่างเป็นทางการกรณีทดสอบซอฟต์แวร์วิธีการออกแบบที่ไม่เคยหยุด ก่อนทำงานในหัวข้อนี้รวมเพราะกราฟผล [ 2.31 . ผลงานล่าสุดได้แก่ [ 4 , 543 . โดยทั่วไปวิธีการสร้างกรณีทดสอบอย่างเป็นทางการจะประกอบด้วยสองขั้นตอนที่สำคัญ ตามที่ปรากฎในรูปที่ 1 ขั้นตอนที่ 1 การวิเคราะห์ฟังก์ชันใช้งานง่าย ซึ่งจะเริ่มจากความต้องการระบบและซอฟต์แวร์ที่กำหนดหน้าที่และผลในทางการทดสอบที่ได้มาอธิบายการทํางานของซอฟต์แวร์ ที่นี่ทดสอบที่ได้มาอธิบายฟังก์ชันการทำงานซอฟต์แวร์ หมายถึง รูปแบบของการอธิบายฟังก์ชันการทำงานของซอฟต์แวร์ ซึ่งแบบทดสอบวิธีการผลิตสามารถใช้ในการสร้างกรณีทดสอบ ขั้นตอนที่ 2 สร้างกรณีทดสอบที่ใช้ในการทดสอบบาง
ขั้นตอนวิธีอย่างเป็นทางการที่ได้มาอธิบายการทํางานของซอฟต์แวร์ทดสอบบทความนี้เสนอให้ใช้หลายมูลค่า ระบบตรรกะเป็นอย่างเป็นทางการ , การทดสอบซอฟต์แวร์ที่ได้มาจากการทำงาน และการใช้ภาษาอธิบายการทดสอบวิธีการผลิตมูลค่าหลายวงจรเพื่อสร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางาน ส่วนที่เหลือของกระดาษจะจัดดังนี้ส่วนที่ 2 นำเสนอหลายมูลค่านำเข้าสองมูลค่าผลผลิตระบบตรรกะ ( mitol ) และอธิบายถึงวิธีการที่จะใช้ระบบนี้เพื่ออธิบายฟังก์ชันการทำงานซอฟต์แวร์ ส่วนที่ 3 กล่าวถึงการใช้ทดสอบวิธีการผลิตมูลค่าหลายวงจรเพื่อสร้างกรณีทดสอบสำหรับการทดสอบซอฟต์แวร์ ระบบการทํางานส่วนที่ 4 อธิบายถึงผลของการใช้วิธีการใหม่นี้และเปรียบเทียบวิธีนี้กับวิธีแบบดั้งเดิม .
การแปล กรุณารอสักครู่..