Abstract
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to give information about the machine that actually executes them. Today, the need for effective test programs is increasing, and, due to the inexorable increase in the number of transistor that can be integrated onto a single silicon die, devising effective test programs is getting more problematical. This paper presents μGP, an efficient and versatile approach to testprogram generation based on an evolutionary algorithm. The proposed methodology is highly versatile and improves previous approaches, allowing the testprogram generator generating complex assembly programs that include subroutines calls.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bob Bentley, “High Level Validation of Next-Generation Microprocessor”, Proceedings 7th International High-Level Design Validation test Workshop, 2002, pp. 31–35
M. L. Bushnell, V. D. Agrawall, Essentials of Electronic Testing for Digital, Memory & Mixed Signals VLSI Circuits, Kluwer Academic Publishing, 2000
R. M. Friedberg, “A Learning Machine: Part I”, IBM Journal of Research and Development, 1958, vol. 2, n. 1, pp 2–13
J. R. Koza, “Genetic programming”, Encyclopedia of Computer Science and Technology, vol. 39, Marcel-Dekker, 1998, pp. 29–43
J. R. Koza, Genetic Programming, MIT Press, Cambridge, MA, 1992
S. Handley, “On the use of a directed acyclic graph to represent a population of computer programs”, Proceedings of the 1994 IEEE World Congress on Computational Intelligence, 1994, pp 154–159
R. Poli, “Evolution of graph-like programs with parallel distributed genetic programming”, Genetic Algorithms: Proceedings of the 7th International Conference, 1997, pp 346–353
W. Kantschik, W. Banzhaf, “Linear-Graph GP-A new GP Structure”, Proceedings of the 4th European Conference on Genetic Programming, 2002, pp. 83–92
P. Nordin, “A compiling genetic programming system that directly manipulates the machine code,” Advances in Genetic Programming, 1994, pp. 311–331
A. Fukunaga, A. Stechert, D. Mutz, “A genome compiler for high performance genetic programming”, Genetic Programming 1998: Proceedings of the 3rd Annual Conference, 1998, pp. 86–94
S. Klahold, S. Frank, R. E. Keller, W. Banzhaf, “Exploring the possibilites and restrictions of genetic programming in Java bytecode”, Late Breaking Papers at the Genetic Programming 1998 Conference, 1998
E. Lukschandl, M. Holmlund, E. Moden, “Automatic evolution of Java bytecode: First experience with the Java virtual machine,” Late Breaking Papers at EuroGP’98: the First European Workshop on Genetic Programming, 1998, pp. 14–16
F. Corno, G. Cumani, M. Sonza Reorda, G. Squillero, “Efficient Machine-Code Test-Program Induction”, Congress on Evolutionary Computation, 2002, pp. 1486–1491
F. Corno, G. Cumani, M. Sonza Reorda, G. Squillero, “Evolutionary Test Program Induction for Microprocessor Design Verification”, Asian Test Symposium, 2002, pp. 368–373
F. Corno, G. Cumani, M. Sonza Reorda, G. Squillero, “Fully Automatic Test Program Generation for Microprocessor Cores”, to appear in: DATE: IEEE Design, Automation & Test in Europe, March 2003
F. Corno, G. Cumani, M. Sonza Reorda, G. Squillero, “Automatic Test Program Generation for Pipelined Processors,” to appear in: SAC: 18th ACM Symposium on Applied Computing, March 2003
D. A. Patterson and J. L. Hennessy, Computer Architecture-A Quantitative Approach, (second edition), Morgan Kaufmann, 1996
SPARC International, The SPARC Architecture Manual
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corno, F., Squillero, G. (2003). An Enhanced Framework for Microprocessor Test-Program Generation. In: Ryan, C., Soule, T., Keijzer, M., Tsang, E., Poli, R., Costa, E. (eds) Genetic Programming. EuroGP 2003. Lecture Notes in Computer Science, vol 2610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36599-0_28
Download citation
DOI: https://doi.org/10.1007/3-540-36599-0_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00971-9
Online ISBN: 978-3-540-36599-0
eBook Packages: Springer Book Archive