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

Ëèòåðàòóðà


  • C. Szyperski. Component Software: Beyond Object-Oriented Programming. 2-nd ed. Addison-Wesley Professional, Boston, 2002.
  • G. T. Heineman, W. T. Councill. Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Professional, 2001.
  • D. Parnas. Information Distribution Aspects of Design Methodology. Proc. of 1971 IFIP Congress, North Holland, 1971.
  • G. Tassey, ed. The Economic Impacts of Inadequate Infrastructure for Software Testing. NIST Report, 2002.
  • P. Hamill. Unit Test Frameworks. Tools for High-Quality Software Development. O’Reilly Media, 2004.
  • http://www.junit.org.
  • M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (Eds.) Model-Based Testing of Reactive Systems. Advanced Lectures. LNCS 3472, Springer-Verlag, 2005.
  • M. Utting, B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2007.
  • D. Peters, D. Parnas. Using Test Oracles Generated from Program Documentation. IEEE Trans. on Software Engineering, 24(3):161–173, 1998.
  • D. Hoffman. Analysis of a Taxonomy for Test Oracles. Quality Week, 1998.
  • L. Baresi, M. Young. Test Oracles. Tech. Report CIS-TR-01-02. http://www.cs.uoregon.edu/~michal/pubs/oracles.html.
  • D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
  • D. Drusinsky. Modeling and verification using UML statecharts. Elsevier, 2006
  • R. Alur, D. L. Dill. A Theory of Timed Automata. Journal of Theoretical Computer Science, 126(2):183-235, 1994.
  • J. Springintveld, F. Vaandrager, P. R. D'Argenio. Testing Timed Automata. Theoretical Computer Science, 254(1-2):225-257, March 2001.
  • H. Zhu, P. Hall, J. May. Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29(4):366-427, December 1997.
  • Â. Â. Êóëÿìèí, Í. Â. Ïàêóëèí, Î. Ë. Ïåòðåíêî, À. À. Ñîðòîâ, À. Â. Õîðîøèëîâ. Ôîðìàëèçàöèÿ òðåáîâàíèé íà ïðàêòèêå. Ïðåïðèíò 13, ÈÑÏ ÐÀÍ, Ìîñêâà, 2006.
  • K. Beck. Kent Beck's Guide to Better Smalltalk: A Sorted Collection. Cambridge University Press, 1998.
  • http://sunit.sourceforge.net/.
  • C. Beust, H. Suleiman.
    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.


    Model- based Software Testing and Analysis with C#. Cambridge University Press, 2007.
  • http://nmodel.codeplex.com/.
  • http://mbt.tigris.org/.
  • M. Barnett, M. Fahndrich, P. de Halleux, F. Logozzo, N. Tillmann. Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract. Proc. of ICSE 2009, Vancouver, Canada, May 2009.
  • http://research.microsoft.com/en-us/projects/contracts/.
  • C. Kaner, J. Bach, B. Pettichord. Lessons Learned in Software Testing. John Wiley & Sons, 2002.
  • Â. Â. Êóëÿìèí. Èíòåãðàöèÿ ìåòîäîâ âåðèôèêàöèè ïðîãðàììíûõ ñèñòåì. Ïðîãðàììèðîâàíèå, 35(4):41-55, 2009.
  • V. Kuliamin, A. Petrenko, N. Pakoulin. Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Proc. of ISAS'2005, Berlin, Germany. M. Malek, E. Nett, N. Suri , eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.
  • A. Grinevich, A. Khoroshilov, V. Kuliamin, D. Markovtsev, A. Petrenko, V. Rubanov. Formal Methods in Industrial Software Standards Enforcement. Proc. of PSI'2006, Novosibirsk, Russia, 2006.
  • M. Fowler. Inversion of Control Containers and the Dependency Injection Pattern. 2004. http://www.martinfowler.com/articles/injection.html.
  • R. Johnson, J. Hoeller, A. Arendsen, T. Risberg, C. Sampaleanu. Professional Java Development with the Spring Framework. Wrox, 2005.
  • http://www.springsource.org.


    Ñîäåðæàíèå ðàçäåëà