Verifying families of system configurations:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Aachen
Shaker
2008
|
| Series: | Berichte aus der Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 222 S. Ill., graph. Darst. |
| ISBN: | 9783832272852 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV023378191 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 080703s2008 ad|| m||| 00||| eng d | ||
| 020 | |a 9783832272852 |9 978-3-8322-7285-2 | ||
| 035 | |a (OCoLC)239656759 | ||
| 035 | |a (DE-599)BVBBV023378191 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-12 |a DE-91G | ||
| 100 | 1 | |a Scheidemann, Kathrin Danielle |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Verifying families of system configurations |c Kathrin Danielle Scheidemann |
| 264 | 1 | |a Aachen |b Shaker |c 2008 | |
| 300 | |a X, 222 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Berichte aus der Informatik | |
| 502 | |a Zugl.: München, Techn. Univ., Diss., 2008 | ||
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konfiguration |g Informatik |0 (DE-588)4138568-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Produktfamilie |0 (DE-588)4457550-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätssicherung |0 (DE-588)4126457-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Produktfamilie |0 (DE-588)4457550-6 |D s |
| 689 | 0 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 3 | |a Konfiguration |g Informatik |0 (DE-588)4138568-8 |D s |
| 689 | 0 | 4 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | 5 | |a Qualitätssicherung |0 (DE-588)4126457-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=016561335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016561335 | ||
Record in the Search Index
| _version_ | 1804137749399207936 |
|---|---|
| adam_text | CONTENTS CONTENTS VII 1. INTRODUCTION 1 1.1. CONTRIBUTIONS 3 1.2.
ORGANIZATION OF THIS THESIS 3 1. FUNDAMENTALS 7 2. FAMILIES OF SYSTEM
CONFIGURATIONS 9 2.1. FAMILIES OF SYSTEM CONFIGURATIONS 9 2.2.
VARIABILITY 11 2.2.1. VARIABLE SYSTEM CHARACTERISTICS 11 2.2.2. BINDING
VARIABILITY 12 2.3. MODELING VARIABILITY 14 2.3.1. KNOWN CONCEPTS 14
2.3.2. THE SIMPLE, ORTHOGONAL VARIABILITY MODEL (SOVM) 18 2.4. RUNNING
EXAMPLE 22 2.5. SUMMARY 25 3. CONFIGURATION SELECTION IN SYSTEM FAMILY
VERIFICATION 27 3.1. SINGLE SYSTEM VERIFICATION 27 3.1.1. CENTRAL TERMS
28 3.1.2. CLASSIFICATION OF VERIFICATION METHODS 29 3.1.3. TESTING 30
3.1.4. CONCLUSION 44 3.2. EXISTING APPROACHES IN SYSTEM FAMILY TESTING
45 3.2.1. KNOWN APPROACHES IN SOFTWARE PRODUCT LINE TESTING 45 3.2.2.
CONCLUSION 48 3.3. EXISTING APPROACHES AND CHALLENGES IN CONFIGURATION
SELECTION 48 3.3.1. CHOOSING CONFIGURATIONS BASED ON A VARIABILITY MODEL
49 3.3.2. CHOOSING CONFIGURATIONS BASED ON COVERAGE 50 3.3.3. CONCLUSION
53 3.4. SUMMARY 53 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/989220141 DIGITALISIERT DURCH * * * * * * * * CONTENTS
8. DESIGN IMPLICATIONS OF CONFIGURATION SELECTION 191 8.1. VERIFIABILITY
AND CONFIGURATION SELECTION 191 8.2. FAMILY DESIGN ASPECTS WHICH
INFLUENCE VERIFICATION EFFORT 192 8.2.1. LOCALITY SET BASED PARTITIONING
193 8.2.2. FAMILY DESIGN ASPECTS WHICH INFLUENCE CONFIGURATION SPACE
PARTITIONING 198 8.2.3. CONCLUSION 202 8.3. SUMMARY 203 9. CONCLUSIONS
205 GLOSSARY 209 INDEX 213 BIBLIOGRAPHY 215
|
| adam_txt |
CONTENTS CONTENTS VII 1. INTRODUCTION 1 1.1. CONTRIBUTIONS 3 1.2.
ORGANIZATION OF THIS THESIS 3 1. FUNDAMENTALS 7 2. FAMILIES OF SYSTEM
CONFIGURATIONS 9 2.1. FAMILIES OF SYSTEM CONFIGURATIONS 9 2.2.
VARIABILITY 11 2.2.1. VARIABLE SYSTEM CHARACTERISTICS 11 2.2.2. BINDING
VARIABILITY 12 2.3. MODELING VARIABILITY 14 2.3.1. KNOWN CONCEPTS 14
2.3.2. THE SIMPLE, ORTHOGONAL VARIABILITY MODEL (SOVM) 18 2.4. RUNNING
EXAMPLE 22 2.5. SUMMARY 25 3. CONFIGURATION SELECTION IN SYSTEM FAMILY
VERIFICATION 27 3.1. SINGLE SYSTEM VERIFICATION 27 3.1.1. CENTRAL TERMS
28 3.1.2. CLASSIFICATION OF VERIFICATION METHODS 29 3.1.3. TESTING 30
3.1.4. CONCLUSION 44 3.2. EXISTING APPROACHES IN SYSTEM FAMILY TESTING
45 3.2.1. KNOWN APPROACHES IN SOFTWARE PRODUCT LINE TESTING 45 3.2.2.
CONCLUSION 48 3.3. EXISTING APPROACHES AND CHALLENGES IN CONFIGURATION
SELECTION 48 3.3.1. CHOOSING CONFIGURATIONS BASED ON A VARIABILITY MODEL
49 3.3.2. CHOOSING CONFIGURATIONS BASED ON COVERAGE 50 3.3.3. CONCLUSION
53 3.4. SUMMARY 53 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/989220141 DIGITALISIERT DURCH * * * * * * * * CONTENTS
8. DESIGN IMPLICATIONS OF CONFIGURATION SELECTION 191 8.1. VERIFIABILITY
AND CONFIGURATION SELECTION 191 8.2. FAMILY DESIGN ASPECTS WHICH
INFLUENCE VERIFICATION EFFORT 192 8.2.1. LOCALITY SET BASED PARTITIONING
193 8.2.2. FAMILY DESIGN ASPECTS WHICH INFLUENCE CONFIGURATION SPACE
PARTITIONING 198 8.2.3. CONCLUSION 202 8.3. SUMMARY 203 9. CONCLUSIONS
205 GLOSSARY 209 INDEX 213 BIBLIOGRAPHY 215 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Scheidemann, Kathrin Danielle |
| author_facet | Scheidemann, Kathrin Danielle |
| author_role | aut |
| author_sort | Scheidemann, Kathrin Danielle |
| author_variant | k d s kd kds |
| building | Verbundindex |
| bvnumber | BV023378191 |
| ctrlnum | (OCoLC)239656759 (DE-599)BVBBV023378191 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01962nam a2200457 c 4500</leader><controlfield tag="001">BV023378191</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080703s2008 ad|| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832272852</subfield><subfield code="9">978-3-8322-7285-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)239656759</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023378191</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="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Scheidemann, Kathrin Danielle</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifying families of system configurations</subfield><subfield code="c">Kathrin Danielle Scheidemann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 222 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">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="490" ind1="0" ind2=" "><subfield code="a">Berichte aus der Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 2008</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konfiguration</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4138568-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktfamilie</subfield><subfield code="0">(DE-588)4457550-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-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)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">Produktfamilie</subfield><subfield code="0">(DE-588)4457550-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Konfiguration</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4138568-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Qualitätssicherung</subfield><subfield code="0">(DE-588)4126457-5</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">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=016561335&sequence=000001&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-016561335</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV023378191 |
| illustrated | Illustrated |
| index_date | 2024-07-02T21:15:22Z |
| indexdate | 2024-07-09T21:17:14Z |
| institution | BVB |
| isbn | 9783832272852 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016561335 |
| oclc_num | 239656759 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM |
| physical | X, 222 S. Ill., graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Shaker |
| record_format | marc |
| series2 | Berichte aus der Informatik |
| spelling | Scheidemann, Kathrin Danielle Verfasser aut Verifying families of system configurations Kathrin Danielle Scheidemann Aachen Shaker 2008 X, 222 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berichte aus der Informatik Zugl.: München, Techn. Univ., Diss., 2008 Requirements engineering (DE-588)4213997-1 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Konfiguration Informatik (DE-588)4138568-8 gnd rswk-swf Produktfamilie (DE-588)4457550-6 gnd rswk-swf Qualitätssicherung (DE-588)4126457-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Produktfamilie (DE-588)4457550-6 s Eingebettetes System (DE-588)4396978-1 s Verifikation (DE-588)4135577-5 s Konfiguration Informatik (DE-588)4138568-8 s Requirements engineering (DE-588)4213997-1 s Qualitätssicherung (DE-588)4126457-5 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016561335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Scheidemann, Kathrin Danielle Verifying families of system configurations Requirements engineering (DE-588)4213997-1 gnd Verifikation (DE-588)4135577-5 gnd Eingebettetes System (DE-588)4396978-1 gnd Konfiguration Informatik (DE-588)4138568-8 gnd Produktfamilie (DE-588)4457550-6 gnd Qualitätssicherung (DE-588)4126457-5 gnd |
| subject_GND | (DE-588)4213997-1 (DE-588)4135577-5 (DE-588)4396978-1 (DE-588)4138568-8 (DE-588)4457550-6 (DE-588)4126457-5 (DE-588)4113937-9 |
| title | Verifying families of system configurations |
| title_auth | Verifying families of system configurations |
| title_exact_search | Verifying families of system configurations |
| title_exact_search_txtP | Verifying families of system configurations |
| title_full | Verifying families of system configurations Kathrin Danielle Scheidemann |
| title_fullStr | Verifying families of system configurations Kathrin Danielle Scheidemann |
| title_full_unstemmed | Verifying families of system configurations Kathrin Danielle Scheidemann |
| title_short | Verifying families of system configurations |
| title_sort | verifying families of system configurations |
| topic | Requirements engineering (DE-588)4213997-1 gnd Verifikation (DE-588)4135577-5 gnd Eingebettetes System (DE-588)4396978-1 gnd Konfiguration Informatik (DE-588)4138568-8 gnd Produktfamilie (DE-588)4457550-6 gnd Qualitätssicherung (DE-588)4126457-5 gnd |
| topic_facet | Requirements engineering Verifikation Eingebettetes System Konfiguration Informatik Produktfamilie Qualitätssicherung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016561335&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT scheidemannkathrindanielle verifyingfamiliesofsystemconfigurations |