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

         

Ëèòåðàòóðà


  • 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.

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