Safer language subsets: An overview and a case history, MISRA C

Information and Software Technology

Volumn 46, Issue 7, 2004, Pages 465-472

  Hatton, Les ^a,b  

^a UNIVERSITY OF KENT   (United Kingdom)

^b Oakwood Computing   (United Kingdom)

Author keywords

Embedded control systems; Rule categories; Rule signal to noise; Safer language subsets

Indexed keywords

COMPUTER SOFTWARE; FAILURE ANALYSIS; SET THEORY; SIGNAL TO NOISE RATIO; SPECIFICATIONS; STANDARDS;

END USERS; STATIC NOISE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 1642309241     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2003.09.016     Document Type: Article

References (11)

1. Koenig A. C Traps and Pitfalls. 1989;Addison-Wesley, Reading, MA. ISBN 0-201-17928-8.
2. van der Linden P. Expert C Programming. 1994;Prentice-Hall, Englewood Cliffs, NJ. ISBN 0-13-177429-8.
3. Spuler D. C++ and C Debugging, Testing and Reliability. 1995;Prentice-Hall, Englewood Cliffs, NJ. ISBN 0-13-308172-9.
4. Beizer B. Software Testing Techniques. 1990;Van Nostrand, Princeton, NJ. ISBN 0-442-20672-0.
5. Hatton L. Safer C: Developing Software in High-integrity and Safety-critical Systems. 1995;McGraw-Hill, New York. ISBN 0-07-707640-0.
6. Hatton L. The T experiments: errors in scientific software. IEEE Computational Science and Engineering. 4:(2):1997;27-38.
7. L. Hatton, An exemplary test suite for the MISRA C standard (2002), www.cs.ukc.ac.uk/national/SLS.
8. MISRA C guidelines (1998), ISBN 0-9524156-9-0, www.misra.org.uk.
9. S. Parker, comparison of MISRA C testing tools (2001), http://www.pitechnology.com/downloads/files/MISRA_C_tools.pdf .
10. Pfleeger S.L., Hatton L. Do formal methods really work? IEEE Computer. 30:(2):1997;33-43.
11. Yourdon E. Classics in Software Engineering. 1979;Yourdon Press. ISBN 0-917072-14-6.