| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 10
reviews
|
|
|
 |
|
|
|
|
Measuring computer performance: a practitioner’s guide
Lilja D., Cambridge University Press, New York, NY, 2000. 261 pp. Type: Book (9780521641050), Reviews: (2 of 2)
The author states in the preface: “This book is intended to be used as the primary text in a one-semester course for advanced undergraduate and beginning graduate students in computer science and engineering who need to under...
|
Jun 20 2002 |
|
|
|
|
|
|
Programming on an already full brain
Fry C. Communications of the ACM 40(4): 55-64, 1997. Type: Article
This paper is based on unsupported premises and, as a result, attacks non-problems or, if not that, then certainly does not attack significant programming problems. The questionable premise is that the act of coding and getting to the ...
|
Oct 1 1997 |
|
|
|
|
|
|
The chaining approach for software test data generation
Ferguson R., Korel B. ACM Transactions on Software Engineering and Methodology 5(1): 63-86, 1996. Type: Article
Ferguson and Korel report on a continuation of ongoing research on automated test generation methods. More specifically, they present structural test generation methods that use the program’s source code as the basis of test ...
|
Oct 1 1996 |
|
|
|
|
|
|
Generating test cases for real-time systems from logic specifications
Mandrioli D., Morasca S., Morzenti A. ACM Transactions on Computer Systems 13(4): 365-398, 1995. Type: Article
This long but clear paper describes the use of a temporal logic language, TRIO, to construct behavioral models of time-dependent systems and to use these models to semi-automatically generate test cases. A TRIO specification is a set o...
|
Aug 1 1996 |
|
|
|
|
|
|
Generating test suites for software load testing
Avritzer A., Weyuker E. Software testing and analysis (Proceedings of the 1994 international symposium, Seattle, Washington, United States, Aug 17-19, 1994) 44-57, 1994. Type: Proceedings
The authors propose, analyze, and provide experimental support for three new black-box testing strategies for systems that can be described by a Markov model. Although such models apply to systems other than telecommunications systems,...
|
Sep 1 1995 |
|
|
|
|
|
|
Protocol testing: review of methods and relevance for software testing
Bochmann G., Petrenko A. Software testing and analysis (Proceedings of the 1994 international symposium, Seattle, Washington, United States, Aug 17-19, 1994) 109-124, 1994. Type: Proceedings
The title and abstract of this paper claim that it has something to say about the general problems of software testing. Had the paper’s title been “Protocol Testing: Review of Methods,” I would have found ...
|
Jul 1 1995 |
|
|
|
|
|
|
Experimental results from an automatic test case generator
DeMillo R., Offutt A. ACM Transactions on Software Engineering and Methodology 2(2): 109-127, 1993. Type: Article
Mutation testing has not found broad application among testing practitioners because it has been computationally intensive, and because potential users have been confused about its purpose. The first reason has been obviated by the av...
|
Mar 1 1994 |
|
|
|
|
|
|
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
Leveson N., Cha S., Knight J., Shimeall T. IEEE Transactions on Software Engineering 16(4): 432-443, 1990. Type: Article
This unusually clear and honest paper deals with an experiment designed to compare the effectiveness of self-checking facilities to that of N-version voting. The experiment studied 27 small avionics programs (350–900 lines of...
|
Dec 1 1990 |
|
|
|
|
|
|
Bayesian reliability evaluation of computer systems
Simkins D., Bukowski J. Computers and Electrical Engineering 11(2-3): 79-86, 1984. Type: Article
This is a clear exposition of a procedure which can be used to estimate the reliability of complicated systems. It is based on a combination of predicted failure rates and measured failure rates, where the system configuration under te...
|
Apr 1 1986 |
|
|
|
|
|
|
Quality management technology: practical applications
Edward F. J. Software validation: inspection-testing-verification-alternatives (, Darmstadt, West Germany, 2661984. Type: Proceedings
This well-written survey paper addresses three issues: (1) a comparison between hardware and software testing, (2) an overview of software testing techniques and verification methods, and (3) an example of the test support provided by ...
|
Nov 1 1985 |
|
|
|
|
|
| |
|
|
| |
|
|
