архив
Использование формальных методов для обеспечения соблюдения программных стандартов
А. И. Гриневич, В. В. Кулямин, Д. А. Марковцев, А. К. Петренко,
В. В. Рубанов, А. В. Хорошилов
Труды Института системного программирования РАН
2006-11-14
Литература
| 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 |