Issues in testing dependable event-based systems at a systems integration company

Proceedings - Second International Conference on Availability, Reliability and Security, ARES 2007

Volumn , Issue , 2007, Pages 1093-1100

  Beer, Armin ^a   Heindl, Matthias ^a  

^a SIEMENS AG ÖSTERREICH   (Austria)

Author keywords

Reliability; Requirements tracing; Test automation; Test management; Test case design

Indexed keywords

AUTOMATION; NETWORK SECURITY; RELIABILITY ANALYSIS; REQUIREMENTS ENGINEERING; TELECOMMUNICATION SYSTEMS;

REQUIREMENTS TRACING; TEST AUTOMATION; TEST MANAGEMENT; TEST-CASE DESIGNS;

SOFTWARE TESTING;

EID: 34548148997     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2007.103     Document Type: Conference Paper

References (30)

1. A. Avizienis, J.-C. Laprie, B. Randell, C. Landwehr: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, Vol.1, No.1, 2004, pp 11-33
2. A. Beer., S. Mohacsi., C.Stary: "IDATG: An Open Tool for Automated Testing of Interactive Software", Proceedings of the IEEE COMPSAC, Vienna, Austria, 1998
3. B. Beizer, "Black Box Testing: Techniques for Functional Testing of Software and Systems", John Wiley & Sons, New York, USA, ISBN 0-471-12094-41995
4. R. Bloem and F. Wotawa: Verification and Fault Localization in VHDL Programs, Graz University of Technology, Institute for Software Technology. The work described in this paper has been partially supported by the Austrian Science Fund (FWF) under project grant P15163.
5. CENELEC EN 50126 (1999): Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS)
6. CENELEC EN 50128 (2001): Used for software based components, EN 50129 (final draft 2002): Railway applications - railway signaling system
7. L. Copeland: A Practitioners Guide to Software Test Design Artech House Publ., Boston, ISBN 1-58053-991-X, 2004
8. DO178B: http://en.wikipedia.org/wiki/DO-178B
9. DeWalt, Michael P.; Bryan Michael M.: DO-178B Seminar; Certification Services, Inc., 2006
10. M. Fewster, D. Graham: "Software Test Automation", Addison-Wesley, ISBN 0-201-43287-0, 1999
11. G. Fraser: Automatisierte Testfallgenerierung und Analyse für sicherheitsrelevante Systeme mit Hilfe von Model-Checkem; ASQT2006, Universität Klagenfurt., 14.-15.9.2006
12. A. Gotlieb, B. Botella, M. Rueher: Automatic test data generation using constraint solving techniques. In Proc. ISSTA, pages 53-62. ACM, 1999
13. M. Grindal, J. Offutt, S.F. Andler: "Combination Testing Strategies: A Survey", GMU Technical Report ISE-TR-04-05, July 2004
14. IFIP WG10.4 on Dependable Computing and Fault Tolerance
15. D. Hamlet, and R. Taylor: "Partition Testing Does Not Inspire Confidence," IEEE Trans. Software Eng., vol. 16, pp. 1,402-1,412, Dec. 1990
16. J. Hanson, Event-driven services in SOA Design an event-driven and service-oriented platform with Mule. JavaWorld.com, 2005, can be found at: http://www.javaworld.com/javaworld/jw-01-2005/jw-0131-soa.html?page=1
17. C.Kaner et al.: Testing Computer Software, Int. Thomson Comp. Press, ISBN 1-85032-847-1, 1998
18. H. Kaindl, B. Lutz, P. Tippold: Methodik der Softwareentwicklung, Vieweg, ISBN 3-528-05651-7, 1998
19. th International Symposium on Software Reliability Engineering (ISSRE'04), 2004
20. B. Legeard: Controlling Test Case Explosion in Test Generation from Formal Models, Leirios Technologies, August 2004, http://research.microsoft. com/projects/T5/ppt/Legeard.pdf
21. P. Liggesmeyer: Qualitätssicherung softwareintensiver technischer Systeme, Spektrum Verlag; ISBN 3-8274-1085-1, 2000
22. D. Luckham, The Power of Event, Addison Wesley, 2002
23. Maeckel O., Elbel B.: Efficient reliability growth modelling for industrial software failure data, PSAM 7 - ESREL '04, June 14-18, 2004, Berlin, Germany, 2004
24. S. Mohacsi: Test Automation in Space Projects; QA&Test (international conference on embedded software testing); Oct. 18-20, 2006 in Bilbao
25. J. Musa: Software Reliability Engineering, McGraw-Hill, ISBN 0-07 913271-5, 1999
26. D. Muschick: Multidimensional Equivalence Classes", Siemens-PSE, Internal Report, 2006
27. S. Ntafos: "On random and partition testing", International Symposium on Software Testing and Analysis, Proceedings of the 1998 ACM SIGSOFT international symposium on software testing and analysis, 1998
28. A. Spillner et al.: Software Testing Foundations: ISBN 3-89864-363-8; dpunkt-Verlag, 2005
29. K. Tate: Sustainable Software Development - An Agile Perspective. Pearson Educ. Inc., ISBN0-321-28608, 2006
30. www.tt-medal.org: A Vision for Automated Testing, White Paper; TT-Medal Consortium, 2005