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

Systems Using Statecharts. Proc. of 12-th International Conference on Software and 
Systems Engineering and Their Applications (ICSSEA '99), 1999. 
[216] J. Bach. Exploratory Testing Explained. 2002. 
http://www.satisfice.com/articles/et-article.pdf
. 
[217] R. P. Pargas, M. J. Harrold, R. Peck. Test-data Generation Using Genetic Algorithms. 
Software Testing, Verification & Reliability, 9(4):263–282, 1999. 
[218] L. Baresi, M. Young. Test oracles. Technical Report CIS-TR-01-02, University of 
Oregon, Department of Computer and Information Science, Eugene, Oregon, 2001. 
[219] 
http://www.aptest.com/resources.html#mngt
. 
[220] 
http://www-306.ibm.com/software/awdtools/test/manager/
. 
[221] 
https://h10078.www1.hp.com/cda/hpms/display/main/hpms_content.jsp?zn=bto&cp=1-
11-127-24^1131_4000_100__
. 
[222] 
http://www.testingfaqs.org/t-eval.html
. 
[223] 
http://en.wikipedia.org/wiki/List_of_unit_testing_frameworks
. 
[224] P. Hamill. Unit Test Frameworks. O’Reilly, 2004. 
[225] 
http://tetworks.opengroup.org/Products/tetware.htm
. 
[226] 
http://www.pairwise.org/tools.asp
. 
[227] C. J. Colbourn. Combinatorial aspects of covering arrays. Le Matematiche (Catania), 
58:121–167, 2004. 
[228] A. Hartman, L. Raskin. Problems and algorithms for covering arrays. Discrete Math., 
284(1-3):149–156, Jul. 2004. 
[229] 
http://www.aptest.com/resources.html#app-data
.  
[230] 
http://www.sqlmanager.net/products
. 
[231] 
http://www.sqledit.com/dg/
. 
[232] 
http://www.forsql.com/
. 

---

112 
[233] D. Barbosa, A. Mendelzon. Declarative generation of synthetic XML data. Software: 
Practice & Experience, 36(10):1051-1079, August 2006. 
[234] R. Lämmel, W. Schulte. Controllable combinatorial coverage in grammar-based 
testing. Proc. of TESTCOM 2006, LNCS 3964:19-38, Springer, 2006. 
[235] 
http://www.alphaworks.ibm.com/tech/xmlgenerator
. 
[236] 
http://xml-xig.sourceforge.net/
. 
[237] 
http://iwm.uni-koblenz.de/datagen/
. 
[238] P. Purdom. A sentence generator for testing parsers. BIT, 12(3):366–375, 1972.
[239] 
http://www.mmsindia.com/JSynTest.html
. 
[240] С.В. Зеленов, С.А. Зеленова. Генерация позитивных и негативных тестов 
парсеров. Программирование, 31(6):25–40, 2005. 
[241] С. В. Зеленов, С. А. Зеленова, А. С. Косачев, А. К. Петренко. Генерация тестов 
для компиляторов и других текстовых процессоров. Программирование, 29(2):59–
69, 2003. 
[242] А. В. Демаков, С. В. Зеленов, С. А. Зеленова. Генерация тестовых данных 
сложной структуры с учетом контекстных ограничений. Труды ИСП РАН, 9:83–
96, 2006. 
[243] 
http://www.testingfaqs.org/t-gui.html
. 
[244] 
http://www.softwareqatest.com/qatweb1.html#FUNC
. 
[245] 
http://www-306.ibm.com/software/awdtools/tester/robot/index.html
. 
[246] 
https://h10078.www1.hp.com/cda/hpms/display/main/hpms_content.jsp?zn=bto&cp=1-
11-127-24^1352_4000_100__
. 
[247] 
http://www.empirix.com/products-services/w-testing-etest.asp
. 
[248] 
http://www.aptest.com/resources.html#comm
. 
[249] E. F. Moore. Gedanken-experiments on Sequential Machines. Automata Studies, Annals 
of Mathematical Studies, 34:129–153. N.J.: Princeton University Press, 1956. 
Русский 
перевод: 
Э. Ф. Мур 
Умозрительные 
эксперименты 
с