Filters








188,176 Hits in 5.3 sec

Test data as an aid in proving program correctness

Matthew Geller
1976 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76  
This paper introduces a technique whereby test data can be used in proving program correctness.  ...  Proofs of program correctness tend to be long and tedious whereas testing, though useful in detecting errors, usually does not guarantee correctness.  ...  A further argument for testing as opposed to proving correctness goes as follows. In proving program correctness, one might forget entirely that an array reference may be out of bounds.  ... 
doi:10.1145/800168.811554 dblp:conf/popl/Geller76 fatcat:4ymtxz4bvfhefjay4uasql7234

Computer-aided verification

E.M. Clarke, R.P. Kurshan
1996 IEEE spectrum  
Such difficulties have spurred research into methods that attempt to prove a system correct, in the same sense that a mathematical theorem is proved correct.  ...  once considered an important tool for uncovering faults in unanticipated behaviors, is now viewed widely as inadequate O n the other hand, tests designed for specific scenarios leave unexplored possible  ...  Such difficulties have spurred research into methods that attempt to prove a system correct, in the same sense that a mathematical theorem is proved correct.  ... 
doi:10.1109/6.499951 fatcat:5qgmajpscja5nhlwrbdcqobo5i

Page 1890 of Mathematical Reviews Vol. 57, Issue 5 [page]

1979 Mathematical Reviews  
In this paper we present the detailed proof of this statement.” Geller, Matthew Test data as an aid in proving program correctness. Comm. ACM 21 (1978), no. 5, 368-375.  ...  The author says that proving a program correct might be hard. Conversely, program testing is easier but, as Dijkstra says, it only detects bugs in programs; it does not ensure their absence.  ... 

Compiler testing via symbolic interpretation

Hanan Samet
1976 Proceedings of the annual conference on - ACM 76  
A method for compiler testing using symbolic interpretation is presented. This method is a cross between program proving and program testing.  ...  The highlights and limitations of the process as well as future work are discussed in a framework of a specific LISP implementation on a PDP-IO computer.  ...  This is accomplished with the aid of an equality data base.  ... 
doi:10.1145/800191.805648 dblp:conf/acm/Samet76 fatcat:hbgo4pyefne6rh5j7ae4tdfsri

Implementation Of An Educational Training Program In First Aid For Newly Graduated Nursery School Teachers At Zagazig City

SA Ali, AR Abu-Eleoud, SM Heybah, AA Mohamed
2010 Zagazig Journal of Occupational Health and Safety  
Data were collected using questionnaire to test teacher's knowledge concerning first aid. This forms the 1 st part of the study.  ...  There was high significant improvement of knowledge and practice of the studied group in the post test in comparison to pre test.  ...  A consent from participants was also obtained as an approval to share in the study. Collected data were analyzed by SPSS computer software.  ... 
doi:10.4314/zjohs.v3i1.57947 fatcat:hghknzjvhvbshjmwo53c6sb7he

Page 71 of Journal of Research and Practice in Information Technology Vol. 10, Issue 2 [page]

1978 Journal of Research and Practice in Information Technology  
In some cases it may be possible to design the test data so as to provide adequate assurance of the correctness of the program.  ...  Some people advocate an adversary system for testing programs, with another programmer performing independent tests in an effort to prove the original programmer wrong.  ... 

Page 21 of Hearing Instruments Vol. 34, Issue 3 [page]

1983 Hearing Instruments  
Self-help program proves advantageous I i The hearing conservation specialist ^4 points out that there is a psychological advantage in programs like the one the railroad company is pursuing in which company  ...  An MTSA staff member reviews the correct procedure for carrying out an audiometric teat to produce a valid audiogram.  ... 

Perspectives in Software Engineering

Marvin V. Zelkowitz
1978 ACM Computing Surveys  
This paper outlines the procedures used in the development of computer software, emphasizing large-scale software development, and pmpomtmg areas where problems exist and solutions have been proposed Solutions  ...  data for which the program gives correct answers. • For typical sets of test data, the program gives correct answers. • For difficult sets of test data, the program gives correct answers. • For all possible  ...  A correct program is one that has been proved to meet its specifications.  ... 
doi:10.1145/356725.356731 fatcat:r476a5trvjdefe3wpp6mgfn2yy

Formal program testing

Robert Cartwright
1981 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81  
Programmers certainly find it much easier to gen- erate test data than to prove programs correct.  ...  - .- [Cartwright 76a] Cartwright, R.S.; "User-Defined Data Types as an Aid to Verifying LISP Programs,"" Proceed- ings Third International Colloquium on Auto- .- ,~uages and Programming  ... 
doi:10.1145/567532.567546 dblp:conf/popl/Cartwright81 fatcat:ehkkgf6m6zcl5lujy5ygzu3ksu

A summary of progress toward proving program correctness

T. A. Linden
1972 Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I)  
Testing can and often does prove a program is incorrect, but no reasonable amount of testing can ever prove that a nontrivial program will be correct over all allowable inputs.  ...  It is very much an open question whether automated proof techniques will ever be feasible as a commonly used alter-native to testing a program.  ...  In this case it may be worth the additional cost of a proof to obtain an independent evaluation of correctness.  ... 
doi:10.1145/1479992.1480019 dblp:conf/afips/Linden72 fatcat:ofwp5rbivbafld2x75wkgpazky

HIV/AIDS Among Female Prison Inmates

Cortney A. Franklin, Noelle E. Fearn, Travis W. Franklin
2005 Californian Journal of Health Promotion  
This is especially important as female inmates are faced with a host of unique and distinct needs, in particular, an increased risk of HIV/AIDS infection.  ...  This study identifies the current state of HIV/AIDS among female inmates in correctional institutions nation wide.  ...  Table 5 5 Percent of Female Inmates with HIV/AIDS Receiving Treatment and Services as Reported by State Departments of Corrections *1992: Data are from the National Survey of AIDS in Correctional Facilities  ... 
doi:10.32398/cjhp.v3i2.1767 fatcat:4uczhi3u7nghzhr37o7b2jq7tq

Tracking linkage to HIV care for former prisoners

Brian T. Montague, David L. Rosen, Liza Solomon, Amy Nunn, Traci Green, Michael Costa, Jacques Baillargeon, David A. Wohl, David P. Paar, Josiah D. Rich, on behalf of the LINCS Study Group
2012 Virulence  
The linking data from Ryan White program Client Level Data (CLD) files reported to HRSA with corrections release data offers an attractive means of generating these metrics.  ...  The reporting of client level data on HIV care through the Ryan White HIV/AIDS Program represents an unprecedented opportunity to evaluate, in tremendous detail, the care provided and client health outcomes  ... 
doi:10.4161/viru.20432 pmid:22561157 pmcid:PMC3442844 fatcat:xpusnnzqcfgadom5ojnip24tce

Effect of the AIDS Education for College Students

Hee-Jung Jang, Moon-Hee Mo
2017 Asia-Pacific Journal of Educational Management Research  
Data were analyzed based on descriptive statistics, χ 2 test and paired t-test using the 21.0 Program. After the program was conducted the knowledge and attitude were significantly improved.  ...  The purpose of this study is to identify the effects of the AIDS education program on knowledge, attitude and recognition for AIDS prevention in college students.  ...  Differences in the recognition after the AIDS education program As a result of analyzing, with the Independent t-test, differences in the recognition of participants after participating in the AIDS education  ... 
doi:10.21742/ajemr.2017.2.1.29 fatcat:mm3jsvumezgsndox2elb6ted2m

Page 81 of Journal of Aircraft Vol. 14, Issue 1 [page]

1977 Journal of Aircraft  
JANUARY 1977 the CRT as compared to writing an APT program and checking it only on the Gerber flatbed plotter.  ...  These benefits are most visible where very large amounts of time are required to prepare and correct input data, and where the input data are geometric in nature, as in stress analysis.  ... 

Page 29 of Hewlett-Packard Journal Vol. 30, Issue 8 [page]

1979 Hewlett-Packard Journal  
The diagnostic test system has already been invaluable in production testing and should prove a most useful aid in occasional field servicing. -Peter Roubaud Reference 1. R.A.  ...  Under control of this master program running in the desktop computer, one file at a time is transferred to the 37201A with the aid of a short loader program resident in the 37201A firmware.  ... 
« Previous Showing results 1 — 15 out of 188,176 results