Form-based visual programming langu

Form-based visual programming languages, which include
electronic spreadsheets and a variety of research systems,
have had a substantial impact on end-user computing.
Research shows that form-based visual programs often contain
faults, and that their creators often have unwarranted
confidence in the reliability of their programs. Despite this
evidence, we$nd no discussion in the research literature of
techniques for testing or assessing the reliability of formbased
visual programs. This paper addresses this lack. We
describe dizerences between the form-based and imperative
programming paradigms, and discuss effects these direrences
have on strategies for testing form-based programs.
We then present several test adequacy criteria for formbased
programs, and illustrate their application. We show
that an analogue to the traditional “all-uses” dataflow test
adequacy criterion is well suited for code-based testing of
form-based visual programs: it provides important errordetection
ability, and can be applied more easily to formbased
programs than to imperative programs.

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

แบบฟอร์มภาพเขียนภาษาที่ใช้ ซึ่งรวมถึงกระดาษคำนวณอิเล็กทรอนิกส์และความหลากหลายของระบบวิจัยมีกระทบผู้ใช้คอมพิวเตอร์จากการวิจัยพบว่า ตามแบบฟอร์มโปรแกรมภาพมักจะประกอบด้วยข้อบกพร่อง และผู้สร้างของพวกเขามักจะมี unwarrantedความมั่นใจในความน่าเชื่อถือของโปรแกรมของพวกเขา แม้นี้หลักฐาน เรา $nd ไม่สนทนาในเอกสารข้อมูลทางการวิจัยของเทคนิคสำหรับการทดสอบ หรือประเมินความน่าเชื่อถือของ formbasedโปรแกรมภาพ เอกสารนี้อยู่ขาด เราอธิบาย dizerences ระหว่างแบบฟอร์มตามความจำเป็นparadigms และการเขียนโปรแกรมสนทนาลักษณะนี้ direrencesมีกลยุทธ์ในการทดสอบโปรแกรมแบบฟอร์มเรานำเสนอหลายทดสอบเงื่อนไขเพียงพอสำหรับ formbased แล้วโปรแกรม และแสดงให้เห็นถึงสมัคร เราแสดงที่เป็นอนาล็อกไป dataflow "ทั้งหมดใช้" แบบทดสอบเงื่อนไขเพียงพอเหมาะสำหรับใช้รหัสทดสอบของตามแบบฟอร์มโปรแกรมภาพ: มี errordetection สำคัญความสามารถ และสามารถนำไปใช้ได้ง่ายกับ formbasedโปรแกรมมากกว่าโปรแกรมความจำเป็น

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

แบบฟอร์มที่ใช้ในการเขียนโปรแกรมภาษาภาพซึ่งรวมถึงสเปรดชีทอิเล็กทรอนิกส์และความหลากหลายของระบบการวิจัยมีผลกระทบต่อการใช้คอมพิวเตอร์ของผู้ใช้. วิจัยแสดงให้เห็นว่ารูปแบบตามโปรแกรมภาพมักจะมีความผิดพลาดและที่สร้างของพวกเขามักจะมีเหตุผลความเชื่อมั่นในความน่าเชื่อถือของโปรแกรมของพวกเขา อย่างไรก็ตามเรื่องนี้หลักฐานที่เรา $ ครั้งการอภิปรายในงานวิจัยของเทคนิคในการทดสอบหรือประเมินความน่าเชื่อถือของformbased โปรแกรมภาพ บทความนี้อยู่ขาดนี้ เราอธิบาย dizerences ระหว่างรูปแบบตามความจำเป็นและกระบวนทัศน์การเขียนโปรแกรมและหารือเกี่ยวกับผลกระทบ direrences เหล่านี้มีอยู่ในกลยุทธ์สำหรับการทดสอบโปรแกรมรูปแบบตาม. จากนั้นเราจะทดสอบในปัจจุบันหลายเกณฑ์ที่เพียงพอสำหรับ formbased โปรแกรมและแสดงให้เห็นถึงการประยุกต์ใช้ของพวกเขา เราแสดงให้เห็นว่าอะนาล็อกไปแบบดั้งเดิม "ทุกการใช้งาน" dataflow ทดสอบเกณฑ์ที่เพียงพอมีความเหมาะสมดีสำหรับการทดสอบรหัสตามรูปแบบที่ใช้โปรแกรมภาพ: จะให้ errordetection ที่สำคัญความสามารถและสามารถนำมาใช้มากขึ้นได้อย่างง่ายดายเพื่อformbased โปรแกรมกว่าความจำเป็น โปรแกรม