Automated testing of stochastic systems: A statistically grounded approach

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

Volumn 2006, Issue , 2006, Pages 215-224

  Sevcikova, Hana ^a   Borning, Alan ^b   Socha, David ^b   Bleek, Wolf Gideon ^c  

^a UNIVERSITY OF WASHINGTON   (United States)

^b University of Washington   (United States)

^c UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Hypothesis testing; Software engineering; Software testing; Stochastic algorithms; Unit tests

Indexed keywords

ALGORITHMS; SOFTWARE ENGINEERING; STATISTICAL METHODS; STOCHASTIC CONTROL SYSTEMS;

HYPOTHESIS TESTING; RANDOM NUMBER GENERATOR; STOCHASTIC ALGORITHMS; SYSTEM QUALITY; UNIT TESTS;

SOFTWARE TESTING;

EID: 34247369821     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1146238.1146263     Document Type: Conference Paper

References (24)

1. A. Afifi, V. A. Clark, and S. May. Computer-aided Multivariate Analysis. Chapman & Hall, fourth edition, 2004.
2. K. Beck. Extreme programming explained: embrace change. Addison-Wesley, Reading, Mass., 2000.
3. K. Beck. Test-Driven Development - By Example. Addison-Wesley, Reading, Mass., 2003.
4. K. Beck and E. Gamma. Test infected: Programmers love writing tests. http://junit.sourceforge.net/doc/testinfected/testing.htm. last visited 19-jan-2006.
5. M. Ben-Akiva and S. R. Lerman. Discrete Choice Analysis: Theory and Application to Travel Demand. The MIT Press, Cambridge, Massachusetts, 1987.
6. Y.-F. Chen, D. S. Rosenblum, and K.-P. Vo. Testtube: A system for selective regression testing. In ICSE '94: Proceedings of the 16th International Conference on Software Engineering, pages 211-220, Los Alamitos, CA, USA, 1994. IEEE Computer Society Press.
7. M. Fowler and M. Foemmel. Continuous integration. Technical report, ThoughtWorks, http://martinfowler.com/articles/continuousIntegration.html, 2006. last visited 22-jan-2006.
8. B. Freeman-Benson and A. Borning. YP and urban simulation: Applying an agile programming methodology in a politically tempestuous domain. In Proceedings of the 2003 Agile Development Conference, Salt Lake City, Utah, June 2003. Available at http://www.urbansim.org/papers.
9. A. Hunt and D. Thomas. Pragmatic Unit Testing. The Pragmatic Programmers, LLC, 2003.
10. D. Kranzlmueller. Testing nondeterministic message-passing programs with NOPE. In SPOT '98: Proceedings of the SIGMETRICS Symposium on Parallel, and Distributed Tools, page 152, New York, NY, USA, 1998. ACM Press.
11. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE, 84(8):1090-1123, August 1996.
12. J. D. McGregor and D. A. Sykes. A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, 2001.
13. A. Mood, F. A. Graybill, and D. C. Boes. Introduction to the Theory of Statistics. McGraw-Hill, third edition, 1974.
14. L. Nachmanson, M. Veanes, W. Schulte, N. Tillmann, and W. Grieskamp. Optimal strategies for testing nondeterministic systems. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 55-64, New York, NY, USA, 2004. ACM Press.
15. R. E. Noonan and R. H. Prosl. Unit testing frameworks. In SIGCSE '02: Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, pages 232-236, New York, NY, USA, 2002. ACM Press.
16. M. Noth, A. Borning, and P. Waddell. An extensible, modular architecture for simulating urban development, transportation, and environmental impacts. Computers, Environment and Urban Systems, 27(2):181-203, Mar. 2003.
17. H. Ševčíková, A. Raftery, and P. Waddell. Assessing uncertainty in urban simulations using Bayesian melding. Submitted for publication - draft available from http: //www.urbansim.org/papers/ BMinUrbansim.pdf, 2006.
18. D. P. Sidhu and T.-K. Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15(4):413-426, April 1989.
19. I. Sommerville. Software Engineering. Addison-Wesley, Pearson Education Limited, England, sixth edition, 2001.
20. K. E. Train. Discrete Choice Methods with Simulation. Cambridge University Press, 2003.
21. P. Waddell. UrbanSim: Modeling urban development for land use, transportation, and environmental planning. Journal of the American Planning Association, 68(3):297-314, Summer 2002.
22. P. Waddell, A. Borning, M. Noth, N. Freier, M. Becke, and G. Ulfarsson. Microsimulation of urban development and location choices: Design and implementation of UrbanSim. Networks and Spatial Economics, 3(1):43-67, 2003.
23. P. Waddell, H. Ševčíková, D. Socha, E. Miller, and K. Nagel. Opus: An open platform for urban simulation. Presented at the Computers in Urban Planning and Urban Management Conference, London, June 2005. Available from www.urbansim.org/papers.
24. M. Yannakakis. Testing finite state machines. In D. Lee, editor, STOC '91: Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing, pages 476-485, New York, NY, USA, 1991. ACM Press.