[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[commit-womb] qualitycode qualitycode.texi

From: Ludovic Courtès
Subject: [commit-womb] qualitycode qualitycode.texi
Date: Tue, 23 Nov 2010 08:48:30 +0000

CVSROOT:        /sources/womb
Module name:    qualitycode
Changes by:     Ludovic Courtès <civodul>       10/11/23 08:48:30

Modified files:
        .              : qualitycode.texi 

Log message:
        Add a stub about testing.


Index: qualitycode.texi
RCS file: /sources/womb/qualitycode/qualitycode.texi,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -b -r1.5 -r1.6
--- qualitycode.texi    23 Nov 2010 08:27:36 -0000      1.5
+++ qualitycode.texi    23 Nov 2010 08:48:29 -0000      1.6
@@ -1,5 +1,5 @@
 \input texinfo   @c -*-texinfo-*-
address@hidden $Id: qualitycode.texi,v 1.5 2010/11/23 08:27:36 civodul Exp $
address@hidden $Id: qualitycode.texi,v 1.6 2010/11/23 08:48:29 civodul Exp $
 @comment %**start of header
 @set UPDATED 18 November 2010
@@ -48,6 +48,7 @@
 * Memory management::
+* Testing::                     
 * GNU Free Documentation License::
 * Index::
 @end menu
@@ -175,6 +176,48 @@
address@hidden Testing
address@hidden Testing
+Program testing can be used to show the presence of bugs, but never to
+show their absence!
+--- Edsger W. Dijkstra.
address@hidden quotation
+* Test coverage::               What's left to test?
+* Writing new tests::           When to write tests?
+* Practical details::           Support for test suites.
address@hidden menu
address@hidden Test coverage
address@hidden Test coverage
+TODO: Write about feedback from test coverage report tools such as
address@hidden Options, GCC's @code{--coverage},, gcc, GCC Reference
+Manual} and @url{, LCOV};
+same for @ref{Code Coverage, Guile,, guile, GNU Guile Reference Manual}.
address@hidden Writing new tests
address@hidden Writing new tests
+TODO: Write something about test-driven development, and the addition of
+a test for each bug fix.
address@hidden Practical details
address@hidden Practical details
+TODO: Write something about @ref{Tests, Automake support for test
+suites,, automake, The GNU Automake Reference Manual}, @ref{Using
+Autotest, Autotest,, autoconf, The GNU Autoconf Reference Manual}, and
+possibly DejaGNU and language-specific frameworks for C/C++/Guile/Emacs.
address@hidden TODO: Add something about Frama-C or other static analysis tools?
 @node GNU Free Documentation License
 @appendix GNU Free Documentation License

reply via email to

[Prev in Thread] Current Thread [Next in Thread]