| 1.обратно | http://www.fmnet.info/gc6/ |
| 2.обратно | Tony Hoare and Robin Milner, eds. Grand Challenges in Computing. Research. |
| 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. of FME 2002. LNCS 2391, pp. 77-88, Springer-Verlag, 2002. |
| 11.обратно | V. Kuliamin, A. Petrenko, N. Pakoulin, A. Kossatchev, and 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, and 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/IEC 9899. Programming Languages - C. ISO, Geneve, 1999. |
| 19.обратно | ftp://ftp.gnu.org/gnu/glibc |
| 20.обратно | http://ltp.sourceforge.net |
| 21.обратно | http://www.linuxbase.org/download/#test_suites |
| 22.обратно | 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. |
| 23.обратно | E. Farchi, A. Hartman, and S. S. Pinter. Using a model-based test generator to test for standard conformance. IBM Systems Journal, 41:89-110, 2002. |
| 24.обратно | http://www.opengroup.org/testing/testsuites/TestSuiteIndex.htm |
| 25.обратно | http://posixtest.sourceforge.net/ |
| 26.обратно | http://www.osdl.org/lab_activities/carrier_grade_linux |
