Form-based visual programming langu

Form-based visual programming languages provide a
declarative approach to programming, characterized by
a dependency-driven, direct-manipulation working model.
Users of form-based languages create or manipulate cells,
and define formulas for those cells. These formulas reference
values contained in other cells and use them in calculations.
Whenever a cell’s formula is defined, the underlying
evaluation engine calculates the cell’s value, recalculates
the values of cells that reference recalculated cells, and
displays new results on the screen.
Form-based visual programming languages include, as
a subclass, electronic spreadsheet systems. These systems
are among the most widely used types of software; a large
population of end-users employ them to perform a variety
of computational tasks. The form-based visual language
paradigm is also employed in numerous research
tools, which seek to extend its power and applicability. For
example, there is research into using form-based languages
for database access [ 341, for providing steerable simulation
environments for scientists [8], and for supporting the specification
and implementation of full-featured GUIs [20].
Despite the end-user appeal of form-based languages,
and the perceived simplicity of the paradigm in comparison
to the imperative-language paradigm, research shows that
form-based visual programs often contain faults. For example,
in one empirical study of experienced spreadsheet users
[6], 44 percent of the spreadsheets created by those users
were found to contain user-generated faults, a rate comparable
to that estimated in the trade press [9]. Compounding
this problem, creators of spreadsheets express unwarranted
confidence in the reliability of their programs [6].
In spite of this evidence, we find no discussion in the research
literature of techniques for testing or assessing the
reliability of form-based visual programs. In fact, most research
on program testing to date (e.g. [ 11, 13, 17, 25, 331)
is directed at imperative programs. Some recent research
[4,5, 191 considers problems of testing and reliability determination
for logic programs written in Prolog. Although the
logic paradigm is like the form-based paradigm in that both
are declarative, several features of the logic paradigm, such
as the bidirectional nature of unification and backtracking
after failure, are so different from the form-based paradigm
that the testing techniques developed for Prolog cannot be
applied to the form-based paradigm.
In this paper, we discuss strategies for testing form-based
visual programs. We show that significant differences exist
between form-based and imperative programs, and that
these differences have implications for testing methodologies.
Form-based programs require testing methodologies
that support an incremental input and validation process.
Furthermore, because form-based programs are dependence

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

แบบฟอร์มภาพเขียนภาษาที่ใช้ให้เป็นลักษณะ declarative วิธีการเขียนโปรแกรมรูปแบบทำงานขับ เคลื่อนพึ่งพา การ จัดการโดยตรงภาษาที่ใช้โดยแบบฟอร์มผู้ใช้สร้าง หรือจัดการเซลล์และกำหนดสูตรในเซลล์เหล่านั้น การอ้างอิงสูตรเหล่านี้ค่าในเซลล์อื่น ๆ และใช้ในการคำนวณเมื่อมีกำหนดสูตรของเซลล์ ต้นแบบการประเมินโปรแกรมคำนวณค่าของเซลล์ คำนวณใหม่ค่าของเซลล์ที่อ้างอิงเซลล์คำนวณใหม่ และแสดงผลใหม่บนหน้าจอรวมแบบฟอร์มที่ใช้แสดงภาษาโปรแกรม เป็นการย่อย ระบบกระดาษอิเล็กทรอนิกส์ ระบบเหล่านี้มีชนิดที่ใช้กันอย่างแพร่หลายซอฟต์แวร์ ขนาดใหญ่ประชากรของผู้จ้างให้ดำเนินการต่าง ๆงานคำนวณ ใช้แบบฟอร์มภาษาภาพกระบวนทัศน์ยังได้รับการว่าจ้างงานวิจัยมากมายเครื่องมือ ที่พยายามขยายอำนาจและความเกี่ยวข้องของตน สำหรับตัวอย่าง มีการวิจัยในการใช้ภาษาที่ใช้แบบฟอร์มสำหรับการเข้าถึงฐานข้อมูล [341 ให้จำลอง steerableสภาพแวดล้อม สำหรับนักวิทยาศาสตร์ [8], และสนับสนุนข้อมูลจำเพาะและการใช้งานของ GUIs เต็ม [20]แม้ มีอุทธรณ์ใช้ภาษาตามแบบฟอร์มและการรับรู้ความไม่ซับซ้อนของกระบวนทัศน์ในการเปรียบเทียบกระบวนทัศน์ความจำภาษา งานวิจัยแสดงที่ตามแบบฟอร์มโปรแกรมภาพมักจะประกอบด้วยข้อบกพร่อง ตัวอย่างในการศึกษาหนึ่งประจักษ์ผู้ใช้กระดาษคำนวณที่มีประสบการณ์[6], ร้อยละ 44 ของกระดาษคำนวณที่สร้างขึ้น โดยผู้ใช้พบมีผู้ใช้สร้างข้อบกพร่อง อัตราเปรียบเทียบได้ที่ประเมินในทางการค้า [9] การทบต้นปัญหานี้ ผู้สร้างกระดาษคำนวณด่วน unwarrantedความมั่นใจในความน่าเชื่อถือของโปรแกรม [6]แม้ว่าหลักฐานนี้ เราพบไม่สนทนาในการวิจัยเอกสารข้อมูลทางเทคนิคสำหรับการทดสอบ หรือการประเมินการความน่าเชื่อถือของโปรแกรมแสดงผลตามแบบฟอร์ม ในความเป็นจริง ค้นคว้ามากที่สุดโปรแกรมทดสอบการวัน (เช่น [11, 13, 17, 25, 331)ตรงที่โปรแกรมที่มีความจำเป็น บางการวิจัยล่าสุด[4,5, 191 พิจารณาปัญหาเรื่องการทดสอบและความน่าเชื่อถือสำหรับโปรแกรมตรรกะที่เขียนในภาษาโปรล็อก แม้ว่าการกระบวนทัศน์ตรรกะเป็นเช่นกระบวนทัศน์ตามแบบฟอร์มที่สองมี declarative คุณลักษณะหลายประการของกระบวนทัศน์ตรรกะ เช่นเป็นลักษณะแบบสองทิศทางของการรวมกันและการ backtrackingหลังจากความล้มเหลว จะต่างจากกระบวนทัศน์ตามแบบฟอร์มเทคนิคการทดสอบพัฒนาภาษาโปรล็อกไม่สามารถจะใช้กับกระบวนทัศน์ตามแบบฟอร์มในเอกสารนี้ เราหารือเกี่ยวกับกลยุทธ์ในการทดสอบตามแบบฟอร์มโปรแกรมภาพ แสดงว่า มีความแตกต่างอย่างมีนัยสำคัญโปรแกรมแบบฟอร์ม และตามความจำเป็น และที่ความแตกต่างเหล่านี้มีผลการทดสอบหลักสูตรตามแบบฟอร์มโปรแกรมต้องใช้วิธีการทดสอบที่สนับสนุนกระบวนการป้อนข้อมูลและตรวจสอบการเพิ่มนอกจากนี้ เนื่องจากตามแบบฟอร์มโปรแกรมจะพึ่งพา

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

แบบฟอร์มที่ใช้ในการเขียนโปรแกรมภาษาภาพให้วิธีการที่จะเปิดเผยการเขียนโปรแกรมที่โดดเด่นด้วยการอ้างอิงที่ขับเคลื่อนด้วยการจัดการโดยตรงรูปแบบการทำงาน. ผู้ใช้ภาษารูปแบบที่ใช้สร้างหรือจัดการกับเซลล์และกำหนดสูตรสำหรับเซลล์เหล่านั้น เหล่านี้สูตรอ้างอิงค่าที่มีอยู่ในเซลล์อื่น ๆ และใช้พวกเขาในการคำนวณ. เมื่อไหร่ก็ตามที่สูตรของเซลล์มีการกำหนดพื้นฐานของเครื่องมือการประเมินผลการคำนวณค่าในเซลล์ที่คำนวณค่าของเซลล์ที่อ้างอิงการคำนวณใหม่เซลล์และแสดงผลลัพธ์ใหม่บนหน้าจอ. Form- ตามภาษาโปรแกรมภาพรวมเป็นประเภทรองระบบอิเล็กทรอนิกส์สเปรดชีต ระบบเหล่านี้เป็นหนึ่งในชนิดที่ใช้กันอย่างแพร่หลายของซอฟต์แวร์ ที่มีขนาดใหญ่ประชากรผู้ใช้สิ้นจ้างพวกเขาจะดำเนินการความหลากหลายของงานการคำนวณ รูปแบบที่ใช้ภาษาภาพกระบวนทัศน์ยังเป็นลูกจ้างในการวิจัยจำนวนมากเครื่องมือซึ่งพยายามที่จะขยายอำนาจและการบังคับใช้ สำหรับตัวอย่างเช่นมีการวิจัยในการใช้ภาษารูปแบบที่ใช้สำหรับการเข้าถึงฐานข้อมูล[341 สำหรับการให้บริการการจำลองจรวดนำสภาพแวดล้อมสำหรับนักวิทยาศาสตร์[8] และสำหรับการสนับสนุนสเปคและการดำเนินการGUIs เต็มรูปแบบ [20]. แม้จะมีผู้ใช้ปลายทาง อุทธรณ์ของภาษารูปแบบที่ใช้และความเรียบง่ายของการรับรู้กระบวนทัศน์ในการเปรียบเทียบกับกระบวนทัศน์ความจำเป็นภาษาการวิจัยแสดงให้เห็นว่ารูปแบบตามโปรแกรมภาพมักจะมีความผิดพลาด ยกตัวอย่างเช่นในการศึกษาเชิงประจักษ์หนึ่งในผู้ใช้สเปรดชีทที่มีประสบการณ์[6], ร้อยละ 44 ของสเปรดชีตที่สร้างขึ้นโดยผู้ใช้พบว่ามีความผิดพลาดที่ผู้ใช้สร้างอัตราที่เทียบเคียงกับที่ประมาณในการกดการค้า[9] ประนอมปัญหานี้ผู้สร้างของสเปรดชีตแสดงเหตุผลความเชื่อมั่นในความน่าเชื่อถือของโปรแกรมของพวกเขา[6]. ทั้งๆที่มีหลักฐานนี้เราพบการอภิปรายในการวิจัยไม่มีวรรณกรรมเทคนิคสำหรับการทดสอบหรือประเมินความน่าเชื่อถือของรูปแบบที่ใช้โปรแกรมภาพ ในความเป็นจริงการวิจัยมากที่สุดในการทดสอบโปรแกรมวันที่ (เช่น [11, 13, 17, 25, 331) เป็นผู้กำกับที่โปรแกรมจำเป็น บางงานวิจัยล่าสุด[4,5 191 พิจารณาปัญหาของการทดสอบและความมุ่งมั่นความน่าเชื่อถือสำหรับโปรแกรมตรรกะเขียนในคำนำ แม้ว่ากระบวนทัศน์ตรรกะเป็นเหมือนกระบวนทัศน์แบบฟอร์มที่ใช้ในการที่ทั้งสองเป็นที่เปิดเผยคุณสมบัติหลายกระบวนทัศน์ตรรกะดังกล่าวเป็นลักษณะสองทิศทางของการรวมกันและย้อนรอยหลังจากความล้มเหลวเป็นจึงแตกต่างจากกระบวนทัศน์แบบฟอร์มตามที่เทคนิคการทดสอบที่พัฒนาสำหรับเปิดฉากไม่สามารถนำไปใช้กับกระบวนทัศน์แบบฟอร์มที่ใช้. ในบทความนี้เราจะหารือกลยุทธ์สำหรับการทดสอบรูปแบบตามโปรแกรมภาพ เราแสดงให้เห็นว่าแตกต่างที่สำคัญอยู่ระหว่างรูปแบบที่ใช้และโปรแกรมจำเป็นและที่แตกต่างเหล่านี้มีผลกระทบต่อวิธีการทดสอบ. โปรแกรมแบบฟอร์มที่ใช้ต้องใช้วิธีการทดสอบที่สนับสนุนการป้อนข้อมูลที่เพิ่มขึ้นและกระบวนการตรวจสอบ. นอกจากนี้เพราะโปรแกรมรูปแบบตามที่มีการพึ่งพาอาศัยกัน

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

แบบฟอร์มที่ใช้ภาษาการเขียนโปรแกรม Visual ให้วิธีการจัดเก็บเพื่อการเขียนโปรแกรม ตามลักษณะระบบขับเคลื่อนการจัดการโดยตรง ทำงานแบบผู้ใช้แบบฟอร์มตามภาษาสร้างหรือจัดการกับเซลล์และกำหนดสูตรในเซลล์นั้น เหล่านี้สูตรอ้างอิงคุณค่าที่มีอยู่ในเซลล์อื่น ๆและใช้ในการคำนวณเมื่อใดก็ตามที่สูตรของเซลล์ที่กำหนดเป็นต้นตรวจสอบเครื่องยนต์คำนวณมูลค่าของเซลล์ recalculatesค่าของเซลล์ที่คำนวณและการอ้างอิงเซลล์แสดงผลใหม่บนหน้าจอแบบฟอร์มที่ใช้ภาษาการเขียนโปรแกรม Visual รวม เช่นsubclass , ระบบตารางคำนวณอิเล็กทรอนิกส์ ระบบเหล่านี้อยู่ในหมู่ที่สุดที่ใช้กันอย่างแพร่หลายประเภทของซอฟต์แวร์ ขนาดใหญ่ประชากรของผู้ใช้จ้างพวกเขาเพื่อดำเนินการต่างงานคำนวณ . แบบฟอร์มที่ใช้ภาพและภาษากระบวนทัศน์ยังใช้ในงานวิจัยมากมายเครื่องมือที่แสวงหาเพื่อขยายอำนาจและการบังคับใช้ สำหรับตัวอย่าง มีงานวิจัยในการใช้ภาษาตามฟอร์มสำหรับการเข้าถึงฐานข้อมูล [ 341 , steerable จำลองให้สภาพแวดล้อมสำหรับนักวิทยาศาสตร์ [ 8 ] และสนับสนุนของและการใช้เต็มรูปแบบ guis [ 20 ]แม้จะมีการอุทธรณ์ของผู้ใช้รูปแบบตามภาษาและการรับรู้ของความเรียบง่ายของกระบวนทัศน์ในการเปรียบเทียบกับกระบวนทัศน์การวิจัยแสดงให้เห็นว่าภาษาคำสั่งรูปแบบโปรแกรมตามภาพมักจะมีข้อผิดพลาด ตัวอย่างเช่นในการศึกษาเชิงประจักษ์ของผู้ใช้ที่มีประสบการณ์ สเปรดชีต[ 6 ] , 44 เปอร์เซ็นต์ของข้อมูลที่สร้างขึ้นโดยผู้ใช้เหล่านั้นพบว่ามีผู้ใช้สร้างข้อบกพร่อง อัตราเทียบเท่าที่ประมาณการในการค้ากด [ 9 ] ผสมปัญหานี้ ผู้สร้างสามารถแสดงไม่ความมั่นใจในความน่าเชื่อถือของโปรแกรม [ 6 ] ของพวกเขาทั้งๆที่หลักฐานนี้เราไม่พบการสนทนาในการวิจัยวรรณกรรมของเทคนิคการทดสอบหรือประเมินความน่าเชื่อถือของรูปแบบโปรแกรมตามภาพ ในความเป็นจริงการวิจัยมากที่สุดในการทดสอบโปรแกรม ( เช่น [ วันที่ 11 , 13 , 17 , 25 , 331 )เป็นคำสั่งในโปรแกรมที่จำเป็น งานวิจัยล่าสุด[ 4 , 5 191 พิจารณาปัญหาของการทดสอบและการหาความน่าเชื่อถือตรรกะโปรแกรมเขียนโปรแกรม . แม้ว่ากระบวนทัศน์ตรรกะเป็นรูปแบบตามกระบวนทัศน์ที่ทั้งเป็นคำประกาศคุณสมบัติหลายเหตุผล เช่น กระบวนทัศน์เป็นลักษณะลำดับชั้นของการรวมกันและย้อนรอยหลังจากความล้มเหลว , กระบวนทัศน์ จึงแตกต่างจากรูปแบบตามที่การทดสอบเทคนิคพัฒนาภาษาโปรล็อก ไม่สามารถใช้แบบฟอร์มตัวอย่างตามในกระดาษนี้เราหารือเกี่ยวกับกลยุทธ์สำหรับการทดสอบรูปแบบตามโปรแกรมภาพ เราแสดงให้เห็นว่า ความแตกต่างที่สำคัญอยู่ระหว่างโปรแกรมและรูปแบบตามขวาง และที่ความแตกต่างเหล่านี้ได้สำหรับวิธีการทดสอบรูปแบบโปรแกรมตามต้องการ วิธีการทดสอบที่สนับสนุนการเพิ่มและตรวจสอบกระบวนการนอกจากนี้ เนื่องจากรูปแบบการใช้โปรแกรมเป็น