The paper deals with automatic software-based test generation for processors. Processors are basic blocks of current complex systems on chip and embedded systems. Processors testing can be extended by functional tests or using various application programs. Such types of tests are serving as additional tests to structural testing or as tests used in verification. Functional tests (programs) are generated over an instruction set architecture and processor model description. A metric for quality evaluation of the software-based tests is obviously provided by code coverage of a processor model. A new functional test generation method is based on VHDL model of processors and genetic algorithms with using various evolutionary strategies. The contribution to the SBST methods based on GAs using the latest defined ES was identified. Functionality and effectiveness of the developed methods were evaluated in the implemented system AGenMIX over two types of RISC processor.
展开▼
