Towards automation of code reviews based on checklists:
Saved in:
| Main Author: | |
|---|---|
| Format: | Microfilm Book |
| Language: | Undetermined |
| Published: |
1998
|
| Edition: | [Mikrofiche-Ausg.] |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Paderborn, Univ. Gesamthochsch., Diss., 1998. - Mikrofiche-Ausg.: 2 Mikrofiches : 24x |
| Physical Description: | 162 S. Ill., graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012152743 | ||
| 003 | DE-604 | ||
| 005 | 19990210 | ||
| 007 | he|uuuuuuuuuu | ||
| 008 | 980914s1998 ad|| bm||| 00||| undod | ||
| 035 | |a (OCoLC)632474129 | ||
| 035 | |a (DE-599)BVBBV012152743 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91 |a DE-29T |a DE-355 | ||
| 084 | |a DAT 325d |2 stub | ||
| 100 | 1 | |a Crişan, Radu |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Towards automation of code reviews based on checklists |c von Radu Crişan |
| 246 | 1 | 3 | |a Towards automation of code-reviews based on checklists |
| 250 | |a [Mikrofiche-Ausg.] | ||
| 264 | 1 | |c 1998 | |
| 300 | |a 162 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b h |2 rdamedia | ||
| 338 | |b he |2 rdacarrier | ||
| 500 | |a Paderborn, Univ. Gesamthochsch., Diss., 1998. - Mikrofiche-Ausg.: 2 Mikrofiches : 24x | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programminspektion |0 (DE-588)4309132-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4398750-3 |a Checkliste |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programminspektion |0 (DE-588)4309132-5 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008231559&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008231559 | ||
Record in the Search Index
| _version_ | 1804126762491183104 |
|---|---|
| adam_text | Titel: Towards automation of code reviews based on checklists
Autor: Crişan, Radu
Jahr: 1998
Contents
1 Introduction 3
2 Program Analysis Concepts 7
2.1 Basic Definitions 8
2.2 Static Analysis 9
2.3 Static Analysis versus Program Testing 11
2.4 Manual Review Techniques 12
2.5 Checklist-Based Code-Reviews 16
2.6 Resume 24
3 Checklist-Driven Program Analysis 27
3.1 Principles of Program Understanding 27
3.2 Program Post-Documentation 30
3.3 Knowledge Representation Scheme 34
3.4 Modeling Dependencies between Checks 41
3.5 High-Level Knowledge Abstraction 47
3.6 Fault Modeling within Meta-Programs 51
3.7 Case-Based versus Rule-Based Reasoning 59
3.8 Resume 63
4 Checklist Augmentation 65
4.1 Handling Belief Revisions 66
4.2 Fact Templates for Fault Modeling 74
4.3 Rule-Set Augmentation 79
4.4 Factual Augmentation 83
4.5 Resume 92
5 Model-Based Classification of Faults According to their Severity 95
5.1 Fault Classification under Uncertainty 95
5.2 Fault Severity Estimation during Review Processes 98
5.3 Resume 103
6 Review Validation 105
6.1 Metrics to Determine the Efficiency of Reviews 107
6.2 Experiments for Performance Evaluation 109
6.3 Software Reliability Modeling 115
6.4 Rereviews Number Prediction using Software Reliability Models . 119
6.5 Resume 122
7 The PRORev System 125
7.1 Product Assurance Environment 125
7.2 PRORev System Overview 127
7.3 The PROGraph menu 129
7.4 Program Instrumentor and Analyzer 131
7.5 Consistency Checker 133
7.6 Report Generator 135
7.7 Other Components 137
8 Summary 139
Bibliography 143
A First-Order Predicate Logic and Prolog 153
A.I Propositional and First-Order Predicate Logic 153
A.2 Logic programming with Prolog 156
A.3 Meta-programming with Prolog 158
A.4 Outlook on Other Logics 159
B Notation 161
|
| any_adam_object | 1 |
| author | Crişan, Radu |
| author_facet | Crişan, Radu |
| author_role | aut |
| author_sort | Crişan, Radu |
| author_variant | r c rc |
| building | Verbundindex |
| bvnumber | BV012152743 |
| classification_tum | DAT 325d |
| ctrlnum | (OCoLC)632474129 (DE-599)BVBBV012152743 |
| discipline | Informatik |
| edition | [Mikrofiche-Ausg.] |
| format | Microfilm Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01564nam a2200385 c 4500</leader><controlfield tag="001">BV012152743</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990210 </controlfield><controlfield tag="007">he|uuuuuuuuuu</controlfield><controlfield tag="008">980914s1998 ad|| bm||| 00||| undod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)632474129</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012152743</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Crişan, Radu</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Towards automation of code reviews based on checklists</subfield><subfield code="c">von Radu Crişan</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Towards automation of code-reviews based on checklists</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[Mikrofiche-Ausg.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">162 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">h</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">he</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Paderborn, Univ. Gesamthochsch., Diss., 1998. - Mikrofiche-Ausg.: 2 Mikrofiches : 24x</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programminspektion</subfield><subfield code="0">(DE-588)4309132-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4398750-3</subfield><subfield code="a">Checkliste</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programminspektion</subfield><subfield code="0">(DE-588)4309132-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008231559&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008231559</subfield></datafield></record></collection> |
| genre | (DE-588)4398750-3 Checkliste gnd-content (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Checkliste Hochschulschrift |
| id | DE-604.BV012152743 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:22:36Z |
| institution | BVB |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008231559 |
| oclc_num | 632474129 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-29T DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-29T DE-355 DE-BY-UBR |
| physical | 162 S. Ill., graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| record_format | marc |
| spelling | Crişan, Radu Verfasser aut Towards automation of code reviews based on checklists von Radu Crişan Towards automation of code-reviews based on checklists [Mikrofiche-Ausg.] 1998 162 S. Ill., graph. Darst. txt rdacontent h rdamedia he rdacarrier Paderborn, Univ. Gesamthochsch., Diss., 1998. - Mikrofiche-Ausg.: 2 Mikrofiches : 24x Formale Methode (DE-588)4333722-3 gnd rswk-swf Programminspektion (DE-588)4309132-5 gnd rswk-swf (DE-588)4398750-3 Checkliste gnd-content (DE-588)4113937-9 Hochschulschrift gnd-content Programminspektion (DE-588)4309132-5 s Formale Methode (DE-588)4333722-3 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008231559&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Crişan, Radu Towards automation of code reviews based on checklists Formale Methode (DE-588)4333722-3 gnd Programminspektion (DE-588)4309132-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4309132-5 (DE-588)4398750-3 (DE-588)4113937-9 |
| title | Towards automation of code reviews based on checklists |
| title_alt | Towards automation of code-reviews based on checklists |
| title_auth | Towards automation of code reviews based on checklists |
| title_exact_search | Towards automation of code reviews based on checklists |
| title_full | Towards automation of code reviews based on checklists von Radu Crişan |
| title_fullStr | Towards automation of code reviews based on checklists von Radu Crişan |
| title_full_unstemmed | Towards automation of code reviews based on checklists von Radu Crişan |
| title_short | Towards automation of code reviews based on checklists |
| title_sort | towards automation of code reviews based on checklists |
| topic | Formale Methode (DE-588)4333722-3 gnd Programminspektion (DE-588)4309132-5 gnd |
| topic_facet | Formale Methode Programminspektion Checkliste Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008231559&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT crisanradu towardsautomationofcodereviewsbasedonchecklists |