Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing
作者： Joachim Wegener , Matthias Grochtmann
关键词:
摘要: … In order to verify the temporal behavior of real-time systems, previous scientific work has, to … the new fastest path found by the evolutionary testing was verified by analysing the control …
springer.com
acm.org
proquest.com
sci-hub.se 参考文章(33)
Glenford J. Myers, Art of Software Testing John Wiley & Sons, Inc.. ,(1979)
Gilford F. Martino, Edward B. Boden, Testing software using order-based genetic algorithms genetic and evolutionary computation conference. pp. 461- 466 ,(1996)
Peter P. Puschner, Alexander Vrchoticky, Problems in Static Worst-Case Execution Time Analysis. MMB (Kurzbeiträge). pp. 18- 25 ,(1997)
Insup Lee, Duncan Everett Clarke, Testing real-time constraints University of Pennsylvania. ,(1996)
JOACHIM WEGENER, HARMEN STHAMER, BRYAN F. JONES, DAVID E. EYRES, Testing real-time systems using genetic algorithms Software Quality Journal. ,vol. 6, pp. 127- 135 ,(1997) , 10.1023/A:1018551716639
M. Roper, Computer aided software testing using genetic algorithms 10th International Quality Week. ,(1997)
M. A. Hennell, D. Hedley, I. J. Riddell, Automated Testing Techniques for Real-Time Embedded Software european software engineering conference. pp. 244- 253 ,(1987) , 10.1007/BFB0022117
W. Schutz, The Testability of Distributed Real-Time Systems ,(2013)
L. Darrell Whitley, The GENITOR Algorithm and Selection Pressure: Why Rank-Based Allocation of Reproductive Trials is Best international conference on genetic algorithms. pp. 116- 123 ,(1989)
Dino Mandrioli, Sandro Morasca, Angelo Morzenti, Functional Test Case Generation for Real-Time Systems Dependable Computing for Critical Applications 3. pp. 29- 61 ,(1993) , 10.1007/978-3-7091-4009-3_2