Enhanced Automotive Real-Time Testing Through Increased Development Process Quality

The purpose of this master thesis is to improve the quality of software testing in a large company developing real-time embedded systems. Software testing is a very important part of software devel ...

[1]  Klaus Grimm.  Software technology in an automotive company - major challenges , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[2]  Manfred Broy,et al.  Challenges in automotive software engineering , 2006, ICSE.

[3]  Stephen R. Schach,et al.  Object-oriented and classical software engineering , 1995 .

[4]  Stephen H. Kaisler.  Real-Time Languages , 2002 .

[5]  Simon Thompson,et al.  Haskell: The Craft of Functional Programming , 1996 .

[6]  Paul Ammann,et al.  Using formal methods to derive test frames in category-partition testing , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[7]  Robert N. Charette,et al.  Software Engineering Environments: Concepts and Technology , 1986 .

[8]  S. J. Young,et al.  Real Time Languages, Design and Development , 1982 .

[9]  Phillip A. Laplante,et al.  Real-Time Systems Design and Analysis , 1992 .

[10]  J. Michael Spivey,et al.  Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.

[11]  Bryan O'Sullivan,et al.  Making Sense of Revision-control Systems , 2009, ACM Queue.

[12]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[13]  Eric Schweitz.  Real-time Languages , 2007 .

[14]  Matthias Weber,et al.  Requirements engineering in automotive development-experiences and challenges , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[15]  Graham Hutton,et al.  Programming in Haskell , 2007 .

[16]  John Gannon,et al.  State-based model checking of event-driven system requirements , 1991, SIGSOFT '91.

[17]  Manfred Broy,et al.  Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers , 2006, Automotive Software Workshop.

[18]  Shari Lawrence Pfleeger,et al.  Software engineering - theory and practice (4. ed.) , 2009 .

[19]  P. S. Thiagarajan,et al.  Message Sequence Charts , 2003, UML for Real.

[20]  Sergey M. Avdoshin,et al.  Software risk management , 2011, 2011 7th Central and Eastern European Software Engineering Conference (CEE-SECR).