From Natural Language Requirements to Passive Test Cases Using Guarded Assertions
In large-scale embedded system development, requirements are often expressed in natural language. Translating these requirements to executable test cases, while keeping the test cases and requirements aligned, is a challenging task. While such a transformation typically requires extensive domain kno...
Uložené v:
| Vydané v: | 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) s. 470 - 481 |
|---|---|
| Hlavní autori: | , , , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
01.07.2018
|
| Predmet: | |
| ISBN: | 9781538677575, 1538677571 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | In large-scale embedded system development, requirements are often expressed in natural language. Translating these requirements to executable test cases, while keeping the test cases and requirements aligned, is a challenging task. While such a transformation typically requires extensive domain knowledge, we show that a systematic process in combination with passive testing would facilitate the translation as well as linking the requirements to tests. Passive testing approaches observe the behavior of the system and test their correctness without interfering with the normal behavior. We use a specific approach to passive testing: guarded assertions (G/A). This paper presents a method for transforming system requirements expressed in natural language into G/As. We further present a proof of concept evaluation, performed at Bombardier Transportation Sweden AB, in which we show how the process would be used, together with practical advice of the reasoning behind the translation steps. |
|---|---|
| AbstractList | In large-scale embedded system development, requirements are often expressed in natural language. Translating these requirements to executable test cases, while keeping the test cases and requirements aligned, is a challenging task. While such a transformation typically requires extensive domain knowledge, we show that a systematic process in combination with passive testing would facilitate the translation as well as linking the requirements to tests. Passive testing approaches observe the behavior of the system and test their correctness without interfering with the normal behavior. We use a specific approach to passive testing: guarded assertions (G/A). This paper presents a method for transforming system requirements expressed in natural language into G/As. We further present a proof of concept evaluation, performed at Bombardier Transportation Sweden AB, in which we show how the process would be used, together with practical advice of the reasoning behind the translation steps. |
| Author | Avenir, Kobetski Eduard, Enoiu Thomas, Gustafsson Daniel, Flemstrom Wasif, Azal Daniel, Sundmark |
| Author_xml | – sequence: 1 givenname: Flemstrom surname: Daniel fullname: Daniel, Flemstrom – sequence: 2 givenname: Enoiu surname: Eduard fullname: Eduard, Enoiu – sequence: 3 givenname: Azal surname: Wasif fullname: Wasif, Azal – sequence: 4 givenname: Sundmark surname: Daniel fullname: Daniel, Sundmark – sequence: 5 givenname: Gustafsson surname: Thomas fullname: Thomas, Gustafsson – sequence: 6 givenname: Kobetski surname: Avenir fullname: Avenir, Kobetski |
| BackLink | https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-40744$$DView record from Swedish Publication Index (Mälardalens högskola) https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-35663$$DView record from Swedish Publication Index |
| BookMark | eNqFzEFPwjAYxvEaNVGRqxcvvSvYbu327khQ0ISoIHhd3m7vZg3boN00fntJMB68eHryT355zthR3dTE2IUUQylFcjNfvAwDIWEohIjEAesnMUgdQhTHOtaHf_qE9b1_39EgAhWp-JTNJ66p-CO2ncM1n2FddlgSX9C2s44qqlvP24Y_o_f2g_iSfMvH6Mnzlbd1yacdupxyPvKeXGub2p-z4wLXnvo_22Oryd1yfD-YPU0fxqPZwAYA7YBEbrTMQ5KRlAalzgIlTVGYQpLQACgMQBbnIDIg1JhraUgbA5nCQiQi7LGr_a__pE1n0o2zFbqvtEGb3trXUdq4MnU2DXUUhTt9_b-u8rdUiVipHb_cc0tEvxhUoJIEwm9uqXKt |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL ABGEM ADTPV BNKNJ BVBDO D8T DF7 |
| DOI | 10.1109/QRS.2018.00060 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings Accès Toulouse INP et ENVT - IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present SWEPUB Mälardalens högskola full text SwePub SwePub Conference SwePub Conference full text SWEPUB Freely available online SWEPUB Mälardalens högskola |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EISBN | 9781538677575 1538677571 |
| EndPage | 481 |
| ExternalDocumentID | oai_DiVA_org_ri_35663 oai_DiVA_org_mdh_40744 8424998 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IF 6IL 6IN AAJGR AAWTH ABLEC ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK IEGSK OCL RIE RIL ABGEM ADTPV BNKNJ BVBDO D8T DF7 |
| ID | FETCH-LOGICAL-i288t-e0db51d3e1611ba15c241bffbf1e0588a0b88c7d80c8ea5ad51be5bb8c4af0903 |
| IEDL.DBID | RIE |
| ISBN | 9781538677575 1538677571 |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000587579900047&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Sep 24 03:23:21 EDT 2025 Tue Nov 04 16:16:56 EST 2025 Wed Aug 27 02:47:55 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i288t-e0db51d3e1611ba15c241bffbf1e0588a0b88c7d80c8ea5ad51be5bb8c4af0903 |
| OpenAccessLink | https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-40744 |
| PageCount | 12 |
| ParticipantIDs | swepub_primary_oai_DiVA_org_ri_35663 swepub_primary_oai_DiVA_org_mdh_40744 ieee_primary_8424998 |
| PublicationCentury | 2000 |
| PublicationDate | 2018-Jul 2018 |
| PublicationDateYYYYMMDD | 2018-07-01 2018-01-01 |
| PublicationDate_xml | – month: 07 year: 2018 text: 2018-Jul |
| PublicationDecade | 2010 |
| PublicationTitle | 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) |
| PublicationTitleAbbrev | QRS |
| PublicationYear | 2018 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002684647 |
| Score | 1.7182919 |
| Snippet | In large-scale embedded system development, requirements are often expressed in natural language. Translating these requirements to executable test cases,... |
| SourceID | swepub ieee |
| SourceType | Open Access Repository Publisher |
| StartPage | 470 |
| SubjectTerms | Bombardier Transportation Brakes Computer software selection and evaluation Domain knowledge Ear Electronic mail Embedded systems Large scale embedded systems Natural language processing systems Natural language requirements Natural languages Passive Testing Proof of concept Software Engineering Software reliability Software Requirements Software Testing System requirements Systematic process Systematics Testing Translation (languages) |
| Title | From Natural Language Requirements to Passive Test Cases Using Guarded Assertions |
| URI | https://ieeexplore.ieee.org/document/8424998 https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-40744 https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-35663 |
| WOSCitedRecordID | wos000587579900047&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8NAEB3a4sGTSivWL_ZQb8YmzW6zOZZq8SClrVV6C_sxiz3YSJv6-93dhAgigrdAAgsvw8zszJs3AL1hLBU3jAXUDGlAU2PcIncZ4JCrJEJjc3rul00k0ylfrdJZA27rWRhE9OQzvHOPvpevc7V3pbI-p_aykPImNJMkKWe16nqKUy0Z0qTSZYzCtD9fPDvqluNKhk6B0m9P-aEI6qPI5Oh_5x9D53scj8zqQHMCDdy0YT7Z5u9kKrxuBnmqyo5kgY7a62t-O1LkZGaTY-vQyNJ6fzK2IWtHPEuAeNtATUa-H--MrwMvk4fl-DGo9iME6wHnRYChlizSMdqsLZIiYsqGY2mMNBGGjHMRSm4R1zxUHAUTmkUSmZRcUWFcfeYUWpt8g2dA0LUvaUg1ZSlNYymUdXtq4JR8hBZSdKHt4Mg-SgmMrEKiCzclmvULp1Z9v34dZRa47F2_ZfbCSGkXen99t11nsU0r4_PfT7mAQ_cfS5LsJbSK7R6v4EB9Fuvd9tqbwRf5D7dV |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT8JAEJ4gmuhJDRjxuQe8WWnpbtkeCUowIgFEw63Zx2zsATA8_P3uLgQTY0y8NWmTNl8nM7Mz33wDUE1iqbhhLKAmoQFNjXGL3GWACVeNCI3N6blfNtHo9fh4nPYLcLudhUFETz7DO3fpe_l6plauVFbj1B4WUr4Du4zSerSe1tpWVJxuSUIbG2XGKExrg-GLI285tmToNCj9_pQfmqA-jrQP__cFR1D-Hsgj_W2oOYYCTkswaM9nE9ITXjmDdDeFRzJER-71Vb8FWc5I36bH1qWRkfX_pGWD1oJ4ngDx1oGaNH1H3plfGV7bD6NWJ9hsSAjyOufLAEMtWaRjtHlbJEXElA3I0hhpIgwZ5yKU3GKueag4CiY0iyQyKbmiwrgKzQkUp7MpngJB18CkIdWUpTSNpVDW8am60_IRWkhRgZKDI_tYi2BkGyQqcLNGc3vD6VXf52_NzAKXTfR7Zo-MlFag-tdz8zyLbWIZn_3-lmvY74yeu1n3sfd0Dgfun64psxdQXM5XeAl76nOZL-ZX3iS-AKgWupw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2018+IEEE+International+Conference+on+Software+Quality%2C+Reliability+and+Security+%28QRS%29&rft.atitle=From+Natural+Language+Requirements+to+Passive+Test+Cases+Using+Guarded+Assertions&rft.au=Daniel%2C+Flemstrom&rft.au=Eduard%2C+Enoiu&rft.au=Wasif%2C+Azal&rft.au=Daniel%2C+Sundmark&rft.date=2018-07-01&rft.pub=IEEE&rft.spage=470&rft.epage=481&rft_id=info:doi/10.1109%2FQRS.2018.00060&rft.externalDocID=8424998 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781538677575/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781538677575/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781538677575/sc.gif&client=summon&freeimage=true |