Shared data analysis for multi-tasking real-time system testing

2007 Symposium on Industrial Embedded Systems Proceeedings, SIES'2007

Volumn , Issue , 2007, Pages 110-117

  Pettersson, Anders ^a   Sundmark, Daniel ^a   Thane, Henrik ^a   Nyström, Dag ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; LEAD; MULTITASKING; REAL TIME SYSTEMS; STATISTICAL METHODS; WORD PROCESSING;

(ALGORITHMIC) COMPLEXITY; ASYNCHRONOUS EVENTS; AT SYSTEMS; DATA ACCESSING; DATA DEPENDENCIES; INTERNATIONAL SYMPOSIUM; MEMORY CORRUPTION; REAL-TIME SOFTWARES; REAL-TIME SYSTEMS; RUNNING IN; SHARED DATA; SYNCHRONIZED DATA; SYSTEM LEVEL TESTING; SYSTEM LEVELS; TEMPORAL ATTRIBUTES;

SOFTWARE TESTING;

EID: 46749139562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2007.4297324     Document Type: Conference Paper

References (17)

1. M. Harrold and M. Sofia, "Interprocedural Data Flow Testing," in Proceedings of the 3rd Symposium on Software Testing, Analysis, and Verification, 1989, pp. 158-167.
2. J. Laski and B. Korel, "A Data Flow Oriented Program Testing Strategy," in IEEE Transactions on Software Engineering, vol. 9(5), May 1983, pp. 347-354.
3. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural slicing using dependence graphs," in PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation. New York, NY, USA: ACM Press, 1988, pp. 35-46.
4. Bruening, "Systematic testing of multithreaded java programs," Master's thesis, MIT, May 1999.
5. R. H. Carver and K.-C. Tai, "Replay and testing for concurrent programs," in IEEE Software, vol. 8(2), 1991, pp. 66-74.
6. S. Chung, H. S. Kim, H. S. Bae, Y. R. Kwon, and B. S. Lee, "Testing of concurrent programs based on message sequence charts," in Proceedings IEEE International Symposium on Software Engineering for Parallel and Distributed Systems, 1999, pp. 72-82, Vol., Iss.
7. H. Thane and H. Hansson, "Towards Systematic Testing of Distributed Real-Time Systems," in Proceedings of The 20th IEEE Real-Time Systems Symposium, 1999, pp. 360-369.
8. T. Baker, "Stack-based scheduling of real-time processes," in Real-Time Systems Journal, vol. 3(1), 1991, pp. 67-99.
9. A. Pettersson and H. Thane, "Testing of Multi-Tasking Real-Time Systems with Critical Sections," in Proceedings of Ninth International Conference on Real-Time and Embedded Computing Systems and Applications, Tainan City, Taiwan, R.O.C, 18-20 February 2003.
10. IEEE Standard Glossary of Software :Engineering Terminology, "IEEE Standards Collection, IEEE Std 610.12-1990," September 1990.
11. The Worst-Case Execution Time (WCET) analysis project, Mälardalen University, MRTC, "URL:http://www.mrtc.mdh.se/projects/wcet/," 2007, WWW homepage.
12. Bound-T WCET tool and Tidorum company, "URL: http://www.tidorum.fi, " 2007, WWW homepage.
13. Absint Angewandte Informatik GmbH company, "URL: http://www.absint.com/," 2007, WWW homepage.
14. N. C. Audsley, A. Burns, R. I. Davis, and K. W. Tindell, "Fixed priority pre-emptive scheduling: A historical perspective," in Real-Time Systems journal, vol. 8(2/3). Kluwer A.P., March/May 1995.
15. M. G. Nanda and S. Ramesh, "Slicing concurrent programs," in ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis. New York, NY, USA: ACM Press, 2000, pp. 180-190.
16. V. P. Ranganath and J. Hatcliff, "Honing the Detection of Interference and Ready Dependence for Slicing Concurrent Java Programs," Technical Report,SAnToS -TR2003-6, Tech. Rep., 2003.
17. H. Thane and H. Hansson, "Using Deterministic Replay for Debugging of Distributed Real-Time Systems," in Proceedings of the 12th Euromicro Conference on Real-Time Systems, June 2000.