The project is in the semiconductor testing software field.In the semiconductors testing process, nowadays most of the test programs are implemented manually combining vector sequences generated by automated tools (ATPG, automated test pattern generator). This implementation embeds the possibility of human errors, which can cause yield loss (“over-testing”), or quality (test escape, “under-testing ...