commit cbf2b15dad651a92a10398d55b96226f9cb23ba7 from: Sergey Bronnikov date: Sat Jul 08 15:02:26 2023 UTC Updated Books in English (markdown) commit - 62162e0c44757a3b2bb1fb3002a2cced222d6d31 commit + cbf2b15dad651a92a10398d55b96226f9cb23ba7 blob - fc0cc36a3b5744037d00187e07a2519794c92e98 blob + 888b0a015ffef44e1cae665b2e0409b9df54ab18 --- Books-in-English.md +++ Books-in-English.md @@ -8,8 +8,8 @@ * [Software Testing: From Theory to Practice](https://sttp.site/) * [Perspectives on Agile Software Testing](https://info.thoughtworks.com/ebook-agile-software-testing) * [A Practical Guide to Testing in DevOps](https://leanpub.com/testingindevops) -* [Programs and Proofs. Mechanizing Mathematics with Dependent Types.](http://ilyasergey.net/pnp/) - Ilya Sergey @ilyasergey * [Measure Software Quality using Application Security](https://github.com/DinisCruz/Book_Software_Quality/tree/master/content) (WIP) - Dinis Cruz +* [Is Parallel Programming Hard, And, If So, What Can You Do About It?](https://github.com/paulmckrcu/perfbook/) (chapters "Validation" and "Formal verification") - Paul E. McKenney * [The "A" Word](https://leanpub.com/TheAWord) - Alan Page * [Professional Software Development](http://mixmastamyk.bitbucket.org/pro_soft_dev/) (Chapter: "5. Software Quality") - Mike G. Miller * [Acceptance Test Engineering Guide, Vol. I - RC1](https://testingguidance.codeplex.com/) @@ -49,13 +49,12 @@ #### Standards In software Testing -* [Testing Standards Working Party](http://www.testingstandards.co.uk/) * [The International Software Testing Standard](http://softwaretestingstandard.org/) * [Standard for Software Component Testing](http://www.testingstandards.co.uk/Component%20Testing.pdf) (PDF) * [Everything You Need to Know About Software Test Formats](https://dou.ua/lenta/articles/software-test-formats/) (in Russian) * [Software Testing Standards in NASA](http://www.system-safety.org/Documents/NASA-GB-8719.13.pdf) * [ECSS-Q-ST-80C Rev.1 – Software product assurance](http://ecss.nl/standard/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017/) -* [СИСТЕМНАЯ И ПРОГРАММНАЯ ИНЖЕНЕРИЯ: ГОСТ Р 56922—2016/ISO/IEC/IEEE 29119- 3:2013](https://pdf.standartgost.ru/catalog/Data2/1/4293754/4293754866.pdf) +* [Системная и Программная Инженерия: ГОСТ Р 56922—2016/ISO/IEC/IEEE 29119- 3:2013](https://pdf.standartgost.ru/catalog/Data2/1/4293754/4293754866.pdf) * DO-278 * [DO-178B](https://en.wikipedia.org/wiki/DO-178B) @@ -80,33 +79,24 @@ * [A Step-by-Step Guide to Functional Testing with TestComplete](http://www2.smartbear.com/download-mqi-inbound-testcomplete-functional-testing-top-5-ebook-blog.html) * [HP Quality Center Tutorial](http://www.tutorialspoint.com/qc/index.htm) * [HP QuickTest Professional Tutorial](http://www.tutorialspoint.com/qtp/index.htm) -* [.NET Performance Testing and Optimization - The Complete Guide](http://download.red-gate.com/ebooks/DotNet/Perf_Test_and_opt_eBook.zip) (zip) - RedGate, By Paul Glavich and Chris Farrell +* [.NET Performance Testing and Optimization - The Complete Guide](http://download.red-gate.com/ebooks/DotNet/Perf_Test_and_opt_eBook.zip) (zip) - RedGate, By Paul Glavich and Chris Farrell * [Record-Playback Test Automation: Sahi & Selenium IDE](https://leanpub.com/manualToAutomatedWithSeleniumIDEAndSahi) * [Selenium 2.0 Using the WebDriver API to Create Robust User Acceptance Tests](http://refcardz.dzone.com/refcardz/getting-started-selenium-20#refcard-download-social-buttons-display) * [SoapUI 101: Beginner's Guide to Functional Testing](http://www2.smartbear.com/download-mqi-nbound-soapui-top-5-blast-ebook-blog.html) -* [TestNG Tutorial](http://www.tutorialspoint.com/testng/index.htm) -* [JUnit Tutorial](http://www.tutorialspoint.com/junit/index.htm) * [PropEr Testing](http://propertesting.com/) - Fred Hebert -* [Better Unit Testing with Microsoft Fakes](https://social.technet.microsoft.com/wiki/contents/articles/11608.e-book-gallery-for-microsoft-technologies-en.aspx#Better_Unit_Testing_with_Microsoft_Fakes) -* [Testing for Continuous Delivery with Visual Studio 2012](https://social.technet.microsoft.com/wiki/contents/articles/11608.e-book-gallery-for-microsoft-technologies-en.aspx#Testing_for_Continuous_Delivery) -* [Testing mypy stubs, plugins, and types](https://sobolevn.me/2019/08/testing-mypy-types) - Nikita Sobolev #### Formal methods -* [Learn TLA+](https://learntla.com) - Hillel Wayne @hwayne +* [Programs and Proofs. Mechanizing Mathematics with Dependent Types.](http://ilyasergey.net/pnp/) - Ilya Sergey * [Specifying Systems](http://lamport.azurewebsites.net/tla/book.html) - Leslie Lamport * [The TLA+ Hyperbook](http://lamport.azurewebsites.net/tla/hyperbook.html) - Leslie Lamport -* [Books and papers about TLA+ and formal verification by Leslie Lamport](https://www.microsoft.com/en-us/research/people/lamport/#) -* [Alloy Documentation](http://alloy.mit.edu/alloy/documentation.html) - Daniel Jackson * [Introduction to Spin](http://spinroot.com/spin/Man/) - Multiple Authors -* Software Foundations: [4.0](https://www.cis.upenn.edu/~bcpierce/sf/sf-4.0/), [current](https://www.cis.upenn.edu/~bcpierce/sf/current/index.html), [draft](https://softwarefoundations.cis.upenn.edu/draft/) -, [epub](https://github.com/carliros/software-foundations-book) - Benjamin C. Pierce & Co -* [Verified Functional Algorithms](http://www.cs.princeton.edu/~appel/vfa/) - Andrew W. Appel +* Software Foundations, https://www.cis.upenn.edu/~bcpierce/sf/current/index.html - Benjamin C. Pierce & Co * [Foundations of Computer Science](https://www.cl.cam.ac.uk/teaching/1998/FoundsCS/) - Dr Larry Paulson * [Principles of Model Checking](https://pdfs.semanticscholar.org/f126/9591359fddc20f95da10c7bd4c054080b447.pdf) - Christel Baier, Joost-Pieter Katoen -* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/) - Adam Chlipala @achlipala -* [Formal Reasoning About Programs](http://adam.chlipala.net/frap/) - Adam Chlipala @achlipala -* [Concrete Semantics](http://concrete-semantics.org/) - Tobias Nipkow and Gerwin Klein @lsf37 +* [Certified Programming with Dependent Types](http://adam.chlipala.net/cpdt/) - Adam Chlipala +* [Formal Reasoning About Programs](http://adam.chlipala.net/frap/) - Adam Chlipala +* [Concrete Semantics](http://concrete-semantics.org/) - Tobias Nipkow and Gerwin Klein * [ML for the Working Programmer, 2nd Edition](https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html) - Lawrence C. Paulson * [Proofs and Types](http://www.paultaylor.eu/stable/Proofs+Types.html) - Jean-Yves Girard, Yves Lafont and Paul Taylor * [Proof assistants: History, ideas and future](http://www.ias.ac.in/article/fulltext/sadh/034/01/0003-0025) - H. Geuvers @@ -117,6 +107,5 @@ * [Mathematical Logic](http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf) - Helmut Schwichtenberg * [Mathematical Logic](http://www.personal.psu.edu/t20/notes/logic.pdf) - Stephen G. Simpson (Pennsylvania State University) * [Formal Logic](http://maude.sip.ucm.es/~miguelpt/papers/flogic.pdf) - Miguel Palomino -* [Is Parallel Programming Hard, And, If So, What Can You Do About It?](https://github.com/paulmckrcu/perfbook/) (chapters "Validation" and "Formal verification") - Paul E. McKenney @paulmckrcu * [More books...](http://www.freetechbooks.com/index.php/formal-methods-f28.html) * [Formal Methods of Software Design](https://www.cs.utoronto.ca/~hehner/FMSD/) \ No newline at end of file