Testing Temporal Behavior
This page hosts research papers on evolutionary testing of temporal behavior. In this approach, testing is treated as an optimization problem, utilizing evolutionary computation techniques to discover test data with varying execution times – both long and short. The ultimate goal is to verify whether the specified timing constraints are met or violated.
| Reference | Source |
| Tlili, M.; Sthamer, H.; Wappler, S.; Wegener, J.: Improving Evolutionary Real-Time Testing by Seeding Structural Test Data. Proceedings of the IEEE International Conference on Evolutionary Computation (CEC 2006), Vancouver, BC, Canada, July 2006, pp. 3227-3233. | CEC_2006 |
| 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), Seattle, Washington, USA, July 2006, pp. 1917-1924. | GECCO_2006 |
| Wegener, J.: Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen (Evolutionary Testing of the Temporal Behaviour of Real-Time Systems). it – Information Technology, vol. 46, no. 2, 2004, Oldenburg Verlag, pp. 101-102. | Information Technology Journal |
| 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. | ITPC 2003 |
| Sthamer, H.; Wegener, J.; Baresel, A: Using Evolutionary Testing to improve Efficiency and Quality in Software Testing. Proceedings of the Asian Conference on Software Testing, Analysis and Review (AsiaSTAR 2002), Melbourne, Australia, December 2002. | AsiaSTAR_2002 |
| Wegener, J.; Mueller, F.: A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints. Real-Time Systems, vol. 21, no. 3, November 2001, Springer-Verlag, pp. 241 – 268. | Real-Time Systems Journal |
| Groß, H.-G.: A prediction system for evolutionary testability applied to dynamic execution time analysis. Information and Software Technology, vol. 43, no. 14, 2001, pp. 855 – 862 (). | Journal of Information and Software Technology |
| 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. | Seminal_2001 |
| Wegener, J.; Grochtmann, M.: Evolutionärer Test von Realzeitsystemen. Informatik – Forschung und Entwicklung, vol. 15, no. 3, September 2000, Springer-Verlag, pp. 151-160. | Informatik Forschung und Entwicklung |
| 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. | ICSE 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-Baden, Germany, May 2000. Published in VDI-Berichte 1526, pp. 61-65, VDI-Verlag, Düsseldorf. | Paper: CI2000_paper Poster: CI2000_poster |
| 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 (RTSS ’99), Phoenix, AZ, USA, December 1999, pp. 270-271. | RTSS 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 (). | EuroSTAR 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. | Paper: GECCO1999_paper Poster: GECCO1999_poster |
| 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. | IEE 1999 |
| 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. | EuroSTAR 1998 |
| Puschner, P.; Nossal, R.: Testing the Results of Static Worst-Case Execution-Time Analysis. Proceedings of the 19th IEEE Real-Time Systems Symposium (RTSS ’98), Madrid, Spain, December 1998, pp. 134-143. | RTSS 1998 |
| Grochtmann, M.; Wegener, J.: Evolutionary Testing of Temporal Correctness. Proceedings of the 2nd International Software Quality Week Europe (QWE 1998), Brussels, Belgium, November 1998. | QWE 1998 |
| Wegener, J.; Grochtmann, M.: Verifying Timing Constraints of Real-Time Systems by means of Evolutionary Testing. Real-Time Systems, vol. 15, no. 3, November 1998, Springer-Verlag, pp. 275-298. | Real-Time Systems Journal |
| 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 RTAS ’98), Denver, CO, USA, June 1998, pp. 144-154 (). | RTAS_1998 |
| Wegener, J.; Sthamer, H.; Jones, B.; Eyres, D.: Testing Real-time Systems using Genetic Algorithms. Software Quality Journal, vol. 6, no. 2, June 1997, Springer-Verlag, pp. 127-135 (). | Software Quality Journal |
| 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. | QW 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. | EuroSTAR_1996 |
Dissertations, Diploma and Master Theses related to Evolutionary Temporal Behavior Testing
| Reference | Source |
| Wegener, J.: Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen. Shaker-Verlag, August 2001. | PhD_Thesis |
| Groß, H.-G.: Measuring Evolutionary Testability of Real-Time Software. PhD Thesis, University of Glamorgan, Pontyprid, Wales, Great Britain, June 2000. | PhD_Thesis |