Evolutionary testing: Temporal Testing
This page contains papers on the evolutionary testing of temporal behavior. The test is interpreted as an optimization problem, and employs evolutionary computation to find test data with long or short execution times. For the execution times found it is checked whether or not timing constraints specified are violated.
Tlili, M.; Sthamer, H.; Wappler, S.; Wegener, J.:
Improving Evolutionary Real-Time Testing by Seeding Structural Test Data.
In Proceedings of the Congress on Evolutionary Computation (CEC-2006),
pp. 3227-3233, Vancouver, Canada, July 2006. IEEE Press.-
Tlili, M.; Wappler, S.; Sthamer, H.; Wegener, J.:
Improving Evolutionary Real-Time Testing.
Proceedings of the 8th annual conference on Genetic and evolutionary computation(GECCO 2006),
pp. 1917-1924, July 2006. Also available at
ACM Press, New York(NY), USA.
-
Groß, H.-G.: An Evaluation of Dynamic, Optimisation-based Worst-case
Execution Time Analysis. Proceedings of the International Conference
on Information Technology: Prospects and Challenges in the 21st Century,
Kathmandu, Nepal, May 2003.
-
Groß, H.-G.: A Prediction System for Dynamic Optimisation-Based Execution
Time Analysis. Proceedings of the 1st International Workshop on Software
Engineering using Metaheuristic Innovative Algorithms (SEMINAL 2001),
Toronto, Canada, May 2001.
-
Groß, H.-G.: Measuring Evolutionary Testability of Real-Time Software.
PhD Thesis, University of Glamorgan, Pontyprid, Wales, Great Britain,
June 2000.
Wegener, J.: An Overview on Evolutionary Testing at DaimlerChrysler.
Keynote of the 4th Seminal-Workshop, Pontypridd, Wales, Great Britain,
July 2000.-
Wegener, J.; Pitschinetz, R.; Sthamer, H.: Automated Testing of Real-Time
Tasks. Proceedings of the 1st International Workshop on Automated Program
Analysis, Testing and Verification, Limerick, Ireland, June 2000.
-
Pohlheim, H.; Wegener, J.; Sthamer, H.: Testing the Temporal Behavior of Real-Time Engine Control Software
Modules using Extended Evolutionary Algorithms. Proceedings of the GMA/GI symposia Computational Intelligence
im industriellen Einsatz, Baden-Bade, Germany, May 2000. Published in VDI-Berichte 1526,
pp. 61-65, VDI-Verlag, Düsseldorf.
Poster also available.
-
Groß, H.-G.; Jones, B.; Eyres, D.: Evolutionary Algorithms for the Verification
of Execution Time Bounds for Real-Time Software. IEE Workshop on Applicable
Modeling, Verification and Analysis Techniques, London, Great Britain,
January 1999.
-
Wegener, J.; Pohlheim, H.; Sthamer, H.: Testing the Temporal Behavior
of Real-Time Tasks using Extended Evolutionary Algorithms. Proceedings
of the 7th European Conference on Software Testing, Analysis and Review
(EuroSTAR 1999), Barcelona, Spain, November 1999.
-
Wegener, J.; Sthamer, H.; Pohlheim, H.: Testing the Temporal Behavior
of Real-Time Tasks using Extended Evolutionary Algorithms. Proceedings
of the 20th IEEE Real-Time Systems Symposium, pp. 270-271, Phoenix, USA, December
1999.
-
Pohlheim, H.; Wegener, J.: Testing the Temporal Behavior of Real-Time Software Modules using Extended
Evolutionary Algorithms. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999),
Orlando(FL), USA, July 1999.
Poster also available.
-
Grochtmann, M.; Wegener, J.: Evolutionary Testing of Temporal Correctness.
Proceedings of the 2nd International Software Quality Week Europe (QWE
1998), Brussels, Belgium, November 1998.
-
Mueller, F.; Wegener, J.: A Comparison of Static Analysis and Evolutionary
Testing for the Verification of Timing Constraints. Proceedings of the
4th IEEE Real-Time Technology and Applications Symposium, Denver, USA,
June 1998.
-
O'Sullivan, M.; Vössner, S.; Wegener, J.: Testing Temporal Correctness
of Real-Time Systems - a New Approach using Genetic Algorithms and Cluster
Analysis. Proceedings of the 6th European Conference on Software Testing,
Analysis & Review (EuroSTAR 1998), Munich, Germany, December 1998.
-
Puschner, P. und Nossal, R.: Testing the Results of Static Worst-Case
Execution-Time Analysis. Proceedings of the 19th IEEE Real-Time Systems
Symposium (RTSS '98), pp. 134-143, Madrid, Spain, December 1998. (IEEE'XPlore link)
-
Wegener, J.; Grochtmann, M.: Verifying Timing Constraints of Real-Time
Systems by means of Evolutionary Testing. Real-Time Systems, vol. 15,
no. 3, pp. 275-298, Springer-Verlag, November 1998. (Link to journal page)
-
Wegener, J.; Sthamer, H.; Jones, B.; Eyres, D.: Testing Real-time Systems
using Genetic Algorithms. Software Quality Journal, vol. 6, no. 2, pp. 127-135, Springer-Verlag
, June 1997. (Link to journal page)
-
Wegener, J.; Grochtmann, M.; Jones, B.: Testing Temporal Correctness
of Real-Time Systems by Means of Genetic Algorithms. Proceedings of
the 10th International Software Quality Week (QW '97), San Francisco,
USA, May 1997.
-
Wegener, J.; Grimm, K.; Grochtmann, M.; Sthamer, H.; Jones, B.: Systematic
Testing of Real-Time Systems. Proceedings of the 4th European Conference
on Software Testing, Analysis & Review (EuroSTAR 1996), Amsterdam,
Netherlands, December 1996.
-
Wegener, J.: Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen.
Information Technology, 46. Jahrgang, 2. Heft, Oldenburg Verlag, 2004. (in German)
-
Wegener, J.: Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen.
Shaker-Verlag, August 2001. (in German)
-
Wegener, J.; Grochtmann, M.: Evolutionärer Test von Realzeitsystemen.
Informatik - Forschung und Entwicklung, Springer-Verlag, vol. 15,
no. 3, pp. 151-160, September 2000. (Link to journal page) (in German)