Тестирование софта - статьи


Литература


[1]http://www.fmnet.info/gc6/
[2]Tony Hoare and Robin Milner, eds. Grand Challenges in Computing. Research.
http://www.ukcrc.org.uk/gcresearch.pdf
[3]ISO 9646. Information Theory - Open System Interconnection - Conformance Testing Methodology and Framework. ISO, Geneve, 1991.
[4]ITU-T. Recommendation Z.500. Framework on formal methods in conformance testing.
International Telecommunications Union, Geneve, Switzerland, 1997.
[5]http://www.linuxbase.org/spec
[6]http://www.unix.org/version3/ieee_std.html
[7]G. Bernot. Testing against Formal Specifications: A Theoretical View. In Proc. of TAPSOFT'91, Vol. 2. S. Abramsky and T. S. E. Maibaum, eds. LNCS 494, pp. 99-119, Springer-Verlag, 1991.
[8]E. Brinksma, R. Alderden, R. Langerak, J. van de Lagemaat, and J. Tretmans. A formal approach to conformance testing. In J. de Meer, L. Mackert, and W. Effelsberg, eds. 2-nd Int. Workshop on Protocol Test Systems, pp. 349-363. North-Holland, 1990.
[9]J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, University of Twente, Enschede, The Netherlands, 1992.
[10]I. Bourdonov, A. Kossatchev, V. Kuliamin, and A. Petrenko. UniTesK Test Suite Architecture. In Proc. ofFME2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002.
[11]V. Kuliamin, A. Petrenko, N. Pakoulin, A. Kossatchev, I. Bourdonov. Integration of Functional and Timed Testing of Real-time and Concurrent Systems. In Proc. of PSI 2003, LNCS 2890, pp. 450-461, Springer-Verlag, 2003.
[12]В. В. Кулямин, А. К. Петренко, А. С. Косачев, И. Б. Бурдонов. Подход UniTesK к разработке тестов. Программирование, 29(6):25-43, 2003.
[13]V. Kuliamin. Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. In Proc. of 1-st International Symposium on Leveraging Applications of Formal Methods, Cyprus, October 2004, pp. 311-316.
[14]V. Kuliamin, A. Petrenko, N. Pakoulin. Practical Approach to Specification and Conformance Testing of Distributed Network Applications. In M. Malek, E. Nett, N. Suri, eds. Service Availability. LNCS 3694, pp. 68-83, Springer-Verlag, 2005.
[15]http://www.linuxtesting.ru
[16]http://www.opengroup.org/bookstore/catalog/c610.htm
[17]http://www.caldera.com/developers/devspecs/
[18]ISO/IEC9899. Programming Languages -С ISO, Geneve, 1999.
[19]J. F. Leathrum and K. A. Liburdy. A Formal Approach to Requirements Based Testing in Open Systems Standards. In Proc. of 2-d International Conference on Requirements Engineering, 1996, pp. 94-100.
[20]http://www.opengroup.org/testing/testsuites/TestSuiteIndex.htm
[21]http://posixtest. sourceforge.net/
[22]http://www.linuxbase.org/download/#test_suites
[23]http://fireestandards.org/
[24]http://www.osdl.org/lab_activities/carrier_grade_linux



Начало  Назад