A Model-Driven approach for functional test case generation
•We present an approach for early testing based on the Model-Driven paradigm.•We offer the view of a tool for solve this problem.•We present some real experiences where this approach was offered. Test phase is one of the most critical phases in software engineering life cycle to assure the final sys...
Saved in:
| Published in | The Journal of systems and software Vol. 109; pp. 214 - 228 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
New York
Elsevier Inc
01.11.2015
Elsevier Sequoia S.A |
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | •We present an approach for early testing based on the Model-Driven paradigm.•We offer the view of a tool for solve this problem.•We present some real experiences where this approach was offered.
Test phase is one of the most critical phases in software engineering life cycle to assure the final system quality. In this context, functional system test cases verify that the system under test fulfills its functional specification. Thus, these test cases are frequently designed from the different scenarios and alternatives depicted in functional requirements. The objective of this paper is to introduce a systematic process based on the Model-Driven paradigm to automate the generation of functional test cases from functional requirements. For this aim, a set of metamodels and transformations and also a specific language domain to use them is presented. The paper finishes stating learned lessons from the trenches as well as relevant future work and conclusions that draw new research lines in the test cases generation context.
[Display omitted] |
|---|---|
| AbstractList | •We present an approach for early testing based on the Model-Driven paradigm.•We offer the view of a tool for solve this problem.•We present some real experiences where this approach was offered.
Test phase is one of the most critical phases in software engineering life cycle to assure the final system quality. In this context, functional system test cases verify that the system under test fulfills its functional specification. Thus, these test cases are frequently designed from the different scenarios and alternatives depicted in functional requirements. The objective of this paper is to introduce a systematic process based on the Model-Driven paradigm to automate the generation of functional test cases from functional requirements. For this aim, a set of metamodels and transformations and also a specific language domain to use them is presented. The paper finishes stating learned lessons from the trenches as well as relevant future work and conclusions that draw new research lines in the test cases generation context.
[Display omitted] Test phase is one of the most critical phases in software engineering life cycle to assure the final system quality. In this context, functional system test cases verify that the system under test fulfills its functional specification. Thus, these test cases are frequently designed from the different scenarios and alternatives depicted in functional requirements. The objective of this paper is to introduce a systematic process based on the Model-Driven paradigm to automate the generation of functional test cases from functional requirements. For this aim, a set of metamodels and transformations and also a specific language domain to use them is presented. The paper finishes stating learned lessons from the trenches as well as relevant future work and conclusions that draw new research lines in the test cases generation context. |
| Author | Escalona, M.J. Mejías, M. Gutiérrez, J.J. |
| Author_xml | – sequence: 1 givenname: J.J. surname: Gutiérrez fullname: Gutiérrez, J.J. email: javierj@us.es – sequence: 2 givenname: M.J. orcidid: 0000-0002-6435-1497 surname: Escalona fullname: Escalona, M.J. email: mjescalona@us.es, mjescalona@iwt2.org – sequence: 3 givenname: M. surname: Mejías fullname: Mejías, M. email: risoto@us.es |
| BookMark | eNp9kE1LAzEQhoNUsK3-AG8Bz7vOZHebLD2V-gkVL3oO2eysZqmbmmwL_ntT6tnTDMP7Dg_PjE0GPxBj1wg5Ai5u-7yPMReAVQ4qB8AzNkUliwyFUBM2TZky7Sgu2CzGHgCkADFlyxV_8S1ts7vgDjRws9sFb-wn73zg3X6wo_OD2fKR4siticQ_aKBgjudLdt6ZbaSrvzln7w_3b-unbPP6-LxebTJbLNSYIZJUYKgxHZRKQAm2IIDaFKSqRqKtK2saWbcl1BWZSklhyLSWlGhFo7CYs5vT34T2vU8guvf7kKiiRollKUS9KFIKTykbfIyBOr0L7suEH42gj450r5MjfXSkQenkKHWWpw4l_IOjoKN1NFhqXSA76ta7f9q_k2Vv5A |
| CODEN | JSSODM |
| CitedBy_id | crossref_primary_10_1007_s00766_019_00325_w crossref_primary_10_1145_3674732 crossref_primary_10_1109_TR_2018_2809866 crossref_primary_10_1002_spe_2564 crossref_primary_10_1109_TSE_2020_2998503 crossref_primary_10_1016_j_jss_2019_110485 crossref_primary_10_24003_emitter_v10i1_628 crossref_primary_10_7717_peerj_cs_817 crossref_primary_10_1016_j_physa_2019_03_101 crossref_primary_10_32604_cmc_2022_023803 |
| Cites_doi | 10.1016/j.infsof.2015.02.012 10.1007/s00170-012-4521-5 10.17148/IJARCCE.2015.4168 10.1109/TSE.2008.27 10.1016/j.jss.2011.03.051 10.1016/j.jss.2013.02.061 10.1016/j.infsof.2013.04.005 10.1007/s00165-012-0258-z 10.4236/jsea.2014.76047 10.1145/62959.62964 10.1007/s10270-002-0004-8 10.1016/j.entcs.2004.02.084 10.1007/s11219-013-9226-y |
| ContentType | Journal Article |
| Copyright | 2015 Elsevier Inc. Copyright Elsevier Sequoia S.A. Nov 2015 |
| Copyright_xml | – notice: 2015 Elsevier Inc. – notice: Copyright Elsevier Sequoia S.A. Nov 2015 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.jss.2015.08.001 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-1228 |
| EndPage | 228 |
| ExternalDocumentID | 3814457131 10_1016_j_jss_2015_08_001 S0164121215001703 |
| Genre | Feature |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 7-5 71M 8P~ 9JN 9M8 AABNK AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN AAYOK ABBOA ABEFU ABFNM ABFRF ABFSI ABJNI ABMAC ABTAH ABXDB ABYKQ ACDAQ ACGFO ACGFS ACGOD ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADJOM ADMUD AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 MS~ N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ RXW SBC SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TAE TN5 TWZ UHS UNMZH VH1 WUQ XPP ZMT ZY4 ~G- AAXKI AAYXX AFJKZ AKRWK CITATION 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c368t-11e780aebaf0482040c3e009a3e85b71c95cab79d4095ea5872aeadce82d2b813 |
| IEDL.DBID | AIKHN |
| ISSN | 0164-1212 |
| IngestDate | Thu Oct 10 17:58:24 EDT 2024 Thu Sep 26 17:43:33 EDT 2024 Fri Feb 23 02:33:19 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Model-Driven testing Software quality assurance Early testing |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c368t-11e780aebaf0482040c3e009a3e85b71c95cab79d4095ea5872aeadce82d2b813 |
| ORCID | 0000-0002-6435-1497 |
| OpenAccessLink | https://idus.us.es/bitstream/11441/88270/1/A%20Model-Driven%20approach.pdf |
| PQID | 1714422963 |
| PQPubID | 45802 |
| PageCount | 15 |
| ParticipantIDs | proquest_journals_1714422963 crossref_primary_10_1016_j_jss_2015_08_001 elsevier_sciencedirect_doi_10_1016_j_jss_2015_08_001 |
| PublicationCentury | 2000 |
| PublicationDate | November 2015 2015-11-00 20151101 |
| PublicationDateYYYYMMDD | 2015-11-01 |
| PublicationDate_xml | – month: 11 year: 2015 text: November 2015 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | The Journal of systems and software |
| PublicationYear | 2015 |
| Publisher | Elsevier Inc Elsevier Sequoia S.A |
| Publisher_xml | – name: Elsevier Inc – name: Elsevier Sequoia S.A |
| References | Mogyorodi (bib0031) 2003; 16 Object Management Group. (2011). Unified Modeling Language 2.4. Kapová, Goldschmidt, Becker, Henss (bib0027) 2010 Denger, C.M.M., & Mora, M.M. (2003). Test case derived from requirement specifications. Fraunhofer IESE Report, Germany. NDT (Navigational Development Techniques) site. Ahlowalia (bib0002) 2002 Cutilla, García-García, Gutiérrez, Domínguez-Mayo, Cuaresma, Rodríguez-Catalán, Mayo (bib0013) 2012 Open Source Initiative. The BSD License. Huda, Arya, Khan (bib0025) 2015; 4 Völter, Stahl, Bettin, Haase, Helsen (bib0050) 2013 Escalona, Aragón (bib0017) 2008; 34 Object Management Group. (2010) Query View Transformation Specification 1.0. Mas, Rios, Menendez, Gomez (bib0030) 2013; 67 Scrum. Escalona, Gutierrez, Mejías, Aragón, Ramos, Torres, Domínguez (bib0018) 2011; 84 Binder (bib0008) 2000 Shah, Harrold, Sinha (bib0044) 2014; 56 Ali, Shaik, Kumar (bib0004) 2014; 95 Boronat (bib0010) 2007 Escalona, Gutierrez, Villadiego, León, Torres (bib0019) 2007 Ibrahim, Saringat, Ibrahim, Ismail (bib0026) October 2007 Anand, Burke, Chen, Clark, Cohen, Grieskamp, Haman, Harrold, McMinn (bib0005) 2013; 86 Object Management Group. (2013). UML Testing Profile 1.3. Last visit 05/2015. Hartmann, Vieira, Foster, Ruder (bib0024) 2004 Li, Li, Offutt (bib0028) 2012 García-García, Cutilla, Escalona, Alba, Torres (bib0022) 2013 Last visit 08/2014. Agencia de Obra Pública de la Junta de Andalucía. Consejería de Fomento y Vivienda. Sharma, Singh (bib0045) April 2013; 2 Utting, Prestschner, Legeard (bib0049) August 2012; 22 AIRBUS. Emasesa. Empresa Metropolitana de Abastecimiento y Saneamiento de Aguas de Sevilla. García-García, Ortega, García-Borgoñon, Escalona (bib0023) 2012 Enterprise Architect. Li, Yang, Li, Wang, Boehm, Hu (bib0029) 2010; 24 Nogueira, Sampaio, Mota (bib0033) 2014; 26 ATL Transformation Language. Boddu, Guo, Mukhopadhyay, Cukic (bib0009) September 2004 Briand, Labiche (bib0011) 2002; 1 Fröhlich, Link (bib0021) 2000 Chimisliu, Wotawa (bib0012) 2012 Ponce, Dominguez-Mayo, Gutierrez, Escalona (bib0040) 2014; 8 Ostrand, Balcer (bib0038) 1988; 31 Last visit 05/2015. Las visit 05/2015. Swain, Mohapatra, Mall (bib0046) 2010; 3 Bertolino, Marchetti, Muccini (bib0007) 2005; 116 Salido, García, Ponce, Gutierrez (bib0041) 2014; 7 Nazir, Khan, Testability Estimation Model (TEMOOD) (bib0048) January 2012; vol. 85 Panach, España, Dieste, Pastor, Juristo (bib0039) 2015; 62 Felderer, Ramler (bib0020) 2014; 22 Telecom, F. (2007). SmartQVT: an open source model transformation tool implementing the MOF 2.0. QVT-Operational language. Li (10.1016/j.jss.2015.08.001_bib0029) 2010; 24 Cutilla (10.1016/j.jss.2015.08.001_bib0013) 2012 Ostrand (10.1016/j.jss.2015.08.001_bib0038) 1988; 31 Salido (10.1016/j.jss.2015.08.001_bib0041) 2014; 7 García-García (10.1016/j.jss.2015.08.001_bib0022) 2013 10.1016/j.jss.2015.08.001_bib0016 10.1016/j.jss.2015.08.001_bib0014 10.1016/j.jss.2015.08.001_bib0015 10.1016/j.jss.2015.08.001_bib0043 Swain (10.1016/j.jss.2015.08.001_bib0046) 2010; 3 Ponce (10.1016/j.jss.2015.08.001_bib0040) 2014; 8 Hartmann (10.1016/j.jss.2015.08.001_bib0024) 2004 Shah (10.1016/j.jss.2015.08.001_bib0044) 2014; 56 Escalona (10.1016/j.jss.2015.08.001_bib0017) 2008; 34 Boddu (10.1016/j.jss.2015.08.001_bib0009) 2004 Panach (10.1016/j.jss.2015.08.001_bib0039) 2015; 62 Völter (10.1016/j.jss.2015.08.001_bib0050) 2013 Ali (10.1016/j.jss.2015.08.001_bib0004) 2014; 95 10.1016/j.jss.2015.08.001_bib0006 10.1016/j.jss.2015.08.001_bib0003 García-García (10.1016/j.jss.2015.08.001_bib0023) 2012 10.1016/j.jss.2015.08.001_bib0047 Ibrahim (10.1016/j.jss.2015.08.001_bib0026) 2007 10.1016/j.jss.2015.08.001_bib0001 Mas (10.1016/j.jss.2015.08.001_bib0030) 2013; 67 Escalona (10.1016/j.jss.2015.08.001_bib0019) 2007 10.1016/j.jss.2015.08.001_bib0032 Briand (10.1016/j.jss.2015.08.001_bib0011) 2002; 1 Chimisliu (10.1016/j.jss.2015.08.001_bib0012) 2012 Fröhlich (10.1016/j.jss.2015.08.001_bib0021) 2000 Boronat (10.1016/j.jss.2015.08.001_bib0010) 2007 Anand (10.1016/j.jss.2015.08.001_bib0005) 2013; 86 Mogyorodi (10.1016/j.jss.2015.08.001_bib0031) 2003; 16 Nazir (10.1016/j.jss.2015.08.001_bib0048) 2012; vol. 85 Huda (10.1016/j.jss.2015.08.001_bib0025) 2015; 4 Li (10.1016/j.jss.2015.08.001_bib0028) 2012 Escalona (10.1016/j.jss.2015.08.001_bib0018) 2011; 84 10.1016/j.jss.2015.08.001_bib0036 10.1016/j.jss.2015.08.001_bib0037 10.1016/j.jss.2015.08.001_bib0034 10.1016/j.jss.2015.08.001_bib0035 Felderer (10.1016/j.jss.2015.08.001_bib0020) 2014; 22 Kapová (10.1016/j.jss.2015.08.001_bib0027) 2010 Bertolino (10.1016/j.jss.2015.08.001_bib0007) 2005; 116 Nogueira (10.1016/j.jss.2015.08.001_bib0033) 2014; 26 Sharma (10.1016/j.jss.2015.08.001_bib0045) 2013; 2 Utting (10.1016/j.jss.2015.08.001_bib0049) 2012; 22 Binder (10.1016/j.jss.2015.08.001_bib0008) 2000 Ahlowalia (10.1016/j.jss.2015.08.001_bib0002) 2002 |
| References_xml | – year: 2004 ident: bib0024 article-title: UML-based test generation and execution publication-title: Präsentation auf der TAV21 in Berlin contributor: fullname: Ruder – volume: 95 start-page: 7 year: 2014 end-page: 11 ident: bib0004 article-title: Test case generation using UML state diagram and OCL expression publication-title: Int. J. Comput. Appl. contributor: fullname: Kumar – year: 2012 ident: bib0028 article-title: Better algorithms to minimize the cost of test paths publication-title: Fifth International Conference on Software Testing, Verification and Validation contributor: fullname: Offutt – year: 2007 ident: bib0010 article-title: MOMENT: A Formal Framework for MOdel ManageMENT contributor: fullname: Boronat – volume: 84 start-page: 1379 year: 2011 end-page: 1393 ident: bib0018 article-title: An overview on test generation from functional requirements publication-title: J. Syst. Software contributor: fullname: Domínguez – volume: 31 start-page: 676 year: 1988 end-page: 686 ident: bib0038 article-title: The category-partition method for specifying and generating functional tests publication-title: Commun. ACM contributor: fullname: Balcer – year: 2013 ident: bib0050 article-title: Model-Driven Software Development: Technology, Engineering, Management contributor: fullname: Helsen – volume: 86 start-page: 1978 year: 2013 end-page: 2001 ident: bib0005 article-title: An orchestrated survey of methodologies for automated software test case generation publication-title: J. Syst. Software contributor: fullname: McMinn – start-page: 151 year: 2010 end-page: 166 ident: bib0027 article-title: Evaluating maintainability with code metrics for model-to-model transformations publication-title: Research into Practice–Reality and Gaps contributor: fullname: Henss – volume: vol. 85 start-page: 178 year: January 2012 end-page: 187 ident: bib0048 publication-title: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering contributor: fullname: Testability Estimation Model (TEMOOD) – volume: 3 start-page: 21 year: 2010 end-page: 52 ident: bib0046 article-title: Test case generation based on use case and sequence diagram publication-title: Int. J. Software Eng. contributor: fullname: Mall – year: 2000 ident: bib0008 article-title: Testing Object-Oriented Systems: Models, Patterns, and Tools contributor: fullname: Binder – volume: 24 start-page: 783 year: 2010 end-page: 801 ident: bib0029 article-title: Improving software testing process: feature prioritization to make winners of success-critical stakeholders publication-title: J. Software: Evol. Process contributor: fullname: Hu – volume: 56 start-page: 6 year: 2014 end-page: 19 ident: bib0044 article-title: Global software testing under deadline pressure: vendor-side experiences publication-title: Inf. Software Technol. contributor: fullname: Sinha – volume: 22 start-page: 297 year: August 2012 end-page: 312 ident: bib0049 article-title: A taxonomy of model based testing publication-title: Software Test. Verification Reliab. contributor: fullname: Legeard – start-page: 89 year: 2013 end-page: 101 ident: bib0022 article-title: NDT-Driver: a Java tool to support QVT transformations for NDT publication-title: Information Systems Development contributor: fullname: Torres – start-page: 111 year: 2012 end-page: 119 ident: bib0013 article-title: Model-driven test engineering – a practical analysis in the AQUA-WS project publication-title: ICSOFT contributor: fullname: Mayo – volume: 7 start-page: 506 year: 2014 ident: bib0041 article-title: Tests management in CALIPSOneo: a MDE solution publication-title: J. Software Eng. Appl. contributor: fullname: Gutierrez – volume: 16 year: 2003 ident: bib0031 article-title: What is requirements-based testing? Crosstalk publication-title: J. Defense Software Eng. contributor: fullname: Mogyorodi – volume: 62 start-page: 164 year: 2015 end-page: 186 ident: bib0039 article-title: In search of evidence for model-driven development claims: an experiment on quality, effort, productivity and satisfaction publication-title: Inf. Software Technol. contributor: fullname: Juristo – start-page: 861 year: October 2007 end-page: 866 ident: bib0026 article-title: An automatic tool for generating test cases from the system's requirements publication-title: 7th IEEE International Conference on Computer and Information Technology, 2007, CIT 2007 contributor: fullname: Ismail – volume: 116 start-page: 85 year: 2005 end-page: 97 ident: bib0007 article-title: Introducing a reasonably complete and coherent approach for model-based testing publication-title: Electron. Notes Theor. Comput. Sci. contributor: fullname: Muccini – start-page: 64 year: 2012 end-page: 70 ident: bib0012 article-title: Category partition method and satisfiability modulo theories for test case generation publication-title: 2012 7th International Workshop on Automation of Software Test (AST) contributor: fullname: Wotawa – volume: 1 start-page: 10 year: 2002 end-page: 42 ident: bib0011 article-title: A UML-based approach to system testing publication-title: Software Syst. Model. contributor: fullname: Labiche – volume: 2 year: April 2013 ident: bib0045 article-title: Generation of automated test cases using UML modeling publication-title: Int. J. Eng. Res. Technol. contributor: fullname: Singh – volume: 8 start-page: 13 year: 2014 end-page: 22 ident: bib0040 article-title: Pruebas de aceptación orientadas al usuario: contexto ágil para un proyecto de gestión documental publication-title: Ibersid contributor: fullname: Escalona – year: 2002 ident: bib0002 article-title: Testing from use cases using path analysis technique publication-title: International Conference on Software Testing Analysis & Review contributor: fullname: Ahlowalia – start-page: 472 year: 2000 end-page: 491 ident: bib0021 article-title: Automated test case generation from dynamic models publication-title: ECOOP 2000—Object-Oriented Programming contributor: fullname: Link – volume: 26 start-page: 441 year: 2014 end-page: 490 ident: bib0033 article-title: Test generation from state based use case models publication-title: Formal Aspects Comput. contributor: fullname: Mota – volume: 22 start-page: 543 year: 2014 end-page: 575 ident: bib0020 article-title: Integrating risk-based testing in industrial test processes publication-title: Software Qual. J. contributor: fullname: Ramler – start-page: 469 year: 2012 end-page: 472 ident: bib0023 article-title: NDT-Suite: a model-based suite for the application of NDT publication-title: Web Engineering contributor: fullname: Escalona – volume: 34 start-page: 377 year: 2008 end-page: 390 ident: bib0017 article-title: NDT. A model-driven approach for web requirements publication-title: IEEE Trans. Software Eng. contributor: fullname: Aragón – volume: 4 start-page: 298 year: 2015 end-page: 302 ident: bib0025 article-title: Testability quantification framework of object oriented software: a new perspective publication-title: Int. J. Adv. Res. Comput. Commun. Eng. contributor: fullname: Khan – start-page: 421 year: 2007 end-page: 433 ident: bib0019 article-title: Practical experiences in web engineering publication-title: Advances in Information Systems Development contributor: fullname: Torres – start-page: 262 year: September 2004 end-page: 271 ident: bib0009 article-title: RETNA: from requirements to testing in a natural way publication-title: Proceedings of the 12th IEEE International Requirements Engineering Conference, 2004 contributor: fullname: Cukic – volume: 67 start-page: 771 year: 2013 end-page: 784 ident: bib0030 article-title: A process-oriented approach to modeling the conceptual design of aircraft assembly lines publication-title: Int. J. Adv. Manuf. Technol. contributor: fullname: Gomez – volume: 95 start-page: 7 issue: 12 year: 2014 ident: 10.1016/j.jss.2015.08.001_bib0004 article-title: Test case generation using UML state diagram and OCL expression publication-title: Int. J. Comput. Appl. contributor: fullname: Ali – volume: 22 start-page: 297 year: 2012 ident: 10.1016/j.jss.2015.08.001_bib0049 article-title: A taxonomy of model based testing contributor: fullname: Utting – ident: 10.1016/j.jss.2015.08.001_bib0043 – ident: 10.1016/j.jss.2015.08.001_bib0047 – volume: 62 start-page: 164 year: 2015 ident: 10.1016/j.jss.2015.08.001_bib0039 article-title: In search of evidence for model-driven development claims: an experiment on quality, effort, productivity and satisfaction publication-title: Inf. Software Technol. doi: 10.1016/j.infsof.2015.02.012 contributor: fullname: Panach – start-page: 472 year: 2000 ident: 10.1016/j.jss.2015.08.001_bib0021 article-title: Automated test case generation from dynamic models contributor: fullname: Fröhlich – year: 2012 ident: 10.1016/j.jss.2015.08.001_bib0028 article-title: Better algorithms to minimize the cost of test paths contributor: fullname: Li – ident: 10.1016/j.jss.2015.08.001_bib0001 – volume: 8 start-page: 13 year: 2014 ident: 10.1016/j.jss.2015.08.001_bib0040 article-title: Pruebas de aceptación orientadas al usuario: contexto ágil para un proyecto de gestión documental publication-title: Ibersid contributor: fullname: Ponce – ident: 10.1016/j.jss.2015.08.001_bib0034 – ident: 10.1016/j.jss.2015.08.001_bib0015 – year: 2000 ident: 10.1016/j.jss.2015.08.001_bib0008 contributor: fullname: Binder – start-page: 262 year: 2004 ident: 10.1016/j.jss.2015.08.001_bib0009 article-title: RETNA: from requirements to testing in a natural way contributor: fullname: Boddu – start-page: 64 year: 2012 ident: 10.1016/j.jss.2015.08.001_bib0012 article-title: Category partition method and satisfiability modulo theories for test case generation contributor: fullname: Chimisliu – volume: 67 start-page: 771 issue: 1–4 year: 2013 ident: 10.1016/j.jss.2015.08.001_bib0030 article-title: A process-oriented approach to modeling the conceptual design of aircraft assembly lines publication-title: Int. J. Adv. Manuf. Technol. doi: 10.1007/s00170-012-4521-5 contributor: fullname: Mas – volume: vol. 85 start-page: 178 year: 2012 ident: 10.1016/j.jss.2015.08.001_bib0048 contributor: fullname: Nazir – start-page: 861 year: 2007 ident: 10.1016/j.jss.2015.08.001_bib0026 article-title: An automatic tool for generating test cases from the system's requirements contributor: fullname: Ibrahim – year: 2007 ident: 10.1016/j.jss.2015.08.001_bib0010 contributor: fullname: Boronat – year: 2004 ident: 10.1016/j.jss.2015.08.001_bib0024 article-title: UML-based test generation and execution contributor: fullname: Hartmann – volume: 4 start-page: 298 issue: 1 year: 2015 ident: 10.1016/j.jss.2015.08.001_bib0025 article-title: Testability quantification framework of object oriented software: a new perspective publication-title: Int. J. Adv. Res. Comput. Commun. Eng. doi: 10.17148/IJARCCE.2015.4168 contributor: fullname: Huda – ident: 10.1016/j.jss.2015.08.001_bib0006 – volume: 24 start-page: 783 year: 2010 ident: 10.1016/j.jss.2015.08.001_bib0029 article-title: Improving software testing process: feature prioritization to make winners of success-critical stakeholders publication-title: J. Software: Evol. Process contributor: fullname: Li – volume: 34 start-page: 377 issue: 3 year: 2008 ident: 10.1016/j.jss.2015.08.001_bib0017 article-title: NDT. A model-driven approach for web requirements publication-title: IEEE Trans. Software Eng. doi: 10.1109/TSE.2008.27 contributor: fullname: Escalona – ident: 10.1016/j.jss.2015.08.001_bib0037 – volume: 84 start-page: 1379 issue: 8 year: 2011 ident: 10.1016/j.jss.2015.08.001_bib0018 article-title: An overview on test generation from functional requirements publication-title: J. Syst. Software doi: 10.1016/j.jss.2011.03.051 contributor: fullname: Escalona – volume: 3 start-page: 21 issue: 2 year: 2010 ident: 10.1016/j.jss.2015.08.001_bib0046 article-title: Test case generation based on use case and sequence diagram publication-title: Int. J. Software Eng. contributor: fullname: Swain – start-page: 151 year: 2010 ident: 10.1016/j.jss.2015.08.001_bib0027 article-title: Evaluating maintainability with code metrics for model-to-model transformations contributor: fullname: Kapová – start-page: 469 year: 2012 ident: 10.1016/j.jss.2015.08.001_bib0023 article-title: NDT-Suite: a model-based suite for the application of NDT contributor: fullname: García-García – volume: 86 start-page: 1978 issue: 8 year: 2013 ident: 10.1016/j.jss.2015.08.001_bib0005 article-title: An orchestrated survey of methodologies for automated software test case generation publication-title: J. Syst. Software doi: 10.1016/j.jss.2013.02.061 contributor: fullname: Anand – ident: 10.1016/j.jss.2015.08.001_bib0016 – volume: 2 issue: 4 year: 2013 ident: 10.1016/j.jss.2015.08.001_bib0045 article-title: Generation of automated test cases using UML modeling publication-title: Int. J. Eng. Res. Technol. contributor: fullname: Sharma – ident: 10.1016/j.jss.2015.08.001_bib0003 – volume: 56 start-page: 6 issue: 1 year: 2014 ident: 10.1016/j.jss.2015.08.001_bib0044 article-title: Global software testing under deadline pressure: vendor-side experiences publication-title: Inf. Software Technol. doi: 10.1016/j.infsof.2013.04.005 contributor: fullname: Shah – volume: 16 year: 2003 ident: 10.1016/j.jss.2015.08.001_bib0031 article-title: What is requirements-based testing? Crosstalk publication-title: J. Defense Software Eng. contributor: fullname: Mogyorodi – ident: 10.1016/j.jss.2015.08.001_bib0032 – ident: 10.1016/j.jss.2015.08.001_bib0036 – volume: 26 start-page: 441 issue: 3 year: 2014 ident: 10.1016/j.jss.2015.08.001_bib0033 article-title: Test generation from state based use case models publication-title: Formal Aspects Comput. doi: 10.1007/s00165-012-0258-z contributor: fullname: Nogueira – volume: 7 start-page: 506 issue: 06 year: 2014 ident: 10.1016/j.jss.2015.08.001_bib0041 article-title: Tests management in CALIPSOneo: a MDE solution publication-title: J. Software Eng. Appl. doi: 10.4236/jsea.2014.76047 contributor: fullname: Salido – year: 2013 ident: 10.1016/j.jss.2015.08.001_bib0050 contributor: fullname: Völter – start-page: 111 year: 2012 ident: 10.1016/j.jss.2015.08.001_bib0013 article-title: Model-driven test engineering – a practical analysis in the AQUA-WS project contributor: fullname: Cutilla – start-page: 421 year: 2007 ident: 10.1016/j.jss.2015.08.001_bib0019 article-title: Practical experiences in web engineering contributor: fullname: Escalona – volume: 31 start-page: 676 issue: 6 year: 1988 ident: 10.1016/j.jss.2015.08.001_bib0038 article-title: The category-partition method for specifying and generating functional tests publication-title: Commun. ACM doi: 10.1145/62959.62964 contributor: fullname: Ostrand – volume: 1 start-page: 10 issue: 1 year: 2002 ident: 10.1016/j.jss.2015.08.001_bib0011 article-title: A UML-based approach to system testing publication-title: Software Syst. Model. doi: 10.1007/s10270-002-0004-8 contributor: fullname: Briand – year: 2002 ident: 10.1016/j.jss.2015.08.001_bib0002 article-title: Testing from use cases using path analysis technique contributor: fullname: Ahlowalia – volume: 116 start-page: 85 year: 2005 ident: 10.1016/j.jss.2015.08.001_bib0007 article-title: Introducing a reasonably complete and coherent approach for model-based testing publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2004.02.084 contributor: fullname: Bertolino – volume: 22 start-page: 543 issue: 3 year: 2014 ident: 10.1016/j.jss.2015.08.001_bib0020 article-title: Integrating risk-based testing in industrial test processes publication-title: Software Qual. J. doi: 10.1007/s11219-013-9226-y contributor: fullname: Felderer – ident: 10.1016/j.jss.2015.08.001_bib0035 – ident: 10.1016/j.jss.2015.08.001_bib0014 – start-page: 89 year: 2013 ident: 10.1016/j.jss.2015.08.001_bib0022 article-title: NDT-Driver: a Java tool to support QVT transformations for NDT contributor: fullname: García-García |
| SSID | ssj0007202 |
| Score | 2.2626169 |
| Snippet | •We present an approach for early testing based on the Model-Driven paradigm.•We offer the view of a tool for solve this problem.•We present some real... Test phase is one of the most critical phases in software engineering life cycle to assure the final system quality. In this context, functional system test... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Publisher |
| StartPage | 214 |
| SubjectTerms | Design specifications Early testing Model-Driven testing Product life cycle Software engineering Software quality Software quality assurance Studies Test systems |
| Title | A Model-Driven approach for functional test case generation |
| URI | https://dx.doi.org/10.1016/j.jss.2015.08.001 https://www.proquest.com/docview/1714422963 |
| Volume | 109 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV09T8MwED31Y2HhG1EolQcmJNPaSepETFWhKiC6QKVulu06qAiVqg0rv51zYiOBEANjrDiKzr73zsndO4DzTJssyVREnTY6jQU3VFse0ySLIxXnAinBFTg_TPrjaXw3S2Y1GIZaGJdW6bG_wvQSrf1I11uzu1osuo9OHIpxp45QisBEdWgiHfG0Ac3B7f148gXIgpeph-5-6iaEn5tlmtfLxol2s6QU8vStYX6hpx9AXbLPaBe2fdhIBtWb7UHNLvdhJ7RkIN5DD-BqQFx3s1d6vXYwRoJkOMHYlDgOqz79EQwwC2KQwchzqTvthg9hOrp5Go6p749ATdRPC8qYFWlPWa1y9EOO7mgiizGTimyaaMFwFYzSIpvjGS6xKkkFV7hxjE35nOuURUfQWL4t7TEQnScCA7k4V308K2PYYJDWLZ8zY3Ix70UtuAhmkatKBkOG_LAXiTaUzobSdbTssRbEwXDy21pKhOm_prWDkaV3pI10_dljzhEmTv731FPYcldV-WAbGsX63Z5hHFHoDtQvP1jH75ZPNL_E-g |
| link.rule.ids | 315,783,787,4509,24128,27936,27937,45597,45691 |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV09T8MwELVKO8DCN6JQwAMTktXGjutETFWhSunHQit1s2zHQa1QQW34_5wTBwmEGFidOIrOvnfPyd07hG5jbWIeK0acNjoJBTVEWxoSHodMhZmAkOAKnCfTbjIPnxZ8UUP9qhbGpVV67C8xvUBrP9L21my_L5ftZycOFVCnjlCIwLAd1AA2EIN3NnrDUTL9AmRBi9RDdz9xE6qfm0Wa12rrRLsDXgh5-tYwv4SnH0BdRJ_BIdr3tBH3yjc7QjW7PkYHVUsG7D30BN33sOtu9koeNg7GcCUZjoGbYhfDyk9_GAhmjg1EMPxS6E674VM0HzzO-gnx_RGIYd0oJ0FgRdRRVqsM_JCCOxpmgTMpZiOuRQCrYJQWcQpnOG4VjwRVsHGMjWhKdRSwM1Rfv63tOcI64wKIXJipLpyVgTYYCOuWpoExmUg7rInuKrPI91IGQ1b5YSsJNpTOhtJ1tOwETRRWhpPf1lICTP81rVUZWXpH2krXnz2kFGDi4n9PvUG7yWwyluPhdHSJ9tyVspSwher55sNeAafI9bXfM5_96sbu |
| 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%3Ajournal&rft.genre=article&rft.atitle=A+Model-Driven+approach+for+functional+test+case+generation&rft.jtitle=The+Journal+of+systems+and+software&rft.au=Guti%C3%A9rrez%2C+JJ&rft.au=Escalona%2C+MJ&rft.au=Mej%C3%ADas%2C+M&rft.date=2015-11-01&rft.pub=Elsevier+Sequoia+S.A&rft.issn=0164-1212&rft.eissn=1873-1228&rft.volume=109&rft.spage=214&rft_id=info:doi/10.1016%2Fj.jss.2015.08.001&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=3814457131 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0164-1212&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0164-1212&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0164-1212&client=summon |