Zobrazeno 1 - 10
of 51
pro vyhledávání: '"William E. Howden"'
Autor:
G. M. Shi, William E. Howden
Publikováno v:
ISSTA
An approach to systematic informal program analysis is discussed in which comments that describe hypotheses and assertions about the behavior of programs are analyzed. Event sequence comments analysis methods analyze the consistency of comments that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::580ecdcf6775266ee3b0d0fa08ac83e3
https://doi.org/10.1145/226295.226307
https://doi.org/10.1145/226295.226307
Autor:
Yudong Huang, William E. Howden
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 4:36-64
A measure of software dependability called trustability is described. A program p has trustability T if we are at least T confident that p is free of faults. Trustability measurement depends on detectability. The detectability of a method is the prob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3790300ea5a236801a49054b2a151fac
https://doi.org/10.1145/201055.201058
https://doi.org/10.1145/201055.201058
Autor:
William E. Howden, Bruce Robert Wieand
Publikováno v:
IEEE Transactions on Software Engineering. 20:445-462
Formal verification of program properties may be infeasible or impractical, and informal analysis may be sufficient. Informal analysis involves the informal acceptance, by inspection, of the validity of program properties or steps in an analysis. Inf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::85ba76878799c4634acfe7268ae415fd
https://doi.org/10.1109/32.295893
https://doi.org/10.1109/32.295893
Autor:
William E. Howden
Publikováno v:
WOSOCER
An error-based approach to certification is described. A classical theory of error is reviewed and a software interpretation of the theory is developed. The interpretation suggests a strategy for testing and analysis. The strategy was evaluated by co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86317b491302c0786ad0f6b477cf0e17
https://doi.org/10.1109/wosocer.2011.11
https://doi.org/10.1109/wosocer.2011.11
Autor:
William E. Howden
Publikováno v:
COMPSAC Workshops
An approach to error-based testing is described that uses simple programmer error models and focus-directed methods for detecting the effects of errors. Errors are associated with forgetting, ignorance, bandwidth and perversity. The focus-directed ap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::903baf1783054042ae31699071f9b397
https://doi.org/10.1109/compsacw.2011.36
https://doi.org/10.1109/compsacw.2011.36
Publikováno v:
Information Sciences. :427-450
The principal technological problem in large systems development and maintenance is the management of complexity. Part of the problem is that there is seldom a complete set of formal specifications for such systems. This may not change for a variety
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fddad378488217f2dfe1afcb04e1945d
https://doi.org/10.1016/0020-0255(91)90092-9
https://doi.org/10.1016/0020-0255(91)90092-9
Autor:
Linda Werner, William E. Howden
Publikováno v:
Journal of Systems and Software. 15:205-215
An investigation into the application of data usage analysis to detect faults in large data processing programs was performed. This investigation was done to gain insight into the applicability of data usage analysis. The method uses stylized comment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71db0c581fd4319d0b3e8c95c8f949d7
https://doi.org/10.1016/0164-1212(91)90037-7
https://doi.org/10.1016/0164-1212(91)90037-7
Autor:
William E. Howden
Publikováno v:
Software Testing, Verification and Reliability. 1:5-15
It is argued that the goal in verification and validation is not correctness, but the detection of the occurrence of errors in the program construction process. Different methods, such as proofs and testing, should not be viewed as competing techniqu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c77e07226fdac5d14da3410ed031d348
https://doi.org/10.1002/stvr.4370010103
https://doi.org/10.1002/stvr.4370010103
Publikováno v:
COMPSAC
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In bounded exhaustive testing (BET) all combinations are tested on reduced versions of a problem/application with the idea that bu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3922ec0282135273ac60e54603c02bb8
https://doi.org/10.1109/compsac.2008.5
https://doi.org/10.1109/compsac.2008.5
Autor:
William E. Howden
Publikováno v:
IEEE Transactions on Software Engineering. 16:72-81
Software validation is treated as the problem of detecting errors that programmers make during the software development process. This includes fault detection, in which the focus is on techniques for detecting the occurrence of local errors that resu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de5ae571792d29971d4df5bce3031431
https://doi.org/10.1109/32.44365
https://doi.org/10.1109/32.44365