SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION

SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION

Automated requirements-based test case generation method 200 includes constructing 205 a software architecture model derived from software design model architectural information, allocating 210 requirement models into blocks/operators of the software architecture model, and generating 215 component-...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: YU, Han, SIU, Kit Yan, DE CONTO, Augusto Marasca, OLIVEIRA, Italo, LI, Meng, DURLING, Michael Richard
Format: Patent
Sprache:eng ; fre ; ger
Schlagworte:
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator YU, Han
SIU, Kit Yan
DE CONTO, Augusto Marasca
OLIVEIRA, Italo
LI, Meng
DURLING, Michael Richard
description Automated requirements-based test case generation method 200 includes constructing 205 a software architecture model derived from software design model architectural information, allocating 210 requirement models into blocks/operators of the software architecture model, and generating 215 component-level requirements-based test cases from the software architecture configured to be executable at different levels in the software architecture. The component-level requirements-based test case generation method includes receiving a software architecture along with allocated requirement models represented in hierarchical data flow diagram, selecting one of the software components, building an intermediate test model based on the selected component by automatically attaching at least one of test objectives or constraints to the corresponding software architecture model blocks/operators based on the selected test strategy, and generating human and machine readable test cases with the test generator for further automatic conversion to test executable and test review artifacts. A system and a non-transitory computer-readable medium for implementing the method are also disclosed.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_EP3572945A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EP3572945A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_EP3572945A13</originalsourceid><addsrcrecordid>eNqNjEEKwjAQRbtxIeod5gJZaC3ickwmNmASzUyRrmqRuBIt1PtjFx7A1X88Hn9e3LhlIQ8YDHiSOhqwMQGjJWmVTk6cxhNwtHLFRICNRI9CBhJdGpfIUxBWB-RJCbGAnhCOFCihuBiWxezRP8e8-u2igOla1yoP7y6PQ3_Pr_zp6FxWu81-W-G6_CP5AkO_M2A</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION</title><source>esp@cenet</source><creator>YU, Han ; SIU, Kit Yan ; DE CONTO, Augusto Marasca ; OLIVEIRA, Italo ; LI, Meng ; DURLING, Michael Richard</creator><creatorcontrib>YU, Han ; SIU, Kit Yan ; DE CONTO, Augusto Marasca ; OLIVEIRA, Italo ; LI, Meng ; DURLING, Michael Richard</creatorcontrib><description>Automated requirements-based test case generation method 200 includes constructing 205 a software architecture model derived from software design model architectural information, allocating 210 requirement models into blocks/operators of the software architecture model, and generating 215 component-level requirements-based test cases from the software architecture configured to be executable at different levels in the software architecture. The component-level requirements-based test case generation method includes receiving a software architecture along with allocated requirement models represented in hierarchical data flow diagram, selecting one of the software components, building an intermediate test model based on the selected component by automatically attaching at least one of test objectives or constraints to the corresponding software architecture model blocks/operators based on the selected test strategy, and generating human and machine readable test cases with the test generator for further automatic conversion to test executable and test review artifacts. A system and a non-transitory computer-readable medium for implementing the method are also disclosed.</description><language>eng ; fre ; ger</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2019</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20191127&amp;DB=EPODOC&amp;CC=EP&amp;NR=3572945A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25564,76419</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20191127&amp;DB=EPODOC&amp;CC=EP&amp;NR=3572945A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>YU, Han</creatorcontrib><creatorcontrib>SIU, Kit Yan</creatorcontrib><creatorcontrib>DE CONTO, Augusto Marasca</creatorcontrib><creatorcontrib>OLIVEIRA, Italo</creatorcontrib><creatorcontrib>LI, Meng</creatorcontrib><creatorcontrib>DURLING, Michael Richard</creatorcontrib><title>SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION</title><description>Automated requirements-based test case generation method 200 includes constructing 205 a software architecture model derived from software design model architectural information, allocating 210 requirement models into blocks/operators of the software architecture model, and generating 215 component-level requirements-based test cases from the software architecture configured to be executable at different levels in the software architecture. The component-level requirements-based test case generation method includes receiving a software architecture along with allocated requirement models represented in hierarchical data flow diagram, selecting one of the software components, building an intermediate test model based on the selected component by automatically attaching at least one of test objectives or constraints to the corresponding software architecture model blocks/operators based on the selected test strategy, and generating human and machine readable test cases with the test generator for further automatic conversion to test executable and test review artifacts. A system and a non-transitory computer-readable medium for implementing the method are also disclosed.</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2019</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNjEEKwjAQRbtxIeod5gJZaC3ickwmNmASzUyRrmqRuBIt1PtjFx7A1X88Hn9e3LhlIQ8YDHiSOhqwMQGjJWmVTk6cxhNwtHLFRICNRI9CBhJdGpfIUxBWB-RJCbGAnhCOFCihuBiWxezRP8e8-u2igOla1yoP7y6PQ3_Pr_zp6FxWu81-W-G6_CP5AkO_M2A</recordid><startdate>20191127</startdate><enddate>20191127</enddate><creator>YU, Han</creator><creator>SIU, Kit Yan</creator><creator>DE CONTO, Augusto Marasca</creator><creator>OLIVEIRA, Italo</creator><creator>LI, Meng</creator><creator>DURLING, Michael Richard</creator><scope>EVB</scope></search><sort><creationdate>20191127</creationdate><title>SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION</title><author>YU, Han ; SIU, Kit Yan ; DE CONTO, Augusto Marasca ; OLIVEIRA, Italo ; LI, Meng ; DURLING, Michael Richard</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_EP3572945A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng ; fre ; ger</language><creationdate>2019</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>YU, Han</creatorcontrib><creatorcontrib>SIU, Kit Yan</creatorcontrib><creatorcontrib>DE CONTO, Augusto Marasca</creatorcontrib><creatorcontrib>OLIVEIRA, Italo</creatorcontrib><creatorcontrib>LI, Meng</creatorcontrib><creatorcontrib>DURLING, Michael Richard</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>YU, Han</au><au>SIU, Kit Yan</au><au>DE CONTO, Augusto Marasca</au><au>OLIVEIRA, Italo</au><au>LI, Meng</au><au>DURLING, Michael Richard</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION</title><date>2019-11-27</date><risdate>2019</risdate><abstract>Automated requirements-based test case generation method 200 includes constructing 205 a software architecture model derived from software design model architectural information, allocating 210 requirement models into blocks/operators of the software architecture model, and generating 215 component-level requirements-based test cases from the software architecture configured to be executable at different levels in the software architecture. The component-level requirements-based test case generation method includes receiving a software architecture along with allocated requirement models represented in hierarchical data flow diagram, selecting one of the software components, building an intermediate test model based on the selected component by automatically attaching at least one of test objectives or constraints to the corresponding software architecture model blocks/operators based on the selected test strategy, and generating human and machine readable test cases with the test generator for further automatic conversion to test executable and test review artifacts. A system and a non-transitory computer-readable medium for implementing the method are also disclosed.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng ; fre ; ger
recordid cdi_epo_espacenet_EP3572945A1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMENTS-BASED TEST CASE GENERATION
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T02%3A40%3A06IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=YU,%20Han&rft.date=2019-11-27&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EEP3572945A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true