Spelling suggestions: "subject:"debugging inn computer cience"" "subject:"debugging inn computer cscience""
41 |
Empirical study - pairwise prediction of fault based on coverageShamasunder, Shalini 14 June 2012 (has links)
Researchers/engineers in the field of software testing have valued coverage as a testing metric for decades now. There have been various empirical results that have shown that as coverage increases the ability of the test program to detect a fault also increases. As a result numerous coverage techniques have been introduced. Which coverage criteria co-relates better with fault detection? Which coverage criteria on the other hand have lower correlation with fault detection? In other words, does it make more sense to achieve a higher percentage of c1 kind of coverage over a higher percentage of c2 coverage to gain good fault detection rate. Do the popular block and branch coverage perform better or does path coverage outperform them? Answering these questions will help future engineers/researchers in generating more efficient test suites and in gaining a better metric of measurement. This also helps in test suite minimization. This thesis studies the relationship between coverage and mutant kill-rates over large, randomly generated test suites for statement, branch, predicate, and path coverage of two realistic programs to answer the above open questions. The experiments both confirm conventional wisdom about these coverage criteria and contains a few surprises. / Graduation date: 2013
|
42 |
Understanding and supporting end-user debugging strategies /Grigoreanu, Valentina. January 1900 (has links)
Thesis (Ph. D.)--Oregon State University, 2010. / Printout. Includes bibliographical references (leaves 223-236). Also available on the World Wide Web.
|
43 |
Classifying atomicity violation warnings using machine learningLi, Hongjiang. January 2008 (has links)
Thesis (M.S.)--University of Wyoming, 2008. / Title from PDF title page (viewed on August 5, 2009). Includes bibliographical references (p. 38-39).
|
44 |
Source level debugging of circuits synthesized from high level language descriptions /Hemmert, Karl S., January 2004 (has links) (PDF)
Thesis (Ph. D.)--Brigham Young University. Dept. of Electrical and Computer Engineering, 2004. / Includes bibliographical references (p. 143-149).
|
45 |
Designing, debugging, and deploying configurable computing machine-based applications using reconfigurable computing application frameworks /Slade, Anthony Lynn, January 2003 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Electrical and Computer Engineering, 2003. / Includes bibliographical references (p. 229-232).
|
46 |
INCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATIONBritton, Dianne Ellen, 1950- January 1977 (has links)
No description available.
|
47 |
SIMPLIFYING CODE GENERATION THROUGH PEEPHOLE OPTIMIZATIONDavidson, Jack W. (Jack Winfred) January 1981 (has links)
Producing compilers that generate good object code is difficult. The early phases of the compiler, syntactical and lexical analysis, have been automated. The latter phases, code generation and optimization, are more difficult because of the wide range of machine architectures. This dissertation describes a technique for the rapid implementation of production-quality compilers though the use of a machine-independent retargetable peephole optimizer, PO. PO is retargeted by providing a description of the new machine. PO simplifies many of the tasks associated with developing compilers. It simplifies code generation by eliminating most of the case-analysis typically necessary to produce good code. It simplifies the optimization phase by collecting several disparate optimizations and generalizing them as peephole optimizations. PO also demonstrates the traditional optimizations, such as register allocation, common subexpression elimination, and removal of unreachable code, may be done more thoroughly and completely when information about the target machine is available.
|
48 |
MINIFOR: minicomputer real-time FORTRAN programming through simulationUpchurch, James Kimble, 1943- January 1972 (has links)
No description available.
|
49 |
Un logiciel de développement et d'exploitation de microcode pour le système graphique d'animation temps réel, GRADS /Mignot, Alain. January 1981 (has links)
No description available.
|
50 |
Fault localization through execution tracesFrancel, Margaret Ann January 2002 (has links)
No description available.
|
Page generated in 0.1035 seconds