Suchergebnisse - "Testing and Debugging—error handling and recovery"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: validation, D.2.5 [Software Engineering, Testing and Debugging— error handling and recovery, D.4.3 [Operating Systems, File Systems Management General Terms Algorithms, Languages, Reliability, Verification Keywords static program analysis, interprocedural dataflow analysis, weighted pushdown systems, copy constant propagation, binary decision
Dateibeschreibung: application/pdf
-
2
Autoren:
Weitere Verfasser:
Quelle: http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf.
Schlagwörter: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Patterns. D.2.5 [Software Engineering, Testing and debugging – Error handling and recovery. D.2.13 [Software Engineering, Reusable Software – Reusable libraries. General Terms Design, Reliability, Languages. Keywords Framework, MVC, Command, Pattern, Exception, Undo, Redo, Java, Swing
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.628.1343; http://softwareresearch.net/fileadmin/src/docs/teaching/WS08/SE/PPPJ_2008_CommandFramework.pdf
-
3
Autoren:
Weitere Verfasser:
Schlagwörter: Reliability, D.2.5 [Software Engineering, Testing and Debugging—Error handling and recovery General Terms Design, Verification Keywords Exception handling, fault model, program analysis
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.76.7709; http://homepages.cwi.nl/~arie/papers/exceptions/icse2006.pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery, Testing and Debugging—Tracing, D.4.3 [Operating Systems, File Systems Management—Access methods, Directory structures, File organization, D.4.5 [Operating Systems, Reliability—Fault-tolerance, H.2 [Database management, Database Applications General Terms, Design, Experimentation, Performance, Reliability Additional Key Words and Phrases, File system transactions, Recoverable memory, Databases, File systems, ptrace monitors
Dateibeschreibung: application/pdf
-
5
Autoren:
Weitere Verfasser:
Schlagwörter: Program Verification—validation, D.2.5 [Software Engineering, Testing and Debugging—error handling and recovery, D.2.7 [Software Engineering, Distribution and Maintenance—restructuring, D.2.10 [Software Engineering, Design—representation, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—proof theory General Terms, Design, Theory, Languages, Verification Additional Key Words and Phrases, Managing inconsistency, paraconsistent logics, requirements specification, viewpoints
Dateibeschreibung: application/pdf
-
6
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging-error handling and recovery, D.3.4 [Programming Languages, Processors-optimization, compilers. General Terms, Languages, Reliability Additional Key Words and Phrases, Data flow analysis, available checks, very busy checks, check hoisting
Dateibeschreibung: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.7608; http://www.cs.arizona.edu/people/gupta/research/Publications/Comp/loplas.ps
-
7
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability, Verification Keywords Data structure repair, Assertion-driven development, Symbolic execution, Systematic search, Error recovery
Dateibeschreibung: application/pdf
-
8
Autoren:
Weitere Verfasser:
Schlagwörter: methods, reliability, validation, D.2.5 [Software Engineering, Testing and Debugging—error handling and recovery, D.4.3 [Operating Systems, File Systems Management Keywords Static program analysis, weighted pushdown systems, interprocedural dataflow
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.1345; http://www.cs.wisc.edu/%7Ecrubio/includes/ghc11.pdf
-
9
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— formal methods, reliability, validation, D.2.5 [Software Engineering, Testing and Debugging—error handling and recovery, D.4.3 [Operating Systems, File Systems Management General Terms Algorithms, Languages, Verification Keywords Static program analysis, interprocedural dataflow analysis, weighted pushdown systems, systems programming, pointers
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.6908; http://www.cs.wisc.edu/%7Ecrubio/includes/issta11.pdf
-
10
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability Keywords Data structure, Assertions, Systematic search, Symbolic execution, Error recovery
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science