Àðõèòåêòóðà ñðåäû òåñòèðîâàíèÿ íà îñíîâå ìîäåëåé

         

Next Generation Java Testing: TestNG


Next Generation Java Testing: TestNG and Advanced Concepts. Addison-Wesley Professional, 2007.
  • http://testng.org/.
  • http://www.dbunit.org.
  • http://www.httpunit.org.
  • http://jbehave.org/.
  • http://nspecify.sourceforge.net/.
  • http://mockito.org/.
  • http://easymock.org/.
  • J. Tretmans, E. Brinksma. TorX: Automated Model-Based Testing. Proc. of 1-st European Conference on Model-Driven Software Engineering, Nuremberg, Germany. pp. 31-43, December 2003.
  • http://fmt.cs.utwente.nl/tools/torx/introduction.html.
  • J.-C. Fernandez, C. Jard, T. Jeron, L. Nedelka, C. Viho. Using On-the-Fly Verification Techniques for the Generation of Test Suites. Proc of 8-th International Conference on Computer-Aided Verification, LNCS 1102:348-359, Springer, 1996.
  • http://www.inrialpes.fr/vasy/cadp/man/tgv.html.
  • F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet, M. Utting. Z-TT: A tool-set for test generation from Z and B using constraint logic programming, Proc. of Formal Approaches to Testing of Software, pp. 105-119, Brno, Czech Republic, August 2002.
  • A. Hartman, K. Nagin. TCBeans Software Test Toolkit. Proc. of 12-th International Software Quality Week, May 1999.
  • E. Farchi, A. Hartman, S. S. Pinter. Using a model-based test generator to test for standard conformance. IBM Systems Journal, 41(1):89-110, 2002.
  • http://www.conformiq.com/qtronic.php.
  • http://www.smartesting.com/index.php/cms/en/explore/products.
  • I. Bourdonov, A. Kossatchev, V. Kuliamin, A. Petrenko. UniTesK Test Suite Architecture. Proc. of FME 2002. LNCS 2391:77-88, Springer, 2002.
  • Â. Â. Êóëÿìèí, À. Ê. Ïåòðåíêî, À. Ñ. Êîñà÷åâ, È. Á. Áóðäîíîâ. Ïîäõîä UniTesK ê ðàçðàáîòêå òåñòîâ. Ïðîãðàììèðîâàíèå, 29(6):25-43, 2003.
  • http://www.unitesk.ru.
  • C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann, M. Veanes. Testing Concurrent Object-Oriented Systems with Spec Explorerþ Proc. of Formal Methods Europe, LNCS582:542-547, Springer, 2005.
  • http://research.microsoft.com/en-us/projects/SpecExplorer/.
  • http://www.cs.waikato.ac.nz/~marku/mbt/modeljunit/.
  • J. Jacky, M. Veanes, C. Campbell, W. Schulte.

    Ñîäåðæàíèå  Íàçàä  Âïåðåä