INTRODUCTION TO CHARACTERIZATION OF MONITORS FOR TESTING SAFETY-CRITICAL SOFTWARE

Christian Di Biagio, Guido Pennella, Anna Lomartire, Giovanni Cantone

2006

Abstract

The goal of this paper is to characterize software technologies to test hard real-time software by focusing on measurement of CPU and memory loads, performance monitoring of processes and their threads, intrusiveness, and some other key features and capabilities, in the context of the Italian branch of a multinational organization, which works in the domain of safety-critical systems, from the points of view of the project managers of such an organization, on one side, and the applied researcher, on the other side. The paper first sketches on the state of the art in the field of testing technologies for safety-critical systems, then presents a characterization model, which is based on goals of the reference company, and then applies that model to major testing tools available.

References

  1. Basili, V. R., Caldiera, G., and Rombach, H. D., The Goal Question Metric Approach, Encyclopedia of Software Engineering, Wiley&Sons Inc., 1994.
  2. EPRI, Handbook for verification and validation of digital systems, Vol.1: Summary, EPRI TR103291, Vol.1, 1994.
  3. QUEST SPOTLIGHT™ http://wm.quest.com/libra ry/docs/spotlightwindows/SpotlightWindows.pdf Simser D. and R.E. Seviora, Supervision of Real-Time Systems Using Optimistic Path Prediction and Rollbacks, Procs. Int'l Symp. Software Reliability Eng. (ISSRE), pp. 340-349, Oct. 1996.
  4. SOLARIS PERFORMANCE METER™ 2.0.0 http://docsun.cites.uiuc.edu/sun_docs/C/solaris_9/SUNWa be/CDEUG/p125.html
  5. TOP- William LeFebvre's http://www.uwsg.iu.edu/UAU/system/top.html Tsai J.J., Yang S.J., Monitoring and Debugging of Distributed Real-Time Systems, J.J. Tsai and S.J. Yang, eds., IEEE CS Press, 1995.
  6. Weyuker E.J., On Testing Non-Testable Programs, The Computer J., vol. 25, no. 4, pp. 465-470, 1982.
  7. Di Biagio C., Pennella G., Pesce G., and Cantone G., Advancing on Testinf Safety-Critcial Software, Procs. of ICSOFT 06 (these Proceedings), Setubal, 2006.
Download


Paper Citation


in Harvard Style

Di Biagio C., Pennella G., Lomartire A. and Cantone G. (2006). INTRODUCTION TO CHARACTERIZATION OF MONITORS FOR TESTING SAFETY-CRITICAL SOFTWARE . In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-972-8865-69-6, pages 253-256. DOI: 10.5220/0001311102530256


in Bibtex Style

@conference{icsoft06,
author={Christian Di Biagio and Guido Pennella and Anna Lomartire and Giovanni Cantone},
title={INTRODUCTION TO CHARACTERIZATION OF MONITORS FOR TESTING SAFETY-CRITICAL SOFTWARE},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2006},
pages={253-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001311102530256},
isbn={978-972-8865-69-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - INTRODUCTION TO CHARACTERIZATION OF MONITORS FOR TESTING SAFETY-CRITICAL SOFTWARE
SN - 978-972-8865-69-6
AU - Di Biagio C.
AU - Pennella G.
AU - Lomartire A.
AU - Cantone G.
PY - 2006
SP - 253
EP - 256
DO - 10.5220/0001311102530256