Spelling suggestions: "subject:"eomputer programs -- ingesting."" "subject:"eomputer programs -- andtesting.""
1 |
Verification of program properties: from testing to semi-provingZhou, Zhiquan., 周智泉. January 2003 (has links)
published_or_final_version / Computer Science and Information Systems / Doctoral / Doctor of Philosophy
|
2 |
Information flow complexityUdomphorn, Pakarat January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
|
3 |
A comprehensive software test strategyKahle, Stephen Louis January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
|
4 |
The instrumenting compiler as a tool for high-level program monitoringNading, Jay Lawrence, 1950- January 1974 (has links)
No description available.
|
5 |
Equivalence testing for fortran mutation system using data flow analysisTanaka, Akihiko January 1981 (has links)
No description available.
|
6 |
Comparison of six interactive text editorsSowell, Russell Wayne January 2010 (has links)
Includes glossary. / Digitized by Kansas Correctional Industries
|
7 |
An implementation of the Schick-Wolverton and the Jelinski-Moranda software reliability modelsRankin, Johnnie Otis January 2010 (has links)
Typescript (photocopy). / Digitized by Kansas Correctional Industries
|
8 |
A methodology for testing spreadsheet gridsSheretov, Andrei 14 January 2000 (has links)
Although there has been research into ways to design spreadsheet systems to
improve the processes of creating new spreadsheets and of understanding
existing ones, little attention has been given to helping users of these
environments test their spreadsheets. To help address this need, we introduce
two visual approaches to testing large grids in spreadsheet systems. The first
approach is a straightforward extension of a visual testing methodology we
previously developed for individual cells (and hence is termed the Straightforward
approach), and serves as a useful baseline with which to compare the second
approach. The second approach, termed the Region Representative approach,
contributes scalability by overcoming the inefficiency of the Straightforward
approach.
Prototypes of both approaches have been tightly integrated into Forms/3,
a research spreadsheet language, and communication with the user happens
solely through the use of checkbox devices and coloring mechanisms. The intent
of this work is to bring to end users at least some of the benefits of formalized
notions of testing, without requiring knowledge of testing beyond a naive level. / Graduation date: 2000
|
9 |
An empirical study of the fault-predictive ability of software control-structure metrics/Almeida, Alberto Teixeira Bigotte de. January 1990 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 1990. / Thesis Advisor(s): Shimeall, Timothy J. Second Reader: Bradbury, Leigh W. "June 1990." Description based on signature page on October 16, 2009. DTIC Descriptor(s): Computer programs, costs, faults, measurement, test methods DTIC Indicator(s): Computer program verification, metric system, Theses. Author(s) subject terms: Software metrics, text-based metrics, faults, testing, empirical studies. Includes bibliographical references (p. 69-72). Also available online.
|
10 |
Selecting sufficient sets of test paths for program testing /Zeil, Steven Joseph, January 1981 (has links)
No description available.
|
Page generated in 0.1414 seconds