Structural performance measure of evolutionary testing applied to worst-case timing of real-time systems

IEE Proceedings: Software

Volumn 147, Issue 2, 2000, Pages 25-30

  Gross, H G ^a   Jones, B F ^a   Eyres, D E ^a  

^a UNIVERSITY OF GLAMORGAN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

EVOLUTIONARY TESTING; WORST-CASE TIMING SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0034171492     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20000525     Document Type: Article

References (27)

1. STOREY, N.: 'Safety-critical computer systems' (Addison-Wesley, Harlow, England, 1996)
2. SOMERVILLE, I.: 'Software engineering' (Addison-Wesley, Harlow, 1995, 5th edn.)
3. PRESSMAN, R.S.: 'Software engineering' (McGraw-Hill, New York, 1997, 4th edn.)
4. WEGENER, J., and GROCHTMANN, M.: 'Verifying timing constraints of real-time systems by means of evolutionary testing', Real-Time Syst., 1998, 3, (15), pp. 275-298
5. GOLDBERG, D.E.: 'Genetic algorithms in search, optimization and machine learning' (Addison-Wesley, Readine, MA, 1989)
6. SCHWEFEL, H.P., and MÄNNER, R.: 'Parallel problem solving from nature' (Springer, Berlin, 1990)
7. JONES, B.F., STHAMER, H.H., and EYRES, D.E.: 'Automatic structural testing using genetic algorithms', Soft. Eng. J., 1996, 299-306
8. STHAMER, H.H.: 'The automatic generation of software test data'. PhD thesis, University of Glamorgan, Department of Electronics and Information Technoloay, 1995
9. BEIZER, B.: 'Software testing techniques' (Van Nostrand Reinhold, 1990)
10. PUSCHNER, P., and KOZA, C.: 'Calculating the maximum execution time of real-time programs', Real-Time Syst., 1989, 1, pp. 159-176
11. MÜLLER, F., and WEGENER, J.: 'A comparison of static analysis and evolutionary testing for the verification of timing constraints', in Fourth IEEE Real-Time Technology and Applications Symposium, June 1998, Denver, Colorado
12. TRACEY, N., CLARK, J., and MANDER, K.: The way forward in unifying dynamic test case generation: the optimisation-based approach'. Proceedings of the IFIP'98 International Workshop on Dependable Computing and its Applications, Jan 1998, South Africa
13. GROSS, H.G., JONES, B.E., and EYRES, D.E.: 'Evolutionary algorithms for the verification of execution time bounds for real-time software'. IEE Workshop on Applicable modelling, verification and analysis techniques, November 1999, London
14. O'SULLIVAN, M., VÖSSNER, S., and WEGENER, J.: 'Testing temporal correctness of real-time systems - a new approach using genetic algorithms and cluster analysis'. 6th International European Conference on Software Testing, Analysis and Review, 1998, München
15. ZUSE, H.: 'Software complexity' (Walter de Gruyter, New York, 1991)
16. KUHLMANN, K.: 'Complexity, coupling and binding in object-orientated software development'. 5. GI Workshop Software Metrics, 1995, Berlin, Technische Universität, Berlin
17. FENTON, N.E., and PFLEEGER, S.L.: 'Software metrics - A rigorous & practical approach' (Thomson Computer Press, London, 1996)
18. HALSTEAD, M.H.: 'Elements of software science' (Elsevier, New York, 1977)
19. MCCABE, T.: 'A complexity measure', IEEE Trans. Soft. Eng., 1976, SE-1, (3), pp. 313-327
20. MYERS, G.L.: 'An extension of the cyclomatic measure of program complexity', Sigplan Not., 1977, 12, (10), pp. 61-64
21. HARRISON, W., and MAGEL, K.: 'A complexity measure based on nesting level', Sigplan Not., 1981, 16, (3), pp. 63-74
22. BELADY, L.A., and EVANGELISTI, C.J.: 'A graph representation of structured programs', IBM Syst., 1980, 19, (4), pp. 542-553
23. BELADY, L.A., and EVANGELISTI, C.J.: 'System partitioning and its measure', Syst. Soft. 2., 1981, pp. 23-29
24. MILLER, B.L., and GOLDBERG, D.E.: 'Genetic algorithms, tournament selection and the effects of noise', Complex Syst., 1996, p. 9
25. SPEARS, W.M., and DE JONG, K.A.: 'On the virtues of parameterized uniform crossover'. Proceedings of the fourth International Conference on Genetic Algorithms, 1991
26. WHITLEY, D.: 'The genitor algorithm and selection pressure: Why rank-based allocation of reproductive trials is best'. International Conference on Genetic Algorithms, 1989, pp. 116-129
27. YOURDON, E., and CONSTANTINE, L.L.: 'Structured design' (Prentince Hall, Englewood Cliffs, NJ, 1979)