languages (e.g. Pascal, Ada) can be

languages (e.g. Pascal, Ada) can be formally defined. Preprocessors are
available that automatically check that the code is consistent with assertion
statements placed in it. These tools can be very effective in verifying small
well-structured programs.
Semantics is the relationship of symbols and groups of symbols to
their meaning in a given language [Ref 6]. In software engineering, semantic
analysis is the symbolic execution of a program by means of algebraic
symbols instead of test input data. Semantic analyser s use a source code
interpreter to substitute algebraic symbols into the program variables and
present the results as algebraic formulae [Ref 17]. Like program verifiers,
semantic analysers may be useful for the verification of small well-structured
programs.
4.5 TOOLS FOR TESTING
Testing involves many activities, most of which benefit from tool
support. Figure 4.5 shows what test tools can be used to support the testing
activities defined in Section 2.6
The following paragraphs step through each activity depicted in
Figure 4.5, discussing the tools indicated by the arrows into the bottom of
the activity boxes.
1. The 'specify tests' activity may use the Structured Testing Method and
Structured Integration Testing methods (see Sections 3.6 and 3.7).
Static analysers should be used to measure the cyclomatic complexity
and integration complexity metrics. This activity may also use the
equivalence partitioning method for defining unit test cases. Test case
generators should support this method.

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

ภาษา (เช่นปาสกาล Ada) สามารถกำหนดอย่างเป็นทางการ มี preprocessorsมีที่ตรวจสอบโดยอัตโนมัติว่ารหัสสอดคล้องกับการยืนยันรายงานไว้ใน เครื่องมือเหล่านี้ได้อย่างมีประสิทธิภาพมากในการตรวจสอบขนาดเล็กโปรแกรมโครงสร้างดีความหมายความสัมพันธ์ของสัญลักษณ์และกลุ่มของสัญลักษณ์เพื่อความหมายในภาษา [6 การอ้างอิง] ในวิศวกรรมซอฟต์แวร์ ความหมายการวิเคราะห์เป็นการทำสัญลักษณ์ของโปรแกรมโดยใช้พีชคณิตสัญลักษณ์แทนข้อมูลการป้อนเข้าทดสอบ S ความหมาย analyser ใช้รหัสแหล่งที่มาล่ามเพื่อแทนสัญลักษณ์พีชคณิตเป็นโปรแกรมตัวแปร และนำเสนอผลลัพธ์เป็นพีชคณิตสูตร [17 การอ้างอิง] เช่นโปรแกรม verifiersanalysers ความหมายอาจมีประโยชน์สำหรับการตรวจสอบขนาดเล็กโครงสร้างดีโปรแกรม4.5 เครื่องมือสำหรับการทดสอบทดสอบเกี่ยวข้องกับกิจกรรมต่าง ๆ มากมาย ส่วนใหญ่ของที่ได้รับประโยชน์จากเครื่องมือสนับสนุน รูปที่ 4.5 แสดงทดสอบใดสามารถใช้เครื่องมือเพื่อสนับสนุนการทดสอบกิจกรรมที่กำหนดไว้ในส่วน 2.6ย่อหน้าต่อไปนี้ขั้นตอนผ่านแสดงในแต่ละกิจกรรมรูป 4.5 สนทนาตามลูกศรไปด้านล่างของเครื่องมือกล่องกิจกรรม1.กิจกรรม 'ระบุทดสอบ' อาจใช้วิธีการทดสอบโครงสร้าง และโครงสร้างรวมทดสอบวิธี (ดูส่วน 3.6 และ 3.7)Analysers คงควรใช้วัดความซับซ้อน cyclomaticและวัดรวมความซับซ้อน กิจกรรมนี้อาจใช้การเทียบเท่าวิธีการกำหนดหน่วยทดสอบกรณีพาร์ทิชัน กรณีทดสอบเครื่องกำเนิดไฟฟ้าควรสนับสนุนวิธีการนี้

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

ภาษา (เช่นปาสกาล Ada) สามารถกำหนดอย่างเป็นทางการ ประมวลผลก่อนเป็น
ใช้ได้ที่ตรวจสอบว่ารหัสมีความสอดคล้องกับการยืนยัน
งบที่วางไว้ในนั้น เครื่องมือเหล่านี้จะมีประสิทธิภาพมากในการตรวจสอบขนาดเล็ก
โปรแกรมดีโครงสร้าง.
ความหมายคือความสัมพันธ์ของสัญลักษณ์และกลุ่มของสัญลักษณ์ที่จะ
มีความหมายในภาษาของพวกเขาได้รับ [Ref 6] ในงานวิศวกรรมซอฟแวร์, ความหมาย
การวิเคราะห์เป็นสัญลักษณ์ของการดำเนินโครงการด้วยวิธีการของพีชคณิต
สัญลักษณ์แทนการป้อนข้อมูลการทดสอบ การวิเคราะห์ความหมายของการใช้รหัสที่มา
ล่ามเพื่อทดแทนสัญลักษณ์พีชคณิตเป็นตัวแปรโปรแกรมและ
นำเสนอผลเป็นสูตรพีชคณิต [Ref 17] เช่นเดียวกับ Verifiers โปรแกรม
วิเคราะห์ความหมายอาจเป็นประโยชน์สำหรับการตรวจสอบของขนาดเล็กมีโครงสร้าง
โปรแกรม.
4.5 เครื่องมือสำหรับการทดสอบ
การทดสอบที่เกี่ยวข้องกับกิจกรรมต่างๆมากมายซึ่งส่วนใหญ่ได้รับประโยชน์จากเครื่องมือ
การสนับสนุน รูปที่ 4.5 แสดงให้เห็นว่าสิ่งที่เครื่องมือทดสอบสามารถใช้ในการสนับสนุนการทดสอบ
กิจกรรมที่กำหนดไว้ในมาตรา 2.6
ขั้นตอนย่อหน้าต่อไปนี้ผ่านแต่ละกิจกรรมที่ปรากฎใน
รูปที่ 4.5 ถกเครื่องมือที่ระบุโดยลูกศรลงด้านล่างของ
กล่องกิจกรรม.
1 กิจกรรม 'ระบุการทดสอบ' อาจจะใช้วิธีการทดสอบโครงสร้างและ
วิธีการทดสอบบูรณาการที่มีโครงสร้าง (ดูมาตรา 3.6 และ 3.7).
การวิเคราะห์แบบคงที่ควรจะใช้ในการวัดความซับซ้อน cyclomatic
และบูรณาการตัวชี้วัดที่ซับซ้อน กิจกรรมนี้ยังอาจใช้
วิธีการแบ่งเท่าเทียมกันสำหรับการกำหนดกรณีทดสอบหน่วย กรณีของการทดสอบ
เครื่องกำเนิดไฟฟ้าควรสนับสนุนวิธีการนี้

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

ภาษา ( เช่น ปาสคาล เอ ) สามารถเป็นกำหนด preprocessors เป็น
พร้อมที่โดยอัตโนมัติตรวจสอบว่ารหัสจะสอดคล้องกับการยืนยัน
ข้อความอยู่ในนั้น เครื่องมือเหล่านี้สามารถมีประสิทธิภาพมากในการตรวจสอบโครงสร้างด้วยโปรแกรมขนาดเล็ก
.
ความหมายก็คือความสัมพันธ์ของสัญลักษณ์และกลุ่มของสัญลักษณ์

ความหมายในภาษาอ้างอิงให้ [ 6 ] ในวิศวกรรมซอฟต์แวร์ ความหมาย
การวิเคราะห์เป็นสัญลักษณ์การโปรแกรมโดยใช้สัญลักษณ์ทางพีชคณิต
แทนข้อมูลทดสอบ วิเคราะห์ความหมายของใช้ซอร์สโค้ด
ล่ามแทนสัญลักษณ์ทางพีชคณิตในโปรแกรมตัวแปรและ
ปัจจุบันผลเป็นพีชคณิตสูตรอ้างอิง [ 17 ] ชอบ verifiers โปรแกรม
ความหมายชำแหละอาจเป็นประโยชน์สำหรับการตรวจสอบโครงสร้างขนาดเล็กด้วยโปรแกรม
.
45 เครื่องมือสำหรับการทดสอบการทดสอบ
เกี่ยวข้องกับกิจกรรมต่างๆ มากมาย ซึ่งส่วนใหญ่ได้รับประโยชน์จากเครื่องมือสนับสนุน

รูปที่ 4.5 แสดงสิ่งที่ทดสอบเครื่องมือที่สามารถใช้เพื่อสนับสนุนกิจกรรมที่กำหนดไว้ในมาตรา 2.6 ทดสอบ

ก้าวผ่านแต่ละกิจกรรมที่กล่าวถึงในย่อหน้าต่อไปนี้
รูปที่ 4.5 พูดถึงเครื่องมือแสดงด้วยลูกศรลงด้านล่างของกิจกรรมกล่อง
.
1' ระบุกิจกรรมการทดสอบ ' อาจจะใช้แบบทดสอบและแบบทดสอบวิธีการบูรณาการวิธี
( ดูส่วน 3.6 และ 3.7 ) .
ชำแหละไฟฟ้าสถิตควรใช้วัดความซับซ้อนและความซับซ้อนไซโคลเมติก
รวมมาตรวัด กิจกรรมนี้อาจใช้วิธีแบ่งพาร์ทิชัน
สมมูลสำหรับการกำหนดกรณีทดสอบหน่วย กรณีทดสอบ
เครื่องควรสนับสนุนวิธีการนี้