1. Identity statement | |
Reference Type | Journal Article |
Site | plutao.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | J8LNKAN8RW/3C63AA8 |
Repository | dpi.inpe.br/plutao/2012/06.21.16.31 (restricted access) |
Last Update | 2012:08.30.12.20.15 (UTC) administrator |
Metadata Repository | dpi.inpe.br/plutao/2012/06.21.16.31.21 |
Metadata Last Update | 2018:06.05.00.01.41 (UTC) administrator |
DOI | 10.1007/s11219-011-9155-6 |
ISSN | 0963-9314 |
Label | lattes: 5039690360728170 1 SantiagoJúniorVija:2012:GeMoTe |
Citation Key | SantiagoJúniorVija:2012:GeMoTe |
Title | Generating model-based test cases from natural language requirements for space application software |
Year | 2012 |
Access Date | 2024, Apr. 19 |
Secondary Type | PRE PI |
Number of Files | 1 |
Size | 3106 KiB |
|
2. Context | |
Author | 1 Santiago Júnior, Valdivino Alexandre de 2 Vijaykumar, Nandamudi Lankalapalli |
Resume Identifier | 1 8JMKD3MGP5W/3C9JJB5 2 8JMKD3MGP5W/3C9JHTU |
Group | 1 DAS-CEA-INPE-MCTI-GOV-BR 2 LAC-CTE-INPE-MCTI-GOV-BR |
Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 valdivino@das.inpe.br 2 vijay@lac.inpe.br |
e-Mail Address | valdivino@das.inpe.br |
Journal | Software Quality Journal |
Volume | 20 |
Number | 1 |
Pages | 77-143 |
Secondary Mark | B2_CIÊNCIA_DA_COMPUTAÇÃO |
History (UTC) | 2012-06-22 00:10:58 :: lattes -> secretaria.cpa@dir.inpe.br :: 2012 2013-01-07 17:50:12 :: secretaria.cpa@dir.inpe.br -> administrator :: 2012 2018-06-05 00:01:41 :: administrator -> marciana :: 2012 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | publisher |
Keywords | Model-based testing Natural language requirements Semantic translation model Word sense disambiguation Statecharts |
Abstract | Natural Language (NL) deliverables suffer from ambiguity, poor understandability, incompleteness, and inconsistency. Howewer, NL is straightforward and stakeholders are familiar with it to produce their software requirements documents. This paper presents a methodology, SOLIMVA, which aims at model-based test case generation considering NL requirements deliverables. The methodology is supported by a tool that makes it possible to automatically translate NL requirements into Statechart models. Once the Statecharts are derived, another tool, GTSC, is used to generate the test cases. SOLIMVA uses combinatorial designs to identify scenarios for system and acceptance testing, and it requires that a test designer defines the application domain by means of a dictionary. Within the dictionary there is a Semantic Translation Model in which, among other features, a word sense disambiguation method helps in the translation process. Using as a case study a space application software product, we compared SOLIMVA with a previous manual approach developed by an expert under two aspects: test objectives coverage and characteristics of the Executable Test Cases. In the first aspect, the SOLIMVA methodology not only covered the test objectives associated to the experts scenarios but also proposed a better strategy with test objectives clearly separated according to the directives of combinatorial designs. The Executable Test Cases derived in accordance with the SOLIMVA methodology not only possessed similar characteristics with the experts Executable Test Cases but also predicted behaviors that did not exist in the experts strategy. The key benefits from applying the SOLIMVA methodology/tool within a Verification and Validation process are the ease of use and, at the same time, the support of a formal method consequently leading to a potential acceptance of the methodology in complex software projects. |
Area | CEA |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGCE > Generating model-based test... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDAS > Generating model-based test... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | there are no files |
|
4. Conditions of access and use | |
Language | en |
Target File | SantiagoJr_Vijaykumar_2012.pdf |
User Group | administrator lattes secretaria.cpa@dir.inpe.br |
Reader Group | administrator secretaria.cpa@dir.inpe.br |
Visibility | shown |
Archiving Policy | denypublisher denyfinaldraft12 |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Linking | Trabalho Vinculado à Tese/Dissertação |
Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3ETR8EH |
Citing Item List | sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
Dissemination | WEBSCI; PORTALCAPES. |
Host Collection | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notes | |
Notes | Setores de Atividade: Pesquisa e desenvolvimento científico. |
Empty Fields | alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark mirrorrepository month nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarytype typeofwork url |
|
7. Description control | |
e-Mail (login) | marciana |
update | |
|