Методы верификации программного обеспечения

Coloured Petri Nets. Proc. of TACAS’1997, LNCS 1217:209-223, Springer, 1997. 
[183] 
http://www.uppaal.com/
. 
[184] 
http://www-verimag.imag.fr/TEMPORISE/kronos/
. 
[185] 
http://bogor.projects.cis.ksu.edu/
. 
[186] 
http://embedded.eecs.berkeley.edu/research/hytech/
. 
[187] 
http://www.veritable.com/verity-check.html
. 
[188] 
http://en.wikipedia.org/wiki/List_of_performance_analysis_tools
. 
[189] М. А. Посыпкин, А. А. Соколов. Обзор методов автоматизации мониторинга, 
анализа и визуализации поведения параллельных процессов, взаимодействующих с 
помощью передачи сообщений. Препринт ИСП РАН 7, М.: ИСП РАН, 2005. 
[190] 
http://www.monitortools.com/security/
. 
[191] 
http://www.windowsecurity.com/software/Network-Auditing/
. 
[192] 
http://www.gnu.org/software/binutils/
. 
[193] 
http://gcc.gnu.org/
. 
[194] 
http://msdn.microsoft.com/en-us/library/z9z62c29(VS.80).aspx
. 
[195] 
http://valgrind.org/
. 
[196] N. Nethercote, J. Seward. Valgrind: a framework for heavyweight dynamic binary 
instrumentation. Proc. of 2007 PLDI conference, ACM SIGPLAN Notices, 42(6):89-
100, June 2007. 
[197] 
http://www-306.ibm.com/software/awdtools/purifyplus/
. 
[198] 
http://www.intel.com/cd/software/products/asmo-na/eng/239144.htm
. 

---

110 
[199] ISO/IEC TR 19759 Software Engineering — Guide to the Software Engineering Body of 
Knowledge (SWEBOK). Geneva, Switzerland: ISO, 2005. 
[200] H. Zhu, P. A. V. Hall, J. H. R. May. Software Unit Test Coverage and Adequacy. ACM 
Computing Surveys, 29(4):366-427, Dec. 1997. 
[201] B. Beizer. Software Testing Techniques. International Thomson Press, 1990. 
[202] A. P. Mathur. Foundations of Software Testing. Copymat Services, 2006. 
[203] G. Vijayaraghavan, C. Kaner. Bug Taxonomies: Use Them to Generate Better Tests. 
STAREAST, 2003. 
http://www.stickyminds.com/sitewide.asp?Function=edetail&ObjectType=ART&Object
Id=6982
. 
[204] R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Transactions on 
Software Engineering, 3(4):279–290, July 1977. 
[205] J. Offutt, J. Voas, J. Payne. Mutation Operators for Ada. Technical Report ISSE-TR-96-
09, Information and Software Systems Engineering, George Mason University, 
October 1996. 
[206] Y.-S. Ma, Y.-R. Kwon, J. Offutt. Inter-Class Mutation Operators for Java. Proc. of 13-
th International Symposium on Software Reliability Engineering, pp. 352-363, 
November 2002. 
[207] A. S. Namin, J. H. Andrews, D. J. Murdoch. Sufficient mutation operators for 
measuring test effectiveness. Proc. of 30-th International Conference on Software 
Engineering, pp. 351-360, 2008. 
[208] D. Hamlet. Random Testing. In J. Marciniak, ed. Encyclopedia of Software Engineering, 
pp. 970-978, Wiley, 1994. 
[209] А. А. Марков. Исследование замечательного случая зависимых испытаний. 
Известия Императорской Академии наук, серия VI, 1(3), 1907. 
[210] J. G. Kemeny, J. L. Snell. Finite Markov Chains. Springer-Verlag, 1976.
Русский перевод: Дж. Кемени, Дж. Снелл. Конечные цепи Маркова. М.: Наука, 
1970. 
[211] T. J. Ostrand, M. J. Balcer. The Category-Partition Method for Specifying and 
Generating Functional Tests. Communications of the ACM, 31(3):676-686, June 1988. 
[212] В. В. Липаев. Тестирование программ. М: Радио и связь, 1986. 

---

111 
[213] G. J. Myers. The Art of Software Testing. John Wiley & Sons, 1979. 
Русский перевод: Майерс Г. Искусство тестирования программ. М.: Финансы и 
статистика, 1982. 
[214] M. Grindal, J. Offutt, S. Andler. Combination Testing Strategies: A Survey. Software 
Testing, Verification & Reliability, 15(3):167-199, 2005. 
[215] J. Ryser, M. Glinz. A Scenario-Based Approach to Validating and Testing Software