Programming language research

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 18 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 41 4   Download

The Finite element method is one of strong numerical methods that applied in technology problem widely and it is the essence of famous finite element program for example: SAP, ANSYS,… MATLAB is a very strong matrix analysis language and it is interested to apply for solving professional problem by researchers, engineers. This thesis research to apply CALFEM tool to set up finite element program on MATLAB determining the force adjustment of stayed-cable bridge.

7p meoden89nd 20-01-2011 256 71   Download