參考文獻 |
[1] K. Beck, Test-Driven Development: By Example. The Addison-Wesley Signature Series, Addison-Wesley, 2003.
[2] K. Beck, JUnit – pocket guide: quick lookup and advice, O’Reilly, 2004.
[3] S. Fraser, D. Astels, K. Beck, B. W. Boehm, J. D. Mc-Gregor, J. Newkirk, and C. Poole, “Discipline and practices of TDD: (test driven development),” in OOPSLA Companion (R. Crocker and G. L. S. Jr., eds.), pp. 268–270, ACM, 2003.
[4] G. Meszaros, xUnit Test Patterns: Refactoring Test Code. Pearson Education, 2007.
[5] G. Misko Hevery, “Tutorial: How to write hard to test code and what to look for when reviewing other people’s hard to test code,” in OOPSLA Companion (S. Arora and G. T. Leavens, eds.), ACM, 2009.
[6] R. Osherove, The Art of Unit Testing: With Examples in .Net. Manning Pubs Co Series, Manning, 2009
[7] D. J. Richardson, S. L. Aha, and T. O. O’Malley, “Specification-based test oracles for reactive systems,” in ICSE (T. Montgomery, L. A. Clarke, and C. Ghezzi, eds.), pp. 105–118, ACM Press, 1992.
[8] D. Peters and D. L. Parnas, “Generating a test oracle from program documentation: work in progress,” in Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, ISSTA ’94, (New York, NY, USA), pp. 58–65, ACM, 1994
[9] Y.-P. Cheng, H.-Y. Tsai, C.-S. Wang, and C.-H. Hsueh, “xDIVA: automatic animation between debugging break points,” in SOFTVIS (A. Telea, C. G¨org, and S. P. Reiss, eds.), pp. 221–222, ACM, 2010.
[10] Y.-P. Cheng, J.-F. Chen, M.-C. Chiu, N.-W. Lai, and C.-C. Tseng, “xDIVA: a debugging visualization system with composable visualization metaphors,” in OOPSLA Companion (G. E. Harris, ed.), pp. 807–810, ACM, 2008.
[11] E. Horowitz, S. Sahni, and S. Anderson-Freed, Fundamentals of Data Structures in C. Silicon Press, 2007.
[12] Y. Cheon and G. T. Leavens, “A simple and practical approach to unit testing: The JML and JUnit way,” in ECOOP (B. Magnusson, ed.), vol. 2374 of Lecture Notes in Computer Science, pp. 231–255, Springer, 2002.
[13] Y. Cheon, M. Kim, and A. Perumandla, “A complete automation of unit testing for java programs,” in Software Engineering Research and Practice (H. R. Arabnia and H. Reza, eds.), pp. 290–295, CSREA Press, 2005.
[14] T. Xie and D. Notkin, “Tool-assisted unit-test generation and selection based on operational abstractions,” Autom. Softw. Eng., vol. 13, no. 3, pp. 345–371, 2006.
[15] S. Thummalapenta, M. R. Marri, T. Xie, N. Tillmann, and J. de Halleux, “Retrofitting unit tests for parameterized unit testing,” in FASE (D. Giannakopoulou and F. Orejas, eds.), vol. 6603 of Lecture Notes in Computer Science, pp. 294–309, Springer, 2011.
[16] N. Tillmann and J. de Halleux, “Pex-white box test generation for .net,” in TAP (B. Beckert and R. H¨ahnle, eds.), vol. 4966 of Lecture Notes in Computer Science, pp. 134–153, Springer, 2008.
[17] J. Steven, P. Chandra, B. Fleck, A. Podgurski, and A. Podgurski, “jRapture: A capture/replay tool for observation based testing.” in ISSTA, pp. 158–167, 2000.
[18] S. G. Elbaum, H. N. Chin, M. B. Dwyer, and M. Jorde, “Carving and replaying differential unit test cases from system test cases,” IEEE Trans. Software Eng., vol. 35, no. 1, pp. 29–45, 2009.
[19] D. F. Redmiles, T. Ellman, and A. Zisman, eds., 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, ACM, 2005.
[20] A. Orso and B. Kennedy, “Selective capture and replay of program executions,” ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, pp. 1–7, 2005.
[21] “Notes on the Eclipse Plug-in Architecture” Retrieved 6 14, 2012, from Eclipse.org: http://www.eclipse.org/articles/Article-Plug-in-architecture/plugin_architecture.html
[22] Retrieved 12 27, 2010, from WinRunner: http://www.loadtest.com.au/Technology/winrunner.htm
[23] Rational Tester. (2010, 12 27). Retrieved 12 27, 2010, from http://www-01.ibm.com/software/awdtools/tester/functional/
[24] Squish. (2010). Retrieved 12 28, 2010, from froglogic - Squish: http://www.froglogic.com/products/index.php
[25] Test Complete. (2010). Retrieved 12 28, 2010, from Test Complete version8: http://www.automatedqa.com/products/testcomplete/
[26] Graphviz. (2012). Retrieved 5 1, 2012, from Graphviz.org: http://www.graphviz.org/
[27] M. Feathers, Working Effectively with Legacy Code, Prentice Hall PTR, 2004.
[28] Unit Testing Tools by Typemock. (2012). Retrieved 6 20, 2012, from Typemock Isolator: http://www.typemock.com/typemock-isolator-product3
[29] A developer testing toolkit for Java. (2012). Retrieved 6 20, 2012, from JMockit: http://code.google.com/p/jmockit/
[30] Supported mscorlib types. (2012). Retrieved 6 21, 2012, from Typemock Isolator: http://www.typemock.com/mscorlib-types
[31] Examples of Test Oracles. (2012). Retrieved 6 23, 2012, from Center for Software Testing Education & Research: http://www.testingeducation.org/k04/OracleExamples.htm
[32] Platform Debug Model. (2012). Retrieved 6 24, 2012, from Eclipse Documentation: http://help.eclipse.org/galileo/index.jsp?topic=/org.eclipse.platform.doc.isv/guide/debug_model.htm
[33] DebugEvent. (2012). Retrieved 6 25, 2012, from Eclipse Platform API Specification: http://help.eclipse.org/indigo/topic/org.eclipse.platform.doc.isv/reference/api/org/eclipse/debug/core/DebugEvent.html
|