Proceedings of the Institute for System Programming. Volume 18, 2010, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
V.P. Ivannikov. Introduction. pp. 5-8.
Victor V. Kuliamin. Model Based Testing Framework Using Component Technologies. pp. 9-44.
S. Groshev. Technology of heterogeneous logging, analysis and report generation. pp. 45-66.
Evgeni Kornykhin. Mirror-based method of constraints generation for test programs generation by test template. pp. 67-80.
Pavel Dovgalyuk, Maria Klimushenkova, Anna Mukhina. Development of plug-ins for architectures support in TrEx using language for processors instructions specification. pp. 81-90.
D.N. Vorobyev, A.S. Kamkin. Test Program Generation for Microprocessors Based on Pipeline Hazards Templates. pp. 91-114.
M.M. Chupilko. Formal specifications-based automation of system testing of hardware designs. pp. 115-128.
A.S. Kamkin. Some issues of automation of test program generation for branch units of microprocessors. pp. 129-150.
A. Nikeshin, N. Pakulin, V. Shnitman. Conformance test suite for implementations of the security protocol suite IPsec v2. pp. 151-182.
Igor Burdonov, Alexander Kosachev. Conformance testing based on a state relation. pp. 183-220.
Pavel Iakovenko. Transparent mechanism for remote system call execution. pp. 221-242.
D.A. Grushin, A.I. Pospelov. Grid modeling environment: implementation and application. pp. 243-260.