Abstract. In this paper we describe a specification-based approach to automated generation of both positive and negative test sets for parsers. We propose coverage criteria definitions for such test sets and algorithms for generation of the test sets with respect to proposed coverage criteria. We also present practical results of the technique application to testing syntax analyzers of several languages including C and Java.

Currently, the technological and hardware base additive production technologies are actively developing. The emergence of new developments in the field of materials science and their possibilities for the creation of products using layer-by-layer method promotes the development of innovative solutions that increase the efficiency of complex technical parts and improves their quality. This paper describes simulation methods based on the Model Voxel Representation part discretization allowing evaluating thermal processes during 3D printing process. The simulation model was extended taking into consideration the following criteria: heat conduction coefficient as a constant; temperature in the center of the elementary volume equals to the temperature at the volume border; temperature of the powder surrounding the item taken as a constant. It was determined that the convergence is affected by numerous factors: temperature in the machine chamber, material properties, heat exchange and the processes running into the chamber of the certain machines.

No abstract

A methodology for automatic positive and negative test set generation for testing parsers is described. Coverage criteria for such test sets based on the model approach to testing are proposed. Methods for the generation of test sets satisfying these criteria are discussed. Results of the application of the proposed methodology for testing parsers for various languages including C and Java are presented.

No abstract