[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/851010.856084guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Testing Strategies for Form-Based Visual Programs

Published: 02 November 1997 Publication History

Abstract

No abstract available.

References

[1]
A. V. Aho, R. Sethi, and J. D. Ullman. Compilers, Principles, Techniques, and Tools. Addison-Wesley Publishing Company, Reading, MA, 1986.
[2]
A. Ambler, M. Burnett, and B. Zimmerman. Operational versus definitional: A perspective of programming paradigms. Computer, 25(9), Sept. 1992.
[3]
J. Atwood, M. Burnett, R. Walpole, E. Wilcox, and S. Yang. Steering programs via time travel. In 1996 IEEE Symposium on Visual Languages, pages 4-11, Sept. 1996.
[4]
A. Azem, F. Belli, O. Jack, and P. Jedrzejowicz. Testing and reliability of logic programs. In The Fourth International Symposium on Software Reliability Engineering, pages 318- 327, 1993.
[5]
F. Belli and O. Jack. A test coverage notion for logic programming. In The 6th International Symposium on Software Reliability Engineering, pages 133-142, 1995.
[6]
P. Brown and J. Gould. Experimental study of people creating spreadsheets. ACM Transactions on Ofice Information Systems, 5(3):258-272, July 1987.
[7]
M. Burnett and A. Ambler. Interactive visual data abstraction in a declarative visual programming language. Journal of Visual Languages and Computing, 5(1), Mar. 1994.
[8]
M. Burnett, R. Hossli, T. Pulliam, B. VanVoorst, and X. Yang. Toward visual programming languages for steering in scientific visualization: a taxonomy. IEEE Computational Science and Engineering, 1(4), 1994.
[9]
R. Creeth. Micro-computer spreadsheets: Their uses and abuses. In Journal of Accounting, pages 90-93, June 1985.
[10]
F. Del Frate, P. Garg, A. Mathur, and A. Pasquini. On the correlation between code coverage and software reliability. In The Sixth International Symposium on Software Reliability Engineering, pages 124-32, Oct. 1995.
[11]
P. G. Frankl and E. J. Weyuker. An applicable family of data flow criteria. IEEE Transactions on Software Engineering, 14(10):1483-1498, Oct. 1988.
[12]
M. J. Harrold and M. L. Soffa. Efficient computation of interprocedural definition-use chains. ACM Transactions on Programming Languages and Systems 16(2):175-204, Mar. 1994.
[13]
J. Horgan, S. London, and M. Lyu. Achieving software quality with testing coverage measures. Computer, 27(9):60-9, Sept. 1994.
[14]
C. E. Hughes and J. M. Moshell. Visual Languages and Applications. Plenum Publishing, New York, 1990.
[15]
M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In The 16th International Conference on Software Engineering, pages 191-200, May 1994.
[16]
A. Kay. Computer Software. Scientific American, pages 53-59, Sept. 1984.
[17]
J. Laski and B. Korel. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering, 9(3):347-354, May 1993.
[18]
C. Lewis. NoPumpG: Creating interactive graphics with spreadsheet machinery. In E. Glinert, editor, Visual Programming Environments: Paradigms and Systems, pages 526-446. IEEE Computer Society Press, Los Alamitos, CA, 1990.
[19]
G. Luo, G. Bochmann, B. Sarikaya, and M. Boyer. Controlflow based testing of prolog programs. In The 3rd International Symposium on Software Reliability Engineering, pages 104-113, 1992.
[20]
B. A. Myers. Graphical techniques in a spreadsheet for specifying user interfaces. In Proceedings of CHI '91: Human Factors in Computing Systems, pages 243-249, Apr. 1991.
[21]
S. C. Ntafos. On required element testing. IEEE Transactions on Software Engineering, 10(6), Nov. 1984.
[22]
H. Pande, W. Landi, and B. G. Ryder. Interprocedural defuse associations in C programs. IEEE Transactions on Software Engineering, 20(5):385-403, May 1994.
[23]
R. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, New York, fourth edition, 1997.
[24]
S. Rapps and E. J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 11(4):367-375, Apr. 1985.
[25]
G. Rothermel and M. J. Harrold. A safe, efficient regression test selection technique. ACM Transactions on Software Engineering and Methodology, 6(2):173-210, Apr. 1997.
[26]
B. G. Ryder and M. C. Paull. Incremental data flow analysis algorithms. ACM Transactions on Programming Languages and Systems, 10(1):1-50, Jan. 1988.
[27]
T. J. Smedley, P. T. Cox, and S. L. Byme. Expanding the Utility of Spreadsheets Through the Integration of Visual Programming and User Interface Objects. In Advanced Visual Integaces '96, May 1996.
[28]
E. Weyuker. On testing non-testable programs. The Computer Journal, 15(4):465-470, 1982.
[29]
E. J. Weyuker. Axiomatizing software test data adequacy. IEEE Transactions on Software Engineering, 12(12):1128- 1138, Dec. 1986.
[30]
E. J. Weyuker. More experience with dataflow testing. IEEE Transactions on Software Engineering, 19(9), Sept. 1993.
[31]
N. Wilde and C. Lewis. Spreadsheet-based interactive graphics: from prototype to tool. In Proceedings of CHI '90: Human Factors in Computing Systems, pages 153-159, Apr. 1990.
[32]
N. P. Wilde. A WYSIWYC (What You See Is What You Compute) spreadsheet. In 1993 IEEE Symposium on Visual Languages, pages 72-76, Aug. 1993.
[33]
W. Wong, J. Horgan, S. London, and A. Mathur. Effect of test set size and block coverage on the fault detection effectiveness. In The Fifth International Symposium on Software Reliability Engineering, pages 230-8, Nov. 1994.
[34]
M. M. Zloof. Query by example: a database language. IBM Systems Journal, 16(4), 1977.

Cited By

View all
  • (2014)BumbleBee: a refactoring environment for spreadsheet formulasProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2661673(747-750)Online publication date: 11-Nov-2014
  • (2006)An empirical evaluation of a testing and debugging methodology for ExcelProceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering10.1145/1159733.1159775(278-287)Online publication date: 21-Sep-2006
  • (2006)Integrating automated test generation into the WYSIWYT spreadsheet testing methodologyACM Transactions on Software Engineering and Methodology10.1145/1131421.113142315:2(150-194)Online publication date: 1-Apr-2006
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
ISSRE '97: Proceedings of the Eighth International Symposium on Software Reliability Engineering
November 1997
ISBN:0818681209

Publisher

IEEE Computer Society

United States

Publication History

Published: 02 November 1997

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2014)BumbleBee: a refactoring environment for spreadsheet formulasProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2661673(747-750)Online publication date: 11-Nov-2014
  • (2006)An empirical evaluation of a testing and debugging methodology for ExcelProceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering10.1145/1159733.1159775(278-287)Online publication date: 21-Sep-2006
  • (2006)Integrating automated test generation into the WYSIWYT spreadsheet testing methodologyACM Transactions on Software Engineering and Methodology10.1145/1131421.113142315:2(150-194)Online publication date: 1-Apr-2006
  • (2002)A generalised spreadsheet verification methodologyAustralian Computer Science Communications10.5555/563857.56382624:1(215-222)Online publication date: 1-Jan-2002
  • (2002)A generalised spreadsheet verification methodologyProceedings of the twenty-fifth Australasian conference on Computer science - Volume 410.5555/563801.563826(215-222)Online publication date: 1-Jan-2002
  • (2002)Automated test case generation for spreadsheetsProceedings of the 24th International Conference on Software Engineering10.1145/581339.581359(141-153)Online publication date: 19-May-2002
  • (2002)Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" MethodologyIEEE Transactions on Software Engineering10.1109/TSE.2002.101006028:6(576-594)Online publication date: 1-Jun-2002
  • (2000)WYSIWYT testing in the spreadsheet paradigmProceedings of the 22nd international conference on Software engineering10.1145/337180.337206(230-239)Online publication date: 1-Jun-2000
  • (1998)What you see is what you testProceedings of the 20th international conference on Software engineering10.5555/302163.302183(198-207)Online publication date: 1-Apr-1998

View Options

View options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media