The evolution of complete software systems

作者: Mark S. Withall

DOI:

关键词: Formal specificationSoftware systemBlock (programming)Computer scienceSoftware requirements specificationTheoretical computer scienceSoftware developmentUser interfaceFitness functionGenetic programming

摘要: This thesis tackles a series of problems related to the evolution complete software systems both in terms underlying Genetic Programming system and application that system. A new representation is presented addresses some issues with other Program representations while keeping their advantages. This combines easy reproduction linear with inheritable characteristics tree by using fixed-length blocks of genes representing single program statements. means each block will always map same statement parent child unless it is mutated, irrespective changes surrounding blocks. method is compared variable length gene used other representations with clear improvement similarity between child. Traditionally, fitness functions have either been created as selection of sample inputs known outputs or hand-crafted evaluation functions. A new method creating introduced takes the formal specification desired function its basis. approach ensures complete concise. The functions created from specifications are simple input/output pairs results show specifications perform significantly better. A set list manipulation was evolved an application components. These have the common feature they all need be 100% correct useful. Traditional Programming mainly optimization or approximation problems. good but do highlight the problem scalability more complex lead dramatic increase required time. Finally, graphical user interfaces addressed. representation for based on for programs. In this case represents component user interface. interface determined comparing it series of constraints, which specify layout, style functionality requirements. A web-based desktop-based were evolved. With these approaches Programming, of complete software now realistic goal.

参考文章(53)
Conor Ryan, Michael O'Neill, J. J. Collins, Tony Brabazon, Developing a market timing system using Grammatical Evolution genetic and evolutionary computation conference. pp. 1375- 1381 ,(2001)
David A. Coley, Evolving Green Buildings. GECCO Late Breaking Papers. pp. 62- 68 ,(2002)
Angel R Puerto, Henrik Eriksson, John H Gennari, Mark A Musen, Gilbert Cockton, Stephen Draper, George R. S. Weir, Beyond data models for automated user interface generation HCI '94 Proceedings of the conference on People and computers IX. pp. 353- 366 ,(1994) , 10.1017/CBO9780511600821.027
Peter J. Bentley, Jacqueline R. Dyer, PLANTWORLD: Population Dynamics in Contrasting Environments. GECCO Late Breaking Papers. pp. 122- 129 ,(2002)
Egbert Schlungbaum, Thomas Elwert, Automatic User Interface Generation from Declarative Models. CADUI. pp. 3- 18 ,(1996)
John R. Koza, Hierarchical genetic algorithms operating on populations of computer programs international joint conference on artificial intelligence. pp. 768- 774 ,(1989)
Wolfgang Banzhaf, Robert E. Keller, Genetic programming using genotype-phenotype mapping from linear genomes into linear phenotypes Proceedings of the 1st annual conference on genetic programming. pp. 116- 122 ,(1996)
H. J. Bremermann, On the Dynamics and Trajectories of Evolution Processes Springer, Berlin, Heidelberg. pp. 29- 37 ,(1973) , 10.1007/978-3-642-95235-7_5