diff --git "a/src/\303\251tude/Ada.typ" "b/src/\303\251tude/Ada.typ" index 8c52d35..95d7604 100644 --- "a/src/\303\251tude/Ada.typ" +++ "b/src/\303\251tude/Ada.typ" @@ -157,10 +157,6 @@ ], pile: [ - #let gnatstack = link( - "https://www.adacore.com/gnatpro/toolsuite/gnatstack", - "GNATstack" - ) Les outils analysant l'exécutable peuvent le faire tout autant pour les programmes #Ada. Pour les outils ciblant spécifiquement #Ada, il y @@ -369,24 +365,6 @@ tests: [ - #let aunit = link("https://github.com/AdaCore/aunit", "AUnit") - #let adatest95 = link( - "https://www.qa-systems.fr/tools/adatest-95/", - "Ada Test 95" - ) - #let avhen = link("http://ahven.stronglytyped.org/", "Avhen") - #let ldra = link("https://ldra.com/products/ldra-tool-suite/", "LDRA") - #let vectorcastAda = link( - "https://www.vector.com/int/en/products/products-a-z/software/vectorcast/vectorcast-ada/", - "VectorCAST/Ada" - ) - - - #let rtrt = link( - "https://www.ibm.com/products/rational-test-realtime", - "Rational Test RealTime" - ) - Les différents outils de tests recensés pour #Ada sont inddiqués dans la @ada-test. @@ -401,7 +379,7 @@ [*#vectorcastAda*], [UC], [++], [✓], [✓], [*#rtrt*], [UIC], [], [], [], ), - caption: [Comparaison des outils de tests pour le langage C], + caption: [Comparaison des outils de tests pour le langage #Ada], ) #aunit et #avhen sont des implémentations xUnit pour #Ada. Les fonctionnalités sont @@ -446,24 +424,6 @@ Parmi tous les compilateurs Ada, nous listons uniquement ceux qui semblent maintenus et de qualité industrielle. - #let ptcdobjada = link( - "https://www.ptc.com/en/products/developer-tools/objectada", - "PTC ObjectAda" - ) - #let ptcapexada = link( - "https://www.ptc.com/en/products/developer-tools/apexada", - "PTC ApexAda" - ) - #let gnatpro = link("https://www.adacore.com/gnatpro", "GNAT Pro") - #let gnatllvm = link("https://github.com/AdaCore/gnat-llvm", "GNAT LLVM") - #let gaoc = link( - "https://www.ghs.com/products/ada_optimizing_compilers.html", - "GreenHills Ada Optimizing Compiler") - - #let janusada = link( - "http://www.rrsoftware.com/html/blog/ja-312-rel.html", - "Janus/Ada" - ) #figure( diff --git "a/src/\303\251tude/C++.typ" "b/src/\303\251tude/C++.typ" index a726be2..25cada9 100644 --- "a/src/\303\251tude/C++.typ" +++ "b/src/\303\251tude/C++.typ" @@ -207,11 +207,6 @@ va en partie dépendre de l'utilisation d'outils tiers. tests: [ -#let boost_test = link( - "https://www.boost.org/doc/libs/1_85_0/libs/test/doc/html/index.html", - [Boost Test Library] -) -#let catch2 = link("https://github.com/catchorg/Catch2", "Catch2") Certains des outils cités pour le C fonctionnent également pour le C++. C'est le cas pour #cantata ou #parasoft par exemple. D'autres outils ou bibliothèques @@ -223,13 +218,6 @@ les rapports de test ou les possibilités de _fuzzing_. Le _mocking_ est également disponible via une extension. #catch2 propose sensiblement la même chose que #boost_test. -#let gtest = link("https://github.com/google/googletest", "Google Test") -#let google = link("https://about.google", "Google") - -#let safetynet = link( - "https://bitbucket.org/rajinder_yadav/safetynet/src/master/", - "Safetynet" -) #gtest est un cadre logiciel proposé par #google pour le test unitaire. Il est très complet et utilisé pour de gros projets. Il permet de découvrir les @@ -246,11 +234,6 @@ Ruby. L'outil semble cependant moins mature et complet que #gtest. conjointement avec d'autres outils de tests unitaires pour simuler des comportements de fonctions ou de classes à la manière de #opmock. -#let testwell_ctc = link( - "https://www.verifysoft.com/fr_ctcpp.html", - "Testwell CTC++" -) - #testwell_ctc est un outil commercial qui, comme #cantata, #parasoft ou #vectorcast que nous avons déjà présenté dans la partie C, couvre différents types de tests diff --git "a/src/\303\251tude/links.typ" "b/src/\303\251tude/links.typ" index 6cf3c66..e1f2143 100644 --- "a/src/\303\251tude/links.typ" +++ "b/src/\303\251tude/links.typ" @@ -208,4 +208,68 @@ #let windbg = link("https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/debugger-download-tools")[WinDBG] -#let rr = link("https://rr-project.org/")[rr] \ No newline at end of file +#let rr = link("https://rr-project.org/")[rr] + +#let boost_test = link( + "https://www.boost.org/doc/libs/1_85_0/libs/test/doc/html/index.html", + [Boost Test Library] +) +#let catch2 = link("https://github.com/catchorg/Catch2", "Catch2") + +#let gtest = link("https://github.com/google/googletest", "Google Test") +#let google = link("https://about.google", "Google") + +#let safetynet = link( + "https://bitbucket.org/rajinder_yadav/safetynet/src/master/", + "Safetynet" +) + + +#let testwell_ctc = link( + "https://www.verifysoft.com/fr_ctcpp.html", + "Testwell CTC++" +) + + +#let aunit = link("https://github.com/AdaCore/aunit", "AUnit") +#let adatest95 = link( + "https://www.qa-systems.fr/tools/adatest-95/", + "Ada Test 95" +) +#let avhen = link("http://ahven.stronglytyped.org/", "Avhen") +#let ldra = link("https://ldra.com/products/ldra-tool-suite/", "LDRA") +#let vectorcastAda = link( + "https://www.vector.com/int/en/products/products-a-z/software/vectorcast/vectorcast-ada/", + "VectorCAST/Ada" +) + + +#let rtrt = link( + "https://www.ibm.com/products/rational-test-realtime", + "Rational Test RealTime" +) + + +#let ptcdobjada = link( + "https://www.ptc.com/en/products/developer-tools/objectada", + "PTC ObjectAda" +) +#let ptcapexada = link( + "https://www.ptc.com/en/products/developer-tools/apexada", + "PTC ApexAda" +) +#let gnatpro = link("https://www.adacore.com/gnatpro", "GNAT Pro") +#let gnatllvm = link("https://github.com/AdaCore/gnat-llvm", "GNAT LLVM") +#let gaoc = link( + "https://www.ghs.com/products/ada_optimizing_compilers.html", + "GreenHills Ada Optimizing Compiler") + +#let janusada = link( + "http://www.rrsoftware.com/html/blog/ja-312-rel.html", + "Janus/Ada" +) + +#let gnatstack = link( + "https://www.adacore.com/gnatpro/toolsuite/gnatstack", + "GNATstack" +)