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

heir contents in order to program. Some of these contents
are left blank, with the expectation that they will be filled in
later. To “run” these programs, users fill in these blanks on
thie forms. The contents of a form are a collection of cells;
each cell’s value is defined by that cell’s formula. Cells left
blank simply have no formulas, users fill in those blanks
by entering (constant) formulas. The best-known examples
off form-based languages are commercial spreadsheets (see
Figure I), but there are also many research systems based
upon this paradigm. In its pure form, a form-based program
follows Alan Kay’s “value rule”, which states that a cell’s
value is defined solely by the formula explicitly specified
for that cell by the user [16]. Spreadsheets without macros
exemplify “pure” form-based programming.

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

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

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

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

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

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