Testing symbol

Preprocessor presents about Preprocessing; Preprocessor directives; Basic syntax; Creating symbols; Compiler option; Symbol states; Removing symbols; Testing symbol; Preprocessing expression; Controlling line number and file name; Diagnostic directives;...

0p cocacola_08 21-11-2015 35 1   Download

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 20 5   Download

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 43 4   Download

Môtô – Qui trình thử và phân tích để đánh giá các thiết bị bảo vệ người lái xe được lắp trên xe - Phần 1: Định nghĩa, Ký hiệu và yêu cầu chung Motorcycles – Test and analysis procedures for research evaluation of rider crash protective devices fitted to motorcycles – Part 1: Definition, symbols and general considerations

7p thaonhi 18-06-2009 150 16   Download