The Automatic Generation Of Software Test Data Sets Using Adaptive Search Techniques

摘要: Test sets which cover all branches of a library five procedures solve the triangle problem, have been produced automatically using genetic algorithms. The tests are derived from both structure software and its formal specification in Z. In wider context, more complex such as binary search generic quicksort also tested software. value algorithms lies their ability to handle input data may be structure, execute whose predicate complicated unknown function data. A disadvantage computational effort required reach solution.