001461887 000__ 03930cam\a2200589\i\4500
001461887 001__ 1461887
001461887 003__ OCoLC
001461887 005__ 20230503003415.0
001461887 006__ m\\\\\o\\d\\\\\\\\
001461887 007__ cr\cn\nnnunnun
001461887 008__ 230330s2023\\\\sz\a\\\\ob\\\\000\0\eng\d
001461887 019__ $$a1374189623
001461887 020__ $$a9783031220579$$q(electronic bk.)
001461887 020__ $$a3031220579$$q(electronic bk.)
001461887 020__ $$z3031220560
001461887 020__ $$z9783031220562
001461887 0247_ $$a10.1007/978-3-031-22057-9$$2doi
001461887 035__ $$aSP(OCoLC)1374251026
001461887 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
001461887 049__ $$aISEA
001461887 050_4 $$aQA76.76.T48
001461887 08204 $$a005.1/4$$223/eng/20230330
001461887 1001_ $$aParsa, Saeed,$$eauthor.
001461887 24510 $$aSoftware testing automation :$$btestability evaluation, refactoring, test data generation and fault localization /$$cSaeed Parsa.
001461887 264_1 $$aCham :$$bSpringer,$$c[2023]
001461887 264_4 $$c©2023
001461887 300__ $$a1 online resource (xxiv, 580 pages) :$$billustrations (chiefly color)
001461887 336__ $$atext$$btxt$$2rdacontent
001461887 337__ $$acomputer$$bc$$2rdamedia
001461887 338__ $$aonline resource$$bcr$$2rdacarrier
001461887 504__ $$aIncludes bibliographical references.
001461887 5050_ $$aSoftware Testability -- Unit testing and Test-Driven Development -- Acceptance Testing and Behavior Driven Development.
001461887 506__ $$aAccess limited to authorized users.
001461887 520__ $$aThis book is about the design and development of tools for software testing. It intends to get the reader involved in software testing rather than simply memorizing the concepts. The source codes are downloadable from the book website. The book has three parts: software testability, fault localization, and test data generation. Part I describes unit and acceptance tests and proposes a new method called testability-driven development (TsDD) in support of TDD and BDD. TsDD uses a machine learning model to measure testability before and after refactoring. The reader will learn how to develop the testability prediction model and write software tools for automatic refactoring. Part II focuses on developing tools for automatic fault localization. This part shows the reader how to use a compiler generator to instrument source code, create control flow graphs, identify prime paths, and slice the source code. On top of these tools, a software tool, Diagnoser, is offered to facilitate experimenting with and developing new fault localization algorithms. Diagnoser takes a source code and its test suite as input and reports the coverage provided by the test cases and the suspiciousness score for each statement. Part III proposes using software testing as a prominent part of the cyber-physical system software to uncover and model unknown physical behaviors and the underlying physical rules. The reader will get insights into developing software tools to generate white box test data. .
001461887 588__ $$aDescription based on print version record.
001461887 650_0 $$aComputer software$$xTesting$$xAutomation.
001461887 655_0 $$aElectronic books.
001461887 77608 $$iPrint version:$$aPARSA, SAEED.$$tSOFTWARE TESTING AUTOMATION.$$d[Place of publication not identified] : SPRINGER INTERNATIONAL PU, 2023$$z3031220560$$w(OCoLC)1348633699
001461887 852__ $$bebk
001461887 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-22057-9$$zOnline Access$$91397441.1
001461887 909CO $$ooai:library.usi.edu:1461887$$pGLOBAL_SET
001461887 980__ $$aBIB
001461887 980__ $$aEBOOK
001461887 982__ $$aEbook
001461887 983__ $$aOnline
001461887 994__ $$a92$$bISE