Variability bugs in system software:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2013
|
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext http://d-nb.info/1034425447/34 Inhaltsverzeichnis |
| Beschreibung: | XII, 118 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041129011 | ||
| 003 | DE-604 | ||
| 005 | 20170113 | ||
| 007 | t | ||
| 008 | 130705s2013 gw d||| m||| 00||| eng d | ||
| 015 | |a 13,O06 |2 dnb | ||
| 016 | 7 | |a 1034425447 |2 DE-101 | |
| 035 | |a (OCoLC)856814085 | ||
| 035 | |a (DE-599)DNB1034425447 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-12 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 |a DE-29T | ||
| 082 | 0 | |a 005.14 |2 22//ger | |
| 100 | 1 | |a Sincero, Julio |e Verfasser |0 (DE-588)1036794733 |4 aut | |
| 245 | 1 | 0 | |a Variability bugs in system software |c von Julio Cezar Rodrigues Sincero |
| 264 | 1 | |c 2013 | |
| 300 | |a XII, 118 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Erlangen-Nürnberg, Univ., Diss., 2013 | ||
| 650 | 0 | 7 | |a Softwareproduktion |0 (DE-588)4295103-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bug |g Informatik |0 (DE-588)4238603-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a LINUX |0 (DE-588)4337730-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Variation |0 (DE-588)4187414-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a LINUX |0 (DE-588)4337730-0 |D s |
| 689 | 0 | 1 | |a Softwareproduktion |0 (DE-588)4295103-3 |D s |
| 689 | 0 | 2 | |a Bug |g Informatik |0 (DE-588)4238603-2 |D s |
| 689 | 0 | 3 | |a Variation |0 (DE-588)4187414-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:29-opus-45966 |
| 856 | 4 | |u https://open.fau.de/handle/openfau/3317 |x Verlag |z kostenfrei |3 Volltext | |
| 856 | 4 | 1 | |u https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-45966 |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | |u http://d-nb.info/1034425447/34 |x Langzeitarchivierung Nationalbibliothek | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026104871&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026104871 | ||
Datensatz im Suchindex
| _version_ | 1804150521520455680 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
1 INTRODUCTION 1
1.1 OVERVIEW 2
1.2 CONTRIBUTIONS 5
1.3 OUTLINE 6
2 VARIABILITY MANAGEMENT IN THEORY AND IN PRACTICE 7
2.1 SOFTWARE PRODUCT LINES 8
2.1.1 ORIGINS OF SOFTWARE PRODUCT LINES 8
2.1.2 SOFTWARE PRODUCT LINE ENGINEERING 9
2.1.3 VARIABILITY MANAGEMENT 11
2.1.4 FEATURE MODELS 11
2.2 THE LINUX KERNEL 15
2.2.1 ORGANIZATION 16
2.2.2 THE KERNEL CONFIGURATOR - KCONFIG 17
2.2.3 BUILD SYSTEM - K B U I L D 20
2.2.4 HETEROGENEOUS VARIABILITY MANAGEMENT 21
2.2.5 THE LINUX KERNEL FROM THE SPL PERSPECTIVE 21
2.3 PROBLEM OVERVIEW AND GOALS 22
3 SOURCE CODE VARIABILITY MODELS 27
3.1 INTRODUCTION 28
3.2 THE C PREPROCESSOR AS A VARIABILITY REALIZATION TECHNIQUE 28 3.2.1
THE C PREPROCESSOR LANGUAGE 29
3.2.2 QUANTIFYING VARIABILITY 33
3.3 GENERATING VARIABILITY MODELS FROM CPP-BASED ARTIFACTS 35 3.3.1
BASIC DEFINITIONS 36
3.3.2 CALCULATING VARIABILITY WITH THE CHECKER FUNCTION 39 3.4 REASONING
ON SOURCE CODE VARIABILITY MODELS WITH THE CHECKER FUNC TION 42
3.5 RELATED WORK 43
3.6 SUMMARY 44
IX
HTTP://D-NB.INFO/1036966194
IMAGE 2
X CONTENTS
4 SLICING VARIABILITY MODELS 45
4.1 THE ROLE OF CONFIGURATION VARIABILITY MODELS 46
4.2 SCALABILITY ISSUES OF VARIABILITY MODELS 47
4.3 SLICING MODELS 50
4.3.1 PRESENCE CONDITIONS 51
4.3.2 DISCUSSION 56
4.3.3 THE SLICING ALGORITHM 57
4.3.4 EXAMPLE - REASONING WITH SLICED MODELS 59
4.4 RELATED WORK 63
4.5 SUMMARY 64
5 MULTI-MODEL REASONING ABOUT VARIABILITY BUGS 67
5.1 INTRODUCTION 68
5.2 HIERARCHICAL ORGANIZATION OF VARIABILITY MODELS . * 68
5.3 REASONING OPERATIONS ON VARIABILITY MODELS 73
5.4 VARIABILITY BUGS 77
5.5 SUMMARY 79
6 VARIABILITY BUGS IN THE REAL 81
6.1 INTRODUCTION 82
6.2 THE U N D E R T A K E R TOOL 83
6.3 EXPERIMENT 1: REASONING ON SOURCE CODE VARIABILITY MODELS 84 6.4
EXPERIMENT 2: THE BENEFITS OF APPLYING THE SLICING ALGORITHM 88 6.5
EXPERIMENT 3: FINDING VARIABILITY BUGS IN THE LINUX KERNEL 93 6.6
EXPERIMENT 4: FIXING VARIABILITY BUGS OF THE LINUX KERNEL 97 6.7 SUMMARY
100
7 CONCLUSIONS AND FUTURE WORK 103
7.1 FUTURE WORK 107
|
| any_adam_object | 1 |
| author | Sincero, Julio |
| author_GND | (DE-588)1036794733 |
| author_facet | Sincero, Julio |
| author_role | aut |
| author_sort | Sincero, Julio |
| author_variant | j s js |
| building | Verbundindex |
| bvnumber | BV041129011 |
| collection | ebook |
| ctrlnum | (OCoLC)856814085 (DE-599)DNB1034425447 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02163nam a2200493 c 4500</leader><controlfield tag="001">BV041129011</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170113 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130705s2013 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1034425447</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)856814085</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1034425447</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sincero, Julio</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1036794733</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Variability bugs in system software</subfield><subfield code="c">von Julio Cezar Rodrigues Sincero</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 118 S.</subfield><subfield code="b">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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Erlangen-Nürnberg, Univ., Diss., 2013</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareproduktion</subfield><subfield code="0">(DE-588)4295103-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bug</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4238603-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">LINUX</subfield><subfield code="0">(DE-588)4337730-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Variation</subfield><subfield code="0">(DE-588)4187414-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">LINUX</subfield><subfield code="0">(DE-588)4337730-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwareproduktion</subfield><subfield code="0">(DE-588)4295103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Bug</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4238603-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Variation</subfield><subfield code="0">(DE-588)4187414-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:29-opus-45966</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://open.fau.de/handle/openfau/3317</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-45966</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://d-nb.info/1034425447/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=026104871&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026104871</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041129011 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:40:15Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026104871 |
| oclc_num | 856814085 |
| open_access_boolean | 1 |
| owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-29T |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-29T |
| physical | XII, 118 S. graph. Darst. |
| psigel | ebook |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| record_format | marc |
| spelling | Sincero, Julio Verfasser (DE-588)1036794733 aut Variability bugs in system software von Julio Cezar Rodrigues Sincero 2013 XII, 118 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Erlangen-Nürnberg, Univ., Diss., 2013 Softwareproduktion (DE-588)4295103-3 gnd rswk-swf Bug Informatik (DE-588)4238603-2 gnd rswk-swf LINUX (DE-588)4337730-0 gnd rswk-swf Variation (DE-588)4187414-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content LINUX (DE-588)4337730-0 s Softwareproduktion (DE-588)4295103-3 s Bug Informatik (DE-588)4238603-2 s Variation (DE-588)4187414-6 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:29-opus-45966 https://open.fau.de/handle/openfau/3317 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-45966 Resolving-System kostenfrei Volltext http://d-nb.info/1034425447/34 Langzeitarchivierung Nationalbibliothek DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026104871&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Sincero, Julio Variability bugs in system software Softwareproduktion (DE-588)4295103-3 gnd Bug Informatik (DE-588)4238603-2 gnd LINUX (DE-588)4337730-0 gnd Variation (DE-588)4187414-6 gnd |
| subject_GND | (DE-588)4295103-3 (DE-588)4238603-2 (DE-588)4337730-0 (DE-588)4187414-6 (DE-588)4113937-9 |
| title | Variability bugs in system software |
| title_auth | Variability bugs in system software |
| title_exact_search | Variability bugs in system software |
| title_full | Variability bugs in system software von Julio Cezar Rodrigues Sincero |
| title_fullStr | Variability bugs in system software von Julio Cezar Rodrigues Sincero |
| title_full_unstemmed | Variability bugs in system software von Julio Cezar Rodrigues Sincero |
| title_short | Variability bugs in system software |
| title_sort | variability bugs in system software |
| topic | Softwareproduktion (DE-588)4295103-3 gnd Bug Informatik (DE-588)4238603-2 gnd LINUX (DE-588)4337730-0 gnd Variation (DE-588)4187414-6 gnd |
| topic_facet | Softwareproduktion Bug Informatik LINUX Variation Hochschulschrift |
| url | https://open.fau.de/handle/openfau/3317 https://nbn-resolving.org/urn:nbn:de:bvb:29-opus-45966 http://d-nb.info/1034425447/34 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026104871&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sincerojulio variabilitybugsinsystemsoftware |