Completing behaviour driven development for testing and verification: bringing agile to hardware development
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | English |
Veröffentlicht: |
2015
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | xiv, 128 Seiten Illustrationen |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV043430882 | ||
003 | DE-604 | ||
005 | 20160323 | ||
007 | t | ||
008 | 160304s2015 a||| m||| 00||| eng d | ||
035 | |a (OCoLC)936055184 | ||
035 | |a (DE-599)GBV843543590 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-355 | ||
082 | 0 | |a 004.24 |2 22//ger | |
084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
100 | 1 | |a Diepenbeck, Melanie |e Verfasser |4 aut | |
245 | 1 | 0 | |a Completing behaviour driven development for testing and verification |b bringing agile to hardware development |c Melanie Diepenbeck |
264 | 1 | |c 2015 | |
300 | |a xiv, 128 Seiten |b Illustrationen | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
502 | |b Dissertation |c Universität Bremen |d 2015 | ||
650 | 0 | 7 | |a Hardware |0 (DE-588)4023422-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Benutzerverhalten |0 (DE-588)4122898-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Design |0 (DE-588)4011510-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Hardware |0 (DE-588)4023422-8 |D s |
689 | 0 | 1 | |a Benutzerverhalten |0 (DE-588)4122898-4 |D s |
689 | 0 | 2 | |a Design |0 (DE-588)4011510-0 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028848620&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-028848620 |
Datensatz im Suchindex
_version_ | 1804176029600710656 |
---|---|
adam_text | CONTENTS
1 INTRODUCTION 1
1.1 Overview...................................................... 6
2 PRELIMINARIES 7
2.1 State-of-the-Art Design Flow ................................. 7
2.2 Test Driven Development ................................. 9
2.3 Behaviour Driven Development................................... 11
2.4 Coverage.................................................. 18
2.4.1 Coverage Metrics........................................ 18
2.5 Formal Verification ....................................... 20
2.5.1 Property Specification Language ........................ 22
3 tests 25
3.1 Empirical Study on Coverage in BDD Projects.................... 26
3.1.1 Study Outline........................................... 26
3.1.2 Results................................................. 28
3.1.3 Discussion ............................................. 32
3.2 Finding Missing Test Cases..................................... 33
3.2.1 Related Work............................................ 34
3.2.2 Scenario Generation..................................... 36
3.2.3 Tool Implementation................................... 47
3.2.4 Case Study.............................................. 53
3.3 Testing Hardware Designs with BDD.............................. 62
3.3.1 Related Work............................................ 62
3.3.2 Test Benches and Clock Generators....................... 62
3.3.3 Behaviour Driven Development for Hardware Design ... 65
3.4 Summary........................................................ 68
4 PROPERTIES 71
4.1 Running Examples............................................... 73
4.2 Specifying Properties.......................................... 73
4.2.1 Related Work............................................ 73
4.2.2 Textual Properties ..................................... 74
4.3 Generalising Properties from Tests............................. 79
4.3.1 Related Work............................................ 80
xi
CONTENTS
Xll
4.3.2 Property Generalisation................................ 80
4.3.3 Limitation of Property Generalisation ................. 89
4.4 Generating Scenarios from Properties.......................... 91
4.4.1 Related Work........................................... 91
4.4.2 Scenario Generation.................................... 93
4.5 Summary...................................................... 103
5 conclusions 105
A APPENDIX 107
a. 1 Finding Missing Scenarios .............................. 107
a. 1.1 Manually Written Scenarios............................ 107
a.1.2 Generated Scenarios for Global Coverage ............... 110
a. 1.3 Generated Scenarios for Local Coverage................ Ill
a.2 BDD for Hardware Design....................................... Ill
a.2.1 Counter............................................... 112
a.2.2 First֊In-First֊Out Queue.............................. 113
a.2.3 Arithmetic ֊Logic Unit................................ 115
BIBLIOGRAPHY 119
|
any_adam_object | 1 |
author | Diepenbeck, Melanie |
author_facet | Diepenbeck, Melanie |
author_role | aut |
author_sort | Diepenbeck, Melanie |
author_variant | m d md |
building | Verbundindex |
bvnumber | BV043430882 |
classification_rvk | ST 150 |
ctrlnum | (OCoLC)936055184 (DE-599)GBV843543590 |
dewey-full | 004.24 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.24 |
dewey-search | 004.24 |
dewey-sort | 14.24 |
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>01558nam a2200385 c 4500</leader><controlfield tag="001">BV043430882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160323 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160304s2015 a||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)936055184</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV843543590</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Diepenbeck, Melanie</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Completing behaviour driven development for testing and verification</subfield><subfield code="b">bringing agile to hardware development</subfield><subfield code="c">Melanie Diepenbeck</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 128 Seiten</subfield><subfield code="b">Illustrationen</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="b">Dissertation</subfield><subfield code="c">Universität Bremen</subfield><subfield code="d">2015</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardware</subfield><subfield code="0">(DE-588)4023422-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Benutzerverhalten</subfield><subfield code="0">(DE-588)4122898-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Design</subfield><subfield code="0">(DE-588)4011510-0</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">Hardware</subfield><subfield code="0">(DE-588)4023422-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Benutzerverhalten</subfield><subfield code="0">(DE-588)4122898-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Design</subfield><subfield code="0">(DE-588)4011510-0</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">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=028848620&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-028848620</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV043430882 |
illustrated | Illustrated |
indexdate | 2024-07-10T07:25:41Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028848620 |
oclc_num | 936055184 |
open_access_boolean | |
owner | DE-355 DE-BY-UBR |
owner_facet | DE-355 DE-BY-UBR |
physical | xiv, 128 Seiten Illustrationen |
publishDate | 2015 |
publishDateSearch | 2015 |
publishDateSort | 2015 |
record_format | marc |
spelling | Diepenbeck, Melanie Verfasser aut Completing behaviour driven development for testing and verification bringing agile to hardware development Melanie Diepenbeck 2015 xiv, 128 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Dissertation Universität Bremen 2015 Hardware (DE-588)4023422-8 gnd rswk-swf Benutzerverhalten (DE-588)4122898-4 gnd rswk-swf Design (DE-588)4011510-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Hardware (DE-588)4023422-8 s Benutzerverhalten (DE-588)4122898-4 s Design (DE-588)4011510-0 s DE-604 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028848620&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Diepenbeck, Melanie Completing behaviour driven development for testing and verification bringing agile to hardware development Hardware (DE-588)4023422-8 gnd Benutzerverhalten (DE-588)4122898-4 gnd Design (DE-588)4011510-0 gnd |
subject_GND | (DE-588)4023422-8 (DE-588)4122898-4 (DE-588)4011510-0 (DE-588)4113937-9 |
title | Completing behaviour driven development for testing and verification bringing agile to hardware development |
title_auth | Completing behaviour driven development for testing and verification bringing agile to hardware development |
title_exact_search | Completing behaviour driven development for testing and verification bringing agile to hardware development |
title_full | Completing behaviour driven development for testing and verification bringing agile to hardware development Melanie Diepenbeck |
title_fullStr | Completing behaviour driven development for testing and verification bringing agile to hardware development Melanie Diepenbeck |
title_full_unstemmed | Completing behaviour driven development for testing and verification bringing agile to hardware development Melanie Diepenbeck |
title_short | Completing behaviour driven development for testing and verification |
title_sort | completing behaviour driven development for testing and verification bringing agile to hardware development |
title_sub | bringing agile to hardware development |
topic | Hardware (DE-588)4023422-8 gnd Benutzerverhalten (DE-588)4122898-4 gnd Design (DE-588)4011510-0 gnd |
topic_facet | Hardware Benutzerverhalten Design Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028848620&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT diepenbeckmelanie completingbehaviourdrivendevelopmentfortestingandverificationbringingagiletohardwaredevelopment |