FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements
It is challenging to verify Non-Functional Requirements (NFRs) because the traditional verification process typically uses the binary concept of true or false to determine whether a requirement has been fulfilled, leaving no space for uncertainty, even in the slightest, such as partially positive or...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2024-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10776957/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850264650701078528 |
|---|---|
| author | Franklin Parrales-Bravo Rosangela Caicedo-Quiroz Julio Barzola-Monteses Leonel Vasquez-Cevallos |
| author_facet | Franklin Parrales-Bravo Rosangela Caicedo-Quiroz Julio Barzola-Monteses Leonel Vasquez-Cevallos |
| author_sort | Franklin Parrales-Bravo |
| collection | DOAJ |
| description | It is challenging to verify Non-Functional Requirements (NFRs) because the traditional verification process typically uses the binary concept of true or false to determine whether a requirement has been fulfilled, leaving no space for uncertainty, even in the slightest, such as partially positive or partially negative evaluations. Therefore, it is necessary to consider fuzzy logic to provide the opportunity to verify NFRs in a more flexible manner. To do this, the present manuscript exposes a methodology called the Fuzzy Representation of Unbounded and Imprecise Terms (FRUIT). It expands the PROSE structure, which we first presented in our earlier work, to enable the defining of user NFRs in natural language (NL) when considering fuzzy logic to make more flexible the evaluation of quantitative NFRs and enable the evaluation of qualitative NFRs. To define NFRs under the FRUIT methodology, we need to select the system property, metrics (linguistic variables), and fuzzy set that enable the evaluation of the NFR. A table containing attributes, metrics, and linguistic values is supplied to aid in its definition; the stakeholders and elicitors are tasked with defining the boundaries of each linguistic value. To evaluate the FRUIT methodology, 44 group projects from the required engineering courses offered between 2022 and 2024 at the University of Guayaquil were looked at by experts. According to the results, students decreased the proportion of bad NFRs from approximately 80% to 10%. In conclusion, the results show how important the FRUIT methodology is for helping students to define NFRs in NL while making more flexible the evaluation of NFRs. |
| format | Article |
| id | doaj-art-e78c39a46e344c98a309cdd1a469845c |
| institution | OA Journals |
| issn | 2169-3536 |
| language | English |
| publishDate | 2024-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj-art-e78c39a46e344c98a309cdd1a469845c2025-08-20T01:54:38ZengIEEEIEEE Access2169-35362024-01-011218277918278710.1109/ACCESS.2024.351103510776957FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional RequirementsFranklin Parrales-Bravo0https://orcid.org/0000-0002-6283-8197Rosangela Caicedo-Quiroz1https://orcid.org/0000-0003-0737-9132Julio Barzola-Monteses2https://orcid.org/0000-0003-2732-979XLeonel Vasquez-Cevallos3https://orcid.org/0000-0002-9332-0825Grupo de Investigación en Inteligencia Artificial, Facultad de Ciencias Matemáticas y Físicas, Universidad de Guayaquil, Guayaquil, EcuadorCentro de Estudios de Didáctica y Gestión de la Educación Superior, Universidad Bolivariana del Ecuador, Duran, EcuadorCentro de Estudios en Tecnologías Aplicadas, Universidad Bolivariana del Ecuador, Duran, EcuadorSIMUEES Simulation Clinic, Universidad Espíritu Santo, Samborondón, EcuadorIt is challenging to verify Non-Functional Requirements (NFRs) because the traditional verification process typically uses the binary concept of true or false to determine whether a requirement has been fulfilled, leaving no space for uncertainty, even in the slightest, such as partially positive or partially negative evaluations. Therefore, it is necessary to consider fuzzy logic to provide the opportunity to verify NFRs in a more flexible manner. To do this, the present manuscript exposes a methodology called the Fuzzy Representation of Unbounded and Imprecise Terms (FRUIT). It expands the PROSE structure, which we first presented in our earlier work, to enable the defining of user NFRs in natural language (NL) when considering fuzzy logic to make more flexible the evaluation of quantitative NFRs and enable the evaluation of qualitative NFRs. To define NFRs under the FRUIT methodology, we need to select the system property, metrics (linguistic variables), and fuzzy set that enable the evaluation of the NFR. A table containing attributes, metrics, and linguistic values is supplied to aid in its definition; the stakeholders and elicitors are tasked with defining the boundaries of each linguistic value. To evaluate the FRUIT methodology, 44 group projects from the required engineering courses offered between 2022 and 2024 at the University of Guayaquil were looked at by experts. According to the results, students decreased the proportion of bad NFRs from approximately 80% to 10%. In conclusion, the results show how important the FRUIT methodology is for helping students to define NFRs in NL while making more flexible the evaluation of NFRs.https://ieeexplore.ieee.org/document/10776957/Fuzzy logicrequirement specificationnon-functional requirementsrequirement engineeringsoftware engineering |
| spellingShingle | Franklin Parrales-Bravo Rosangela Caicedo-Quiroz Julio Barzola-Monteses Leonel Vasquez-Cevallos FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements IEEE Access Fuzzy logic requirement specification non-functional requirements requirement engineering software engineering |
| title | FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements |
| title_full | FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements |
| title_fullStr | FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements |
| title_full_unstemmed | FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements |
| title_short | FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements |
| title_sort | fruit fuzzy representation of unbounded and imprecise terms in non functional requirements |
| topic | Fuzzy logic requirement specification non-functional requirements requirement engineering software engineering |
| url | https://ieeexplore.ieee.org/document/10776957/ |
| work_keys_str_mv | AT franklinparralesbravo fruitfuzzyrepresentationofunboundedandimprecisetermsinnonfunctionalrequirements AT rosangelacaicedoquiroz fruitfuzzyrepresentationofunboundedandimprecisetermsinnonfunctionalrequirements AT juliobarzolamonteses fruitfuzzyrepresentationofunboundedandimprecisetermsinnonfunctionalrequirements AT leonelvasquezcevallos fruitfuzzyrepresentationofunboundedandimprecisetermsinnonfunctionalrequirements |