4,640 research outputs found
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
No full textVisual dataflow languages (VDFLs), which include commercial and research systems, have had a substantial impact on end-user programming. Like any other programming languages, whether visual or textual, VDFLs often contain faults. A desire to provide programmers of these languages with some of the benefits of traditional testing methodologies has been the driving force behind our effort in this work. In this article we introduce, in the context of prograph, a testing methodology for VDFLs based on structural test adequacy criteria and coverage. This article also reports on the results of two empirical studies. The first study was conducted to obtain meaningful information about, in particular, the effectiveness of our all-Dus criteria in detecting a reasonable percentage of faults in VDFLs. The second study was conducted to evaluate, under the same criterion, the effectiveness of our methodology in assisting users to visually localize faults by reducing their search space. Both studies were conducted using a testing system that we have implemented in Prograph's IDE.Agrawal H., 1995, Proceedings. The Sixth International Symposium on Software Reliability Engineering (Cat. No.95TB8129), DOI 10.1109-ISSRE.1995.497652; Aho A., 1986, COMPILERS PRINCIPLES; Azem A., 1993, Proceedings. Fourth International Symposium on Software Reliability Engineering (Cat. No.93TH0560-3), DOI 10.1109-ISSRE.1993.624302; Belli F., 1995, Proceedings. The Sixth International Symposium on Software Reliability Engineering (Cat. No.95TB8129), DOI 10.1109-ISSRE.1995.497651; Bernini M., 1994, Proceedings of the Workshop on Advanced Visual Interfaces AVI '94, DOI 10.1145-192309.192361; BOULUS J, 2006, P 10 INT C EXT DAT T, P1155; Burnett M., 1994, IEEE Computational Science and Engineering, V1, DOI 10.1109-99.338768; CHANG SK, 1989, IEEE T SOFTWARE ENG, V15, P506, DOI 10.1109-32.24700; CHRIST RE, 1975, HUM FACTORS, V17, P542; CLARKE LA, 1989, IEEE T SOFTWARE ENG, V15, P1318, DOI 10.1109-32.41326; Clarke L. A., 1976, IEEE Transactions on Software Engineering, VSE-2, DOI 10.1109-TSE.1976.233817; Del Frate F., 1995, Proceedings. The Sixth International Symposium on Software Reliability Engineering (Cat. No.95TB8129), DOI 10.1109-ISSRE.1995.497650; FISK D, 2003, P INT LISP C NEW YOR, P232; FRANKL PG, 1993, IEEE T SOFTWARE ENG, V19, P774, DOI 10.1109-32.238581; FRANKL PG, 1985, P IEEE C SOFTW TOOLS, P72; FRANKL PG, 1988, IEEE T SOFTWARE ENG, V14, P1483, DOI 10.1109-32.6194; GREN TRG, 1996, J VISUAL LANG COMPUT, V7, P131; Gupta KC, 1996, INT J MICROWAVE MILL, V6, P83; Harrold M. J., 1988, Proceedings of the Conference on Software Maintenance - 1988 (IEEE Cat. No.88CH2615-3), DOI 10.1109-ICSM.1988.10188; HORWITZ S, 1990, ACM T PROGR LANG SYS, V12, P26, DOI 10.1145-77606.77608; HUTCHINS M, 1994, PROC INT CONF SOFTW, P191, DOI 10.1109-ICSE.1994.296778; Jones J. A., 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002, DOI 10.1109-ICSE.2002.1007991; Karam M. R., 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587), DOI 10.1109-HCC.2001.995275; KARAM M, 2006, P INT C INT WEB APPL, P196; KELSO J, 2002, THESIS MURDOCH U AUS; Kimura T.D., 1990, VISUAL PROGRAMMING E, P397; KOREL B, 1985, P 2 C SOFTW DEV TOOL, P34; KUHN W, 1997, P INT C WORKSH INT G; LASKI JW, 1983, IEEE T SOFTWARE ENG, V9, P347, DOI 10.1109-TSE.1983.236871; LIBLIT B., 2005, P 2005 ACM SIGPLAN C, P15, DOI 10.1145-1065010.1065014; LUO G, 1992, P 3 INT S SOFTW REL, P104; MEYER MR, 2000, P 5 ANN CCSC NE C J, P181; MURCH GM, 1984, IEEE COMPUT GRAPH, V4, P49; NTAFOS SC, 1984, IEEE T SOFTWARE ENG, V10, P795; Offutt AJ, 1996, SOFTWARE PRACT EXPER, V26, P165, DOI 10.1002-(SICI)1097-024X(199602)26:2165::AID-SPE53.0.CO;2-K; OUABDESSELAM F, 1995, P 2 INT WORKSH AUT A, P249; Paton BE, 1998, SENSORS TRANSDUCERS; PERRY DE, 1990, J OBJECT-ORIENT PROG, V2, P13; RAPPS S, 1985, IEEE T SOFTWARE ENG, V11, P367, DOI 10.1109-TSE.1985.232226; Rothermel G., 1997, ACM Transactions on Software Engineering and Methodology, V6, DOI 10.1145-248233.248262; Rothermel G, 2001, ACM T SOFTW ENG METH, V10, P110, DOI 10.1145-366378.366385; Rothermel G, 1998, PROC INT CONF SOFTW, P198, DOI 10.1109-ICSE.1998.671118; SHAFER D, 1994, POWER PROGRAPH CPX; Shneiderman B., 1998, DESIGNING USER INTER; WEISER M, 1984, IEEE T SOFTWARE ENG, V10, P352; WEYUKER EJ, 1986, IEEE T SOFTWARE ENG, V12, P1128; WEYUKER EJ, 1993, IEEE T SOFTWARE ENG, V19, P912, DOI 10.1109-32.241773; Wing J. M., 1991, Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9), DOI 10.1109-IWSSD.1991.213069; WONG WE, 1995, PROC INT CONF SOFTW, P41, DOI 10.1145-225014.225018; Woodruff A., 1995, Proceedings. 11th IEEE International Symposium on Visual Languages (Cat. No.95TB8105), DOI 10.1109-VL.1995.520808; Yang SR, 1997, J VISUAL LANG COMPUT, V8, P563, DOI 10.1006-jvlc.1997.0047; Zhang D. Q., 1997, P 13 IEEE S VIS LANG, P28420
The Sacramental Theory in John 19:26-27
No full textAbout the author: Father Theodore Koehler, S.M., of the Seminaire Marianiste at the University of Fribourg, Switzerland, studied under Father Neubert
Christian Insight
No full textVery Rev . John A. Elbert, S.M., is Graduate Dean of Arts and Sciences, Professor of Philosophy, creator of the Interdisciplinary Seminar, former President of the University of Dayton. He is the author of a number of books
Mary and American Protestants
No full textAbout the author: Father William Cole, S.M., is Professor and director of graduate work in Theological Studies at the University of Dayton. He has long been associated with the Marian Library
Overcoming the Obstacles to Counselling Research
No full textThe author of this article, Brother Marion F. Belka, S.M., is Vice President of St. Mary\u27s University in San Antonio, Texas, and President of the National Catholic Guidance Conference
In Vivo Acticity of Bupropion at the Human Dopamine Transporter as Measured by Positron Emission Tomography
No full textArticle title: In vivo acticity of bupropion at the human dopamine transporter as measured by positron emission tomography. Reference: BPS7603 Journal title: Corresponding author: Dr. S.M. Learned-Coughlin First author: Dr. S.M. Learned-Coughlin Citation</p
Direct numerical simulation of the flow around a wing section at moderate Reynolds numbers
No full textA three dimensional direct numerical simulation has been performed to study the flow around the asymmetric NACA-4412 wing at a moderate chord Reynolds number (Rec = 400, 000) with an angle of attack of 5◦ . The flow case under investigation poses numerous challenges for a numerical method due to the wide range of scales and complicated flow physics induced by the geometry. The mesh is optimized and well resolved to account for such varying scales in the flow. An unsteady volume force is used to trip the flow to turbulence on both sides of the wing at 10% chord. Full turbulent statistics are computed on the fly to further investigate the complicated flow features around the wing. The present simulation shows the potential of high-order methods in simulating complex external flows at moderately high Reynolds numbers
Unity of the World of Men
No full textVery Reverend John A. Elbert, S.M., is the former Provincial Superior of the Cincinnati Province of the Society of Mary and was President of the University of Dayton from 1938 until 1944. He is the author of half a dozen books and numerous articles, several of which have appeared in this review
The Cult of Kannon, The Goddess of Mercy, in Japanese Buddhism
No full textAloysius Soden, S.M., M.A. Member of the Marianist Province of New York; spent most of his professional life as missionary in Japan; author of several monographs about the Orient; served in Navy intelligence during World War II as interpreter; now in St. Joseph\u27s School, Yokohama
An Approach to a Christian Outlook on Reality: Integration of Knowledge
No full textVery Reverend John A. Elbert, S.M., former Provincial Superior of the Cincinnati Province of the Society of Mary, was President of the University of Dayton from 1938 until 1944. He is the author of half a dozen books and numerous articles. This is not his first contribution to this review
- …
