On the generation of a security oriented verification test set for embedded systems. Nowadays, the constant increasing of the design, development and integration for the circuits have become them a fundamental piece of the day to day, we found it inside simple systems as a building entrance to authenticate the people how arrive, or in more complex systems like cars, airplanes and other means of transport. All this new circuits are placed to develop a specific task aim to improve the well-being of the users and creating a more intuitive environment for the final users. Thanks to the integration and constant interaction between systems and users, now they are capable to provide users with the expected behavior for each task and avoiding being harmful in any unexpected malfunctioning, i.e, a reliable system that performs correctly at certain time.