cuted as responses (to the stimuli)

cuted as responses (to the stimuli). In his automatic
test method, a spanning tree was first derived from
a FSM in software design specification, and then test
sequences were generated based on the spanning tree
to detect state and transition errors.
Although there are a number of recent research papers
addressing object-oriented testing issues, only a
few of them address state testing issues in 00 programs[
2][7]. A statebased testing approach was discussed
in [2] for 00 programs using a finite state machine.
Although a finite state machine (FSM) has
been used as a test model for conventional software
state testing [l][lO], it has the difficulty of representing:
1) the inherited statedependent behavior, 2) the
concurrent dynamic behavior, and 3) object states(or
sub-states) and their transitions in terms of data members(
values) and function members of class objects. In
[7], we addressed the importance of object state testing
and relating problems by using a vending machine
example to show how effective object state testing can
be used to find object state errors in 00 programs. A
test model for class objects (called object state diagram)
is informally presented, and a simple test generation
approach is outlined using an reverse engineering
approach. In addition, a basic idea and its detailed
procedure is provided to extract the OSD test model
from source code.
In this paper, we formally present the object state
test model, called an object state diagram (OSD).
Based on the new test model, we discuss various errors
in object state testing, test strategies and test criteria,
and test generation methods. Our OSD model is influenced
by the existing object models [3][4][8], and is designed
as a test model for object state testing, instead
of an analysis/design model. The notion of the OSD
model is directly associated with specific programming
concepts instead of application domain modeling concepts.
The major extensions of this model are: 1)
it supports the encapsulated object state hierarchy as
well as the inherited state hierarchy for a complex class
object, 2) it represents object-oriented states instead
of function-oriented states, 3) it provides a direct mapping
between the abstract behavior model and its corresponding
program. Based on the OSD model, object
statedependent errors are described, the test proce
dure, test criteria and strategies are discussed.
3 Object State Test Model
The object state digram (OSD) is designed as a test
model for testing dynamic behavior of objects. Object
state diagrams can be classified into two types:
1) atomic object state diagram(AOSD), and 2) composite
object state diagram(C0SD). An AOSD repre-

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

cuted เป็นคำตอบ (สิ่งเร้า) ในของเขาโดยอัตโนมัติวิธีการทดสอบ spanning ทรีก่อนรับมาจากแบ่งเป็นสองพวกในข้อมูลจำเพาะเกี่ยวกับการออกแบบซอฟต์แวร์ และทดสอบแล้วลำดับสร้างขึ้นตามต้น spanningตรวจพบข้อผิดพลาดสถานะและการเปลี่ยนแม้ว่าจะมีหมายเลขของเอกสารการค้นคว้าล่าสุดแก้ปัญหาเชิงวัตถุทดสอบปัญหา เฉพาะตัวปัญหาทดสอบสถานะในโปรแกรม 00 [ไม่กี่ของพวกเขา2] [7] Statebased การทดสอบวิธีกล่าวถึงใน [2] สำหรับโปรแกรม 00 ใช้เครื่องสถานะจำกัดแม้มีเครื่องสถานะจำกัด (แบ่งเป็นสองพวก)ใช้เป็นแบบทดสอบสำหรับซอฟต์แวร์ทั่วไปสภาวะทดสอบ [l] [หล่อ], มันมีความยากของการแสดง:1 statedependent สืบทอดลักษณะการทำงาน 2)ลักษณะการทำงานแบบไดนามิกพร้อมกัน และ 3) วัตถุที่อเมริกา (หรืออเมริกาย่อย) และการเปลี่ยนของพวกเขาในข้อมูลสมาชิก(ค่า) และฟังก์ชันสมาชิกของคลาสวัตถุ ใน[7], เราอยู่ในความสำคัญของการทดสอบสถานะของวัตถุและปัญหาที่เกี่ยวข้อง โดยใช้เครื่องหยอดเหรียญตัวอย่างจะแสดงวิธีที่มีประสิทธิภาพวัตถุสถานะทดสอบสามารถใช้ในการค้นหาข้อผิดพลาดสถานะวัตถุในโปรแกรม 00 Aทดสอบโมเดลในระดับวัตถุ (เรียกว่าแผนภาพสถานะวัตถุ)อย่างการนำเสนอ และการสร้างแบบทดสอบอย่างง่าย ๆอธิบายวิธีการใช้การวิศวกรรมย้อนกลับแนวทางการ นอกจากนี้ ความคิดพื้นฐาน และความละเอียดให้ขั้นตอนการแยกแบบทดสอบ OSDจากรหัสแหล่งที่มาในเอกสารนี้ เราอย่างเป็นกิจจะลักษณะแสดงสถานะวัตถุแบบทดสอบ เรียกว่าแผนภาพสถานะวัตถุ (OSD)เราใช้แบบทดสอบ หารือข้อผิดพลาดต่าง ๆในการวัตถุสถานะทดสอบ ทดสอบกลยุทธ์ และทดสอบเงื่อนไขและทดสอบวิธีสร้าง ของเรารุ่น OSD มีอิทธิพลโดยวัตถุที่มีอยู่รุ่น [3] [4] [8], และออกแบบเป็นแบบทดสอบสำหรับวัตถุสถานะทดสอบ แทนของแบบจำลองการวิเคราะห์การออกแบบ แนวคิดของ OSDเป็นแบบจำลองโดยตรงเกี่ยวข้องกับการเขียนโปรแกรมเฉพาะแนวคิดแทนโดเมนโปรแกรมประยุกต์แนวคิดการสร้างโมเดลมีส่วนขยายที่สำคัญรุ่นนี้: 1)ก็ชั้นสถานะวัตถุสรุปเป็นดีเป็นรัฐสืบทอดลำดับชั้นสำหรับชั้นที่ซับซ้อนวัตถุ 2) นั้นหมายถึงเชิงวัตถุอเมริกาแทนรัฐมุ่งเน้นฟังก์ชัน 3) มีการแมปโดยตรงระหว่างแบบจำลองลักษณะนามธรรมและความสอดคล้องโปรแกรม ตามแบบ OSD วัตถุอธิบายข้อผิดพลาด statedependent, proce ทดสอบdure ทดสอบเงื่อนไข และกลยุทธ์จะกล่าวถึงแบบทดสอบสถานะวัตถุ 3Digram สถานะของวัตถุ (OSD) ถูกออกแบบมาเป็นการทดสอบแบบจำลองสำหรับการทดสอบลักษณะการทำงานแบบไดนามิกของวัตถุ วัตถุไดอะแกรมสถานะอาจแบ่งได้เป็นสองประเภท:วัตถุ 1 อะตอมสถานะ diagram(AOSD) และ 2) คอมโพสิตวัตถุรัฐ diagram(C0SD) Repre AOSD-

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

cuted เป็นการตอบสนอง (ต่อสิ่งเร้า) ในอัตโนมัติของเขา
วิธีการทดสอบต้นไม้ทอดได้มาครั้งแรกจาก
เอฟเอในข้อกำหนดการออกแบบซอฟแวร์และจากนั้นการทดสอบ
ลำดับถูกสร้างขึ้นบนพื้นฐานของต้นไม้ซึ่งประกอบไปด้วย
การตรวจสอบข้อผิดพลาดของรัฐและการเปลี่ยนแปลง.
แม้ว่าจะมีจำนวนงานวิจัยที่ผ่านมา
ที่อยู่ที่วัตถุ ปัญหาการทดสอบที่มุ่งเน้นเพียง
ไม่กี่คนที่อยู่ปัญหาของรัฐในการทดสอบโปรแกรม 00 [
2] [7] วิธีการทดสอบ statebased ที่ถูกกล่าวถึง
ใน [2] สำหรับ 00 โปรแกรมโดยใช้เครื่องจักรสถานะ จำกัด .
แม้ว่าเครื่องสถานะ จำกัด (เอฟเอ) ได้
ถูกนำมาใช้เป็นรูปแบบสำหรับการทดสอบซอฟต์แวร์แบบเดิม
ทดสอบรัฐ [L] [lO] มันมีความยากลำบาก การแสดง:
1) ได้รับการถ่ายทอดพฤติกรรม statedependent 2)
พฤติกรรมที่เกิดขึ้นพร้อมกันแบบไดนามิกและ 3) รัฐวัตถุ (หรือ
รัฐย่อย) และการเปลี่ยนของพวกเขาในแง่ของสมาชิกข้อมูล (
ค่า) และสมาชิกฟังก์ชั่นของวัตถุที่ระดับ ใน
[7] เราที่สำคัญของการทดสอบสถานะของวัตถุ
และปัญหาที่เกี่ยวข้องโดยใช้เครื่องจำหน่าย
ตัวอย่างแสดงให้เห็นว่าการทดสอบสถานะของวัตถุที่มีประสิทธิภาพสามารถ
นำมาใช้เพื่อหาข้อผิดพลาดของรัฐวัตถุใน 00 โปรแกรม
รูปแบบการทดสอบสำหรับวัตถุชั้น (เรียกว่าวัตถุแผนภาพสถานะ)
จะนำเสนออย่างไม่เป็นทางการและเป็นรุ่นทดสอบอย่างง่าย
วิธีการที่จะอธิบายโดยใช้วิศวกรรมย้อนกลับ
วิธีการ นอกจากนี้ยังเป็นความคิดพื้นฐานและรายละเอียดของ
ขั้นตอนการมีไว้เพื่อดึง OSD รูปแบบการทดสอบ
จากแหล่งรหัส.
ในบทความนี้เรานำเสนออย่างเป็นทางการวัตถุรัฐ
รูปแบบการทดสอบที่เรียกว่าแผนภาพสถานะวัตถุ (OSD).
ขึ้นอยู่กับรูปแบบการทดสอบใหม่ เราหารือเกี่ยวกับข้อผิดพลาดต่างๆ
ในวัตถุทดสอบรัฐ, กลยุทธ์การทดสอบและเกณฑ์การทดสอบ
และวิธีการสร้างการทดสอบ รูปแบบ OSD ของเราได้รับอิทธิพล
จากรูปแบบของวัตถุที่มีอยู่ [3] [4] [8] และถูกออกแบบมา
เป็นรูปแบบการทดสอบสำหรับการทดสอบสถานะของวัตถุแทน
ของการวิเคราะห์ / รูปแบบการออกแบบ ความคิดของ OSD
รูปแบบที่มีความเกี่ยวข้องโดยตรงกับการเขียนโปรแกรมเฉพาะ
แนวคิดแทนของแนวคิดการสร้างแบบจำลองการประยุกต์ใช้โดเมน.
ส่วนขยายที่สำคัญของรุ่นนี้คือ 1)
จะสนับสนุนลำดับชั้นของรัฐห่อหุ้มวัตถุเป็น
ลำดับชั้นเดียวกับรัฐสืบทอดสำหรับการเรียนที่ซับซ้อน
วัตถุ 2) มันหมายถึงรัฐเชิงวัตถุแทน
ของรัฐที่มุ่งเน้นฟังก์ชั่น 3) ก็มีการทำแผนที่โดยตรง
ระหว่างรูปแบบนามธรรมและพฤติกรรมที่สอดคล้องกันของ
โปรแกรม ตามรูปแบบ OSD, วัตถุ
statedependent ข้อผิดพลาดจะมีการอธิบายการทดสอบ proce
dure เกณฑ์การทดสอบและกลยุทธ์ที่จะกล่าวถึง.
3 วัตถุรัฐทดสอบรุ่น
รัฐ digram วัตถุ (OSD) ถูกออกแบบมาเป็นแบบทดสอบ
แบบจำลองสำหรับการทดสอบการทำงานแบบไดนามิกของวัตถุ วัตถุ
แผนภาพรัฐสามารถแบ่งได้เป็นสองประเภทคือ
1) วัตถุอะตอมแผนภาพสถานะ (AOSD) และ 2) คอมโพสิต
วัตถุแผนภาพสถานะ (C0SD) แลนโทรศัพท์ AOSD

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

cuted เป็นคำตอบ ( การกระตุ้น ) วิธีทดสอบอัตโนมัติ
, spanning ต้นไม้เป็นครั้งแรกที่ได้มาจากการเพาะในในการออกแบบซอฟต์แวร์และจากนั้นทดสอบ
ลำดับถูกสร้างขึ้นบนพื้นฐานของต้นไม้ทอดข้าม
เพื่อตรวจสอบข้อผิดพลาดการเปลี่ยนสถานะและ .
แม้ว่าจะมีจำนวนของเอกสารงานวิจัยล่าสุด
ที่อยู่ปัญหาเท่านั้น
เชิงวัตถุการทดสอบไม่กี่ของพวกเขาแก้ไขปัญหา การทดสอบสภาพใน 00 โปรแกรม [
2 ] [ 7 ] เป็น statebased การทดสอบวิธีการที่กล่าวถึง
ใน [ 2 ] สำหรับ 00 โปรแกรมโดยใช้เครื่องจักรสถานะจำกัด .
ถึงแม้เครื่องจักรสถานะจำกัด ( ใน ) ได้
ถูกใช้เป็นแบบทดสอบสำหรับการทดสอบซอฟต์แวร์แบบเดิม
รัฐ [ L ] [ Lo ] มันมีความยากของการแสดง :
1 ) สืบทอด statedependent พฤติกรรม 2 ) พฤติกรรมแบบไดนามิกพร้อมกัน ,และ 3 ) รัฐวัตถุ ( หรือ
ย่อยสหรัฐอเมริกา ) และการเปลี่ยนแปลงของพวกเขาในแง่ของข้อมูลสมาชิก (
ค่าฟังก์ชันสมาชิกของคลาสและวัตถุ ใน
[ 7 ] เรากล่าวถึงความสำคัญของวัตถุ และเกี่ยวข้องกับปัญหาของรัฐ
ทดสอบโดยใช้เครื่อง
ตัวอย่างแสดงวิธีการวัตถุสถานะการทดสอบที่มีประสิทธิภาพสามารถใช้เพื่อหาข้อผิดพลาดของรัฐ
00 วัตถุในโปรแกรม
เป็นแบบทดสอบสำหรับวัตถุชั้นเรียน ( เรียกว่าแผนภาพรัฐวัตถุ )
เป็นแบบนำเสนอ และวิธีการทดสอบง่ายๆคือเค้าใช้รุ่น

วิศวกรรมวิธีการ นอกจากนี้ ความคิดพื้นฐานและขั้นตอนของรายละเอียด
ให้สกัด OSD แบบทดสอบ

จากรหัสแหล่งที่มา ในกระดาษนี้เราอย่างเป็นทางการ ปัจจุบันวัตถุรัฐ
แบบทดสอบที่เรียกว่าวัตถุแผนภาพสถานะ
( OSD )ตามแบบทดสอบใหม่ เราได้กล่าวถึงข้อผิดพลาดต่างๆในการทดสอบของรัฐ
วัตถุกลยุทธ์การทดสอบและเกณฑ์และวิธีทดสอบ
รุ่นทดสอบ ของเราเป็นแบบ OSD อิทธิพล
โดยวัตถุที่มีอยู่รุ่น [ 3 ] [ 4 ] [ 8 ] และออกแบบ
แบบทดสอบสภาพวัตถุแทน
ของการวิเคราะห์ / ออกแบบโมเดล ความคิดของ OSD

นางแบบโดยตรงเกี่ยวข้องกับโปรแกรมเฉพาะการประยุกต์แนวคิดแทนโดเมนแบบแนวคิด
ส่วนขยายหลักของรุ่นนี้คือ 1 )
สนับสนุนห่อหุ้มวัตถุสถานะลำดับชั้นเป็น
เป็นรัฐสืบทอดลำดับชั้นสำหรับวัตถุคลาส
ซับซ้อน 2 ) มันแสดงถึงการรัฐแทน
ของฟังก์ชันเชิงรัฐ 3 ) มันมีการทำแผนที่
โดยตรงระหว่าง บทคัดย่อพฤติกรรมรูปแบบและโปรแกรมที่สอดคล้องกัน
.บนพื้นฐานของ OSD รูปแบบข้อผิดพลาด statedependent วัตถุ
จะอธิบายการทดสอบ proce
ระหว่าง เกณฑ์การทดสอบ และกลยุทธ์ รวมทั้ง
3
แบบทดสอบสภาพวัตถุวัตถุสภาพ digram ( OSD ) ถูกออกแบบมาเป็นแบบทดสอบสำหรับการทดสอบแบบไดนามิก
พฤติกรรมของวัตถุ ไดอะแกรมรัฐวัตถุ
สามารถแบ่งออกเป็นสองประเภท :
1 ) วัตถุแผนภาพสถานะอะตอม ( aosd ) และ ( 2 ) รัฐแผนภาพวัตถุประกอบ
( c0sd )การ aosd repre -