LEADER 00693nam0-22002651i-450- 001 990000835510403321 005 20001010 035 $a000083551 035 $aFED01000083551 035 $a(Aleph)000083551FED01 035 $a000083551 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aRecent progress in combinatprics 210 $as.l.$cAcademic Press$d 700 1$aTutte,$bWilliam Thomas$013592 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000835510403321 952 $a02 50 C 7$b1707$fFINBN 959 $aFINBN 996 $aRecent progress in combinatprics$9347797 997 $aUNINA DB $aING01 LEADER 01171nam 2200385 450 001 9910136505003321 005 20230808195412.0 010 $a93-5128-967-2 035 $a(CKB)3710000000857749 035 $a(MiAaPQ)EBC4674339 035 $a(EXLCZ)993710000000857749 100 $a20160920d2016 uy| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aGirl education$hVol-I$iUnderstanding the status and gender issues /$fDeepa Awasthi 210 1$aDelhi :$cKalpaz,$d2016. 215 $a1 online resource (117 pages) $cillustrations (some color), maps (some color) 311 $a93-5128-176-0 320 $aIncludes bibliographical references. 517 1 $aGirl education in India :$estill miles to cover 606 $aGirls$xEducation$zIndia 606 $aGender mainstreaming$zIndia 615 0$aGirls$xEducation 615 0$aGender mainstreaming 700 $aAwasthi$b Deepa$01221750 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910136505003321 996 $aGirl education$92833016 997 $aUNINA LEADER 10488nam 22005893 450 001 9911019378303321 005 20241215110028.0 010 $a9781394298976 010 $a1394298978 010 $a9781394298952 010 $a1394298951 035 $a(MiAaPQ)EBC31357623 035 $a(Au-PeEL)EBL31357623 035 $a(CKB)32169711100041 035 $a(CaSebORM)9781786309822 035 $a(OCoLC)1477819775 035 $a(OCoLC-P)1477819775 035 $a(OCoLC)1436834467 035 $a(Perlego)4430185 035 $a(EXLCZ)9932169711100041 100 $a20240601d2024 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamentals of Software Testing 205 $a2nd ed. 210 1$aNewark :$cJohn Wiley & Sons, Incorporated,$d2024. 210 4$d©2024. 215 $a1 online resource (388 pages) 225 1 $aComputer engineering series 311 08$a9781786309822 311 08$a1786309823 327 $aCover -- Title Page -- Copyright Page -- Contents -- Preface -- Glossary -- Chapter 1. Fundamentals of Testing -- 1.1. What is testing? -- 1.1.1. Software and systems context -- 1.1.2. Causes of software defects -- 1.1.3. Role of testing in software development, maintenance and operations -- 1.1.4. Tests and quality -- 1.1.5. Terminology. -- 1.2. What is testing? -- 1.2.1. Origin of defects -- 1.2.2. Common goals of testing -- 1.2.3. Examples of objectives for testing -- 1.2.4. Test and debugging -- 1.3. Paradoxes and main principles -- 1.3.1. Testing identifies the presence of defects -- 1.3.2. Exhaustive testing is impossible -- 1.3.3. Early testing -- 1.3.4. Defect clustering -- 1.3.5. Pesticide paradox -- 1.3.6. Testing is context dependent -- 1.3.7. Absence-of-errors fallacy -- 1.4. Test activities, testware and test roles -- 1.4.1. Planning -- 1.4.2. Monitoring and control -- 1.4.3. Test analysis and design -- 1.4.4. Test implementation -- 1.4.5. Test execution -- 1.4.6. Reporting -- 1.4.7. Test completion activities -- 1.4.8. The value of traceability -- 1.4.9. Impact of context on the test process -- 1.5. Roles in testing -- 1.6. Essential skills and "good practices" in testing -- 1.6.1. Generic skills -- 1.6.2. Specific skills -- 1.6.3. Whole team approach -- 1.6.4. Independence of testing -- 1.6.5. Levels of independence -- 1.6.6. Adapt to objectives -- 1.6.7. Destructive or constructive? -- 1.6.8. People skills -- 1.6.9. Change of perspective -- 1.7. Testers and code of ethics (FL 1.6) -- 1.7.1. Public -- 1.7.2. Client and employer -- 1.7.3. Product -- 1.7.4. Judgment -- 1.7.5. Management -- 1.7.6. Profession -- 1.7.7. Colleagues -- 1.7.8. Self -- 1.8. Sample exam questions -- Chapter 2. Testing Throughout the Software Life Cycle -- 2.1. Testing through the software development life cycle -- 2.1.1. Sequential models. 327 $a2.1.2. Iterative models -- 2.1.3. Incremental model -- 2.1.4. RAD -- 2.1.5. Agile models -- 2.1.6. Selection of a development model -- 2.1.7. Positioning tests -- 2.1.8. Test-first and shift-left approaches -- 2.2. Test levels and test types -- 2.2.1. Component-level testing or component tests -- 2.2.2. Integration-level testing or integration tests -- 2.2.3. System tests -- 2.2.4. Acceptance tests -- 2.2.5. Other levels -- 2.3. Types of tests -- 2.3.1. Functional tests -- 2.3.2. Nonfunctional tests -- 2.3.4. Tests associated with changes -- 2.3.5. Comparisons and examples -- 2.4. Test and maintenance -- 2.4.1. Maintenance context -- 2.4.2. Evolutive maintenance -- 2.4.3. Corrective maintenance -- 2.4.4. Retirement and replacement -- 2.4.5. Regression test policies -- 2.4.6. SLA validation and acceptance -- 2.5. Oracles -- 2.5.1. Problems with oracles -- 2.5.2. Sources of oracles -- 2.5.3. Oracle usage -- 2.6. Process improvements -- 2.6.1. Objectives -- 2.6.2. Measurements -- 2.6.3. Retrospectives and improvements -- 2.7. Specific cases -- 2.7.1. Performance tests -- 2.7.2. Maintainability tests -- 2.8. Sample exam questions -- Chapter 3. Static Testing -- 3.1. Static techniques and the test process -- 3.2. Review process -- 3.2.1. Types of reviews -- 3.2.2. Roles and responsibilities during reviews -- 3.2.3. Phases of reviews -- 3.2.4. Success factors for reviews -- 3.2.5. Comparison of the types of reviews -- 3.3. Static analysis by tools -- 3.3.1. Types of static analysis -- 3.3.2. Types of defects that can be identified -- 3.3.3. Data flow analysis -- 3.4. Added value of static activities -- 3.5. Sample exam questions -- Chapter 4. Test Design Techniques -- 4.1. The test development process -- 4.1.1. Terminology -- 4.1.2. Traceability -- 4.2. Categories of test design techniques -- 4.2.1. Black box, white box or gray box. 327 $a4.2.2. Experience-based techniques -- 4.2.3. Test characteristics -- 4.2.4. Limitations and assumptions -- 4.3. Black-box techniques -- 4.3.1. Equivalence partitioning -- 4.3.2. Boundary value analysis -- 4.3.3. Decision tables -- 4.3.4. Other combinational techniques -- 4.3.5. State transition testing -- 4.3.6. Use case testing -- 4.3.7. Limitations and assumptions -- 4.4. Structure-based techniques -- 4.4.1. Statement testing and coverage -- 4.4.2. Decision testing and coverage -- 4.4.3. Other structure-based techniques -- 4.4.4. MC/DC coverage -- 4.4.5. Limitations and assumptions of structure-based testing -- 4.4.6. Coverage level and exit criteria -- 4.5. Experience-based technique -- 4.5.1. Attacks -- 4.5.2. Defect taxonomies -- 4.5.3. Error guessing and ad hoc testing -- 4.5.4. Exploratory testing -- 4.5.5. Limitations and assumptions -- 4.6. Collaboration-based test approaches -- 4.6.1. Collaborative user stories -- 4.6.2. Acceptance criteria -- 4.6.3. Acceptance test-driven development -- 4.7. Choosing test techniques -- 4.8. Sample exam questions -- Chapter 5. Test Management -- 5.1. Test organization -- 5.1.1. Independence levels -- 5.1.2. Roles and responsibilities -- 5.1.3. Human and contractual aspects -- 5.2. Test planning and estimation -- 5.2.1. Planning and evaluation activities -- 5.2.2. Test planning activities -- 5.2.3. Test documentation -- 5.2.4. Entry and exit criteria for test activities -- 5.3. Test progress monitoring and control (FL 5.3) -- 5.4. Reporting -- 5.4.1. What to report, to whom and how? -- 5.4.2. Statistics and graphs -- 5.5. Transverse processes and activities -- 5.5.1. Test data definition -- 5.5.2. Configuration management (FL 5.4) -- 5.5.3. Change management -- 5.6. Risk management (FL 5.2) -- 5.6.1. Principles of risk management -- 5.6.2. Project risks and product risks. 327 $a5.6.3. Introduction to risk management -- 5.7. Defect management (FL 5.5) -- 5.7.1. Introduction to defect management -- 5.7.2. Defect identification -- 5.7.3. Actions applied to defects -- 5.7.4. Defect disposition -- 5.8. Sample exam questions -- Chapter 6. Tools Support for Testing -- 6.1. Types of test tools -- 6.1.1. Test tool classification -- 6.1.2. Tools supporting test management -- 6.1.3. Tools supporting requirement management -- 6.1.4. Tools supporting static tests -- 6.1.5. Modeling tools -- 6.1.6. Tools supporting test design and test data creation -- 6.1.7. Tools supporting test execution -- 6.1.8. Tools supporting test environment management -- 6.1.9. Tools supporting test data comparison -- 6.1.10. Tools supporting test coverage measurement -- 6.1.11. Other test supporting tools -- 6.2. Assumptions and limitations of test tools -- 6.2.1. Advantages and risks of the tools -- 6.2.2. Specific considerations for some tools -- 6.3. Selecting and introducing tools in an organization -- 6.3.1. Main principles -- 6.3.2. Tool selection process -- 6.3.3. Test tool implementation -- 6.3.4. To build or to buy test tools? -- 6.4. Sample exam questions -- Chapter 7. Mock Exam -- Chapter 8. Templates and Models -- 8.1. Master test plan -- 8.2. Test plan -- 8.2.1. Test plan as per IEEE 829-1998 -- 8.2.2. Test plan as per IEEE 829-2008 -- 8.3. Test design document -- 8.3.1. Test design specifications as per IEEE 829-1998 -- 8.3.2. Test design document as per IEEE 829-2008 -- 8.4. Test case -- 8.4.1. Test case document as per IEEE 829-1998 -- 8.4.2. Test case document as per IEEE 829-2008 -- 8.5. Test procedure -- 8.5.1. Test procedure document as per IEEE 829-1998 -- 8.5.2. Test procedure document as per IEEE 829-2008 -- 8.6. Test log -- 8.6.1. Test log as per IEEE 829-1998 -- 8.6.2. Test log as per IEEE 829-2008 -- 8.7. Defect report. 327 $a8.7.1. Defect report as per IEEE 829-1998 -- 8.7.2. Defect report as per IEEE 829-2008 -- 8.8. Test report -- 8.8.1. Test report as per IEEE 829-1998 -- 8.8.2. Interim test report as per IEEE 829-2008 -- 8.8.3. Level test report as per IEEE 829-2008 -- 8.8.4. Master test report as per IEEE 829-2008 -- Chapter 9. Answers to the Questions -- 9.1. Answers to the end-of-chapter questions -- 9.2. Correct answers to the sample paper questions -- References -- Index -- Other titles from ISTE in Computer Engineering -- EULA. 330 $aSoftware testing has greatly evolved since the first edition of this book in 2011. Testers are now required to work in "agile" teams and focus on automating test cases. It has thus been necessary to update this work, in order to provide fundamental knowledge that testers should have to be effective and efficient in today's world. This book describes the fundamental aspects of testing in the different lifecycles, and how to implement and benefit from reviews and static analysis. Multiple other techniques are approached, such as equivalence partitioning, boundary value analysis, use case testing, decision tables and state transitions. This second edition also covers test management, test progress monitoring and incident management, in order to ensure that the testing information is correctly provided to the stakeholders. This book provides detailed course-study material for the 2023 version of the ISTQB Foundation level syllabus, including sample questions to help prepare for exams. 410 0$aComputer engineering series (London, England) 606 $aComputer software$xTesting 615 0$aComputer software$xTesting. 676 $a005.1 700 $aHomès$b Bernard$0974472 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911019378303321 996 $aFundamentals of software testing$94112997 997 $aUNINA LEADER 04931nam 22006735 450 001 9910951796203321 005 20250807150232.0 010 $a9789819742646 010 $a9819742641 024 7 $a10.1007/978-981-97-4264-6 035 $a(MiAaPQ)EBC31881991 035 $a(Au-PeEL)EBL31881991 035 $a(CKB)37233923100041 035 $a(DE-He213)978-981-97-4264-6 035 $a(EXLCZ)9937233923100041 100 $a20250117d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEmbodied Awareness of Space $eBody, Agency and Current Practice /$fedited by Christos Kakalis, David Boyd 205 $a1st ed. 2024. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Palgrave Macmillan,$d2024. 215 $a1 online resource (0 pages) 311 08$a9789819742639 311 08$a9819742633 327 $aIntroduction -- Performing -- Hybrid listening cultures: Approaching aural embodiment in current compositional practices -- Steps, stages, space and song: Observations on performance architecture in the long thirteenth century -- Stepping Out -- Walking Encounters: Spaces of intimacy and care in walking practices -- Agency -- Merleau-Ponty, Environmental Embodiment, and Place: Implications for Architecture and Placemaking -- The wound as a privileged locus of literary meaning: A case study in the poetry of G. S. Seferis and A. Carson -- Revisiting the Majaz. Reading the Embodied Multi-sensory Experience in the Threshold Space of Al-Sultan Hassan Mosque in Cairo -- Utopias of the Body in Architectural Space -- Missionary Icon-Scapes of the British Isles: Aidan Hart and the Hermitage of Saints Anthony & Cuthbert -- An arena of ?aql (reason): Acts of knowing, thinking, and making in the nasta?liq calligrapher?s practice (mashq) sheet -- Testing -- Revise Embodiment: Dialectical Computation as Spatial Practice -- Beyond Representation: Drawing the emotional affect of Northern Ireland?s anti-violence adverts -- The Metaleptic Architectural Project -- Cartographies of the Imagination: Drawing, talking, performing places -- Pleural Space: Taking-breath again, again, again -- A Space in a Space: Crafting and Living Home. 330 $aThis edited volume explores the notion of embodied experience through a diverse range of disciplines: architecture, music, literature, performance studies, philosophy, geopolitics. In doing so, it illuminates the need to redefine the role of the human body as one of the protagonists for raising awareness of space-time issues through processing, experimentation and application of histories and theories of embodied awareness of space. Critically revisiting these spatio-temporal dialogues, this book suggests a method of linking theory, history and practice: past, present and future. The authors reinstate the significance of history and theory in creative thinking, and test their applicability in a number of different areas: theoretical and buildable architectural projects, mapping and geography, representation, and performative arts. This volume will appeal to students and scholars from architecture, art, cultural studies, landscape studies, media studies, and other disciplines in the humanities and social sciences. Christos Antonios Kakalis is a Senior Lecturer in Architecture at Newcastle University, UK. He is a registered architect and holds a PhD in Architecture from the Edinburgh School of Architecture and Landscape Architecture (E.S.A.L.A). His work focuses on the conditions of embodied experience of the architecture and natural landscape with special emphasis on the role of atmosphere. David Boyd is a Reader in Architecture in the Department of Architecture, Planning and Landscape (SAPL) at Newcastle University, UK. His work involves combining creative practice with research into lightweight structures and sustainable housing. . 606 $aHuman geography 606 $aArchitecture 606 $aCulture$xStudy and teaching 606 $aCultural geography 606 $aPhilosophy 606 $aHuman Geography 606 $aArchitecture 606 $aCultural Studies 606 $aSocial and Cultural Geography 606 $aPhilosophy 615 0$aHuman geography. 615 0$aArchitecture. 615 0$aCulture$xStudy and teaching. 615 0$aCultural geography. 615 0$aPhilosophy. 615 14$aHuman Geography. 615 24$aArchitecture. 615 24$aCultural Studies. 615 24$aSocial and Cultural Geography. 615 24$aPhilosophy. 676 $a153.752 700 $aKakalis$b Christos$01730761 701 $aBoyd$b David$0831485 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910951796203321 996 $aEmbodied Awareness of Space$94328428 997 $aUNINA