Subdomain testing of units and systems with state

Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006

Volumn 2006, Issue , 2006, Pages 85-95

  Hamlet, Dick ^a  

^a PORTLAND STATE UNIVERSITY   (United States)

Author keywords

Persistent state; Testing theory; Unit system testing

Indexed keywords

APPROXIMATION THEORY; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; STATE SPACE METHODS;

PERSISTENT STATES; SOFTWARE COMPONENTS; TESTING THEORY; UNIT SYSTEM TESTING;

SOFTWARE TESTING;

EID: 34247333027     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1146238.1146249     Document Type: Conference Paper

References (17)

1. William Addis. Structural Engineering: The Nature of Theory and. Design. Ellis Horwood, 1991.
2. C. Boehm and G. Jacopini. Flow diagrams, turing machines, and languages with only two formation rules. Comm. of the ACM, 9:366-371, 1966.
3. R. W. Butler and G. B. Finelli. The infeasibility of experimental quantification of life-critical software reliability. IEEE Trans. on Soft. Eng., 19(1):3-12, January 1993.
4. John B. Goodenough and Susan L. Gerhart. Toward a theory of test data selection. In Proceedings of the international conference on Reliable software, pages 493-510, 1975.
5. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Trans. on Soft. Eng., 16:1402-1411, 1990.
6. Dick Hamlet, Milan Andric, and Zheng Tu. Experiments with composing component properties. In Wallnau [17].
7. Dick Hamlet, Dave Mason, and Denise Woit. Theory of software reliability based on components. In Proceedings ICSE '01, pages 361-370, Toronto, Canada, 2001.
8. W. E. Howden. Reliability of the path analysis testing strategy. IEEE Trans. on Soft. Eng., 2:208-215, 1976.
9. S. C. Kleene. Introduction to Metamathematics. Elsevier, 1980.
10. Karl Meinke. Automated black-box testing of functional correctness using function approximation. In Proceedings ISSTA '04, Boston, 2004.
11. H. Mills, V. Basili, J. Gannon, and D. Hamlet. Principles of Computer Programming: A Mathematical Approach. Allyn and Bacon, 1987.
12. J. D. Musa. Operational profiles in software-reliability engineering. IEEE Software, pages 14-32, 1993.
13. David L. Parnas. On the criteria to be used in decomposing systems into modules. Comm. of the ACM, December 1972.
14. Hartley Rogers. Theory of Recursive Functions and Effective Computability. MIT Press, 1987.
15. Clemens Szyperski. Component Software. Addison-Wesley, 2nd edition, 2002.
16. Walter G. Vincenti. What Engineers Know and How They Know It. Johns Hopkings University Press, 1993.
17. Kurt Wallnau. www.sei.emu.edu/pacc (links to CBSE proceedings).