Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 005.10289 |
Altri autori (Persone) |
BroyManfred
LeuxnerChristian HoareA. G |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
Soggetto genere / forma | Electronic books. |
ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
Record Nr. | UNINA-9910457752903321 |
Amsterdam, The Netherlands, : IOS Press, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 005.10289 |
Altri autori (Persone) |
BroyM. <1949->
LeuxnerChristian HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
Record Nr. | UNINA-9910781757703321 |
Amsterdam, The Netherlands, : IOS Press, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software and systems safety [[electronic resource] ] : specification and verification / / edited by Manfred Broy, Christian Leuxner and Tony Hoare |
Pubbl/distr/stampa | Amsterdam, The Netherlands, : IOS Press, 2011 |
Descrizione fisica | 1 online resource (296 p.) |
Disciplina | 005.10289 |
Altri autori (Persone) |
BroyM. <1949->
LeuxnerChristian HoareC. A. R <1934-> (Charles Antony Richard) |
Collana | NATO science for peace and security series. Sub-series D, Information and communication security |
Soggetto topico |
Software protection
Computer software - Reliability Software engineering Computer security System safety |
ISBN |
6613289604
1-283-28960-1 9786613289605 1-60750-711-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Title; Preface; Contents; Model-Based Testing; Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification; Engineering Evolving and Self-Adaptive Systems: An Overview; Formal Verification; Requirements Models for Critical Systems; From Concurrency Models to Numbers: Performance and Dependability; Unifying Models of Data Flow; Model-Based Verification and Analysis for Real-Time Systems; Model Checking; Subject Index; Author Index |
Record Nr. | UNINA-9910813007503321 |
Amsterdam, The Netherlands, : IOS Press, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software assurance using structured assurance case models / / Thomas Rhodes [and others] |
Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , [2009] |
Descrizione fisica | 1 online resource (14 pages) : illustrations (some color) |
Altri autori (Persone) | RhodesThomas R |
Collana | NISTIR |
Soggetto topico |
Computer software - Reliability
Computer software - Security measures Systems software - Reliability |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910709939503321 |
Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , [2009] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang |
Autore | Huang J. C. <1935-> |
Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, c2009 |
Descrizione fisica | 1 online resource (271 p.) |
Disciplina | 005.1/4 |
Soggetto topico |
Computer software - Testing
Computer software - Reliability Debugging in computer science |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-27967-X
9786612279676 0-470-46407-0 0-470-46405-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 1.1 Concepts, Terminology, and Notation; 1.2 Two Principles of Test-Case Selection; 1.3 Classification of Faults; 1.4 Classification of Test-Case Selection Methods; 1.5 The Cost of Program Testing; 2 Code-Based Test-Case Selection Methods; 2.1 Path Testing; 2.2 Statement Testing; 2.3 Branch Testing; 2.4 Howden's and McCabe's Methods; 2.5 Data-Flow Testing; 2.6 Domain-Strategy Testing; 2.7 Program Mutation and Fault Seeding; 2.8 Discussion; Exercises
3 Specification-Based Test-Case Selection Methods3.1 Subfunction Testing; 3.2 Predicate Testing; 3.3 Boundary-Value Analysis; 3.4 Error Guessing; 3.5 Discussion; Exercises; 4 Software Testing Roundup; 4.1 Ideal Test Sets; 4.2 Operational Testing; 4.3 Integration Testing; 4.4 Testing Object-Oriented Programs; 4.5 Regression Testing; 4.6 Criteria for Stopping a Test; 4.7 Choosing a Test-Case Selection Criterion; Exercises; 5 Analysis of Symbolic Traces; 5.1 Symbolic Trace and Program Graph; 5.2 The Concept of a State Constraint; 5.3 Rules for Moving and Simplifying Constraints 5.4 Rules for Moving and Simplifying Statements5.5 Discussion; 5.6 Supporting Software Tool; Exercises; 6 Static Analysis; 6.1 Data-Flow Anomaly Detection; 6.2 Symbolic Evaluation (Execution); 6.3 Program Slicing; 6.4 Code Inspection; 6.5 Proving Programs Correct; Exercises; 7 Program Instrumentation; 7.1 Test-Coverage Measurement; 7.2 Test-Case Effectiveness Assessment; 7.3 Instrumenting Programs for Assertion Checking; 7.4 Instrumenting Programs for Data-Flow-Anomaly Detection; 7.5 Instrumenting Programs for Trace-Subprogram Generation; Exercises; Appendix A: Logico-Mathematical Background Appendix B: GlossaryAppendix C: Questions for Self-Assessment; Bibliography; Index |
Record Nr. | UNINA-9910139752103321 |
Huang J. C. <1935->
![]() |
||
Hoboken, N.J., : John Wiley & Sons, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software error detection through testing and analysis [[electronic resource] /] / J.C. Huang |
Autore | Huang J. C. <1935-> |
Pubbl/distr/stampa | Hoboken, N.J., : John Wiley & Sons, c2009 |
Descrizione fisica | 1 online resource (271 p.) |
Disciplina | 005.1/4 |
Soggetto topico |
Computer software - Testing
Computer software - Reliability Debugging in computer science |
ISBN |
1-282-27967-X
9786612279676 0-470-46407-0 0-470-46405-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 1.1 Concepts, Terminology, and Notation; 1.2 Two Principles of Test-Case Selection; 1.3 Classification of Faults; 1.4 Classification of Test-Case Selection Methods; 1.5 The Cost of Program Testing; 2 Code-Based Test-Case Selection Methods; 2.1 Path Testing; 2.2 Statement Testing; 2.3 Branch Testing; 2.4 Howden's and McCabe's Methods; 2.5 Data-Flow Testing; 2.6 Domain-Strategy Testing; 2.7 Program Mutation and Fault Seeding; 2.8 Discussion; Exercises
3 Specification-Based Test-Case Selection Methods3.1 Subfunction Testing; 3.2 Predicate Testing; 3.3 Boundary-Value Analysis; 3.4 Error Guessing; 3.5 Discussion; Exercises; 4 Software Testing Roundup; 4.1 Ideal Test Sets; 4.2 Operational Testing; 4.3 Integration Testing; 4.4 Testing Object-Oriented Programs; 4.5 Regression Testing; 4.6 Criteria for Stopping a Test; 4.7 Choosing a Test-Case Selection Criterion; Exercises; 5 Analysis of Symbolic Traces; 5.1 Symbolic Trace and Program Graph; 5.2 The Concept of a State Constraint; 5.3 Rules for Moving and Simplifying Constraints 5.4 Rules for Moving and Simplifying Statements5.5 Discussion; 5.6 Supporting Software Tool; Exercises; 6 Static Analysis; 6.1 Data-Flow Anomaly Detection; 6.2 Symbolic Evaluation (Execution); 6.3 Program Slicing; 6.4 Code Inspection; 6.5 Proving Programs Correct; Exercises; 7 Program Instrumentation; 7.1 Test-Coverage Measurement; 7.2 Test-Case Effectiveness Assessment; 7.3 Instrumenting Programs for Assertion Checking; 7.4 Instrumenting Programs for Data-Flow-Anomaly Detection; 7.5 Instrumenting Programs for Trace-Subprogram Generation; Exercises; Appendix A: Logico-Mathematical Background Appendix B: GlossaryAppendix C: Questions for Self-Assessment; Bibliography; Index |
Record Nr. | UNINA-9910811608503321 |
Huang J. C. <1935->
![]() |
||
Hoboken, N.J., : John Wiley & Sons, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies |
Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2007 |
Descrizione fisica | 1 online resource (147 p.) |
Disciplina | 005 |
Altri autori (Persone) |
JacksonDaniel
MillettLynette I ThomasMartyn |
Soggetto topico |
Computer software - Reliability
Software engineering Systems software - Reliability |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-94144-8
9786610941445 0-309-66738-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910452084403321 |
Washington, D.C., : National Academies Press, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies |
Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2007 |
Descrizione fisica | 1 online resource (147 p.) |
Disciplina | 005 |
Altri autori (Persone) |
JacksonDaniel
MillettLynette I ThomasMartyn |
Soggetto topico |
Computer software - Reliability
Software engineering Systems software - Reliability |
ISBN |
0-309-17929-7
1-280-94144-8 9786610941445 0-309-66738-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910778119203321 |
Washington, D.C., : National Academies Press, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software for dependable systems [[electronic resource] ] : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2007 |
Descrizione fisica | 1 online resource (147 p.) |
Disciplina | 005 |
Altri autori (Persone) |
JacksonDaniel
MillettLynette I ThomasMartyn |
Soggetto topico |
Computer software - Reliability
Software engineering Systems software - Reliability |
ISBN |
0-309-17929-7
1-280-94144-8 9786610941445 0-309-66738-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | FrontMatter -- Preface -- Acknowledgment of Reviewers -- Contents -- Summary -- 1 Assessment: Software Systems and Dependability Today -- 2 Proposed Approach -- 3 Broader Issues -- 4 Findings and Recommendations -- 5 Bibliography -- Appendixes -- A: Biographies of Committee Members and Staff -- B: Open Session Briefers -- C: Statement of Task. |
Record Nr. | UNINA-9910809016803321 |
Washington, D.C., : National Academies Press, c2007 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Metrics Symposium, 2nd International |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 1994 |
Descrizione fisica | 1 online resource (120 pages) |
Disciplina | 005.3 |
Soggetto topico |
Computer software
Computer software - Quality control Software engineering Computer software - Evaluation Computer software - Reliability |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198232103316 |
[Place of publication not identified], : IEEE Computer Society Press, 1994 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|