Skip to main content
SpringerLink
Log in

Best Practices for Requirements Validation Process

  • Conference paper
  • First Online:
Computer Science – CACIC 2021 (CACIC 2021)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1584))

Included in the following conference series:

  • 338 Accesses

Abstract

One of the most important phases in software development projects is the validation of requirements. Erroneous requirements, if not detected on time, can cause problems, such as additional costs, failure to meet expected objectives and delays in delivery. For these reasons, it is beneficial to invest efforts to this task. This paper aims to identify best practices that can help to carry out the Requirements Validation process. The best practices are determined by the analysis of software requirements validation approaches proposed in recent years, in order to evaluate their characteristics with the “Way-of” framework and the reference model for technical reviews.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Laplante, P.A.: Requirements Engineering for Software and Systems. CRC Press, Boca Raton (2019)

    Google Scholar 

  2. Cheng, B.H.C., Atlee, J.M.: Current and future research directions in requirements engineering. In: Lyytinen, K., Loucopoulos, P., Mylopoulos, J., Robinson, B. (eds.) Design Requirements Engineering: A Ten-Year Perspective. LNBIP, vol. 14, pp. 11–43. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-540-92966-6_2

    Chapter  Google Scholar 

  3. Kotonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. Wiley, England (1998)

    Google Scholar 

  4. Pfleeger, S.L.: Software Engineering - Theory and Practice. Prentice Hall, Hoboken (1998)

    Google Scholar 

  5. Kotonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. Wiley, England (2000)

    Google Scholar 

  6. Bahill, A.T., Henderson, S.J.: Requirements development, verification, and validation exhibited in famous failures. Syst. Eng. 8, 1–14 (2005). https://doi.org/10.1002/sys.20017

  7. Loucopoulos, P., Karakostas, V.: System Requirements Engineering, McGraw-Hill, London (1995). ISBN 0-07-707843-8

    Google Scholar 

  8. Santana, S.R., Antonelli, L., Thomas, P.: Evaluación de metodologías para la validación de requerimientos. In: XXVII Congreso Argentino de Ciencias de la Computación (CACIC), pp. 419–428 (2021). ISBN 978 -987-633-574-4

    Google Scholar 

  9. Aiza, M.N., Massila, K., Yusof, M.M., Sidek, S.: A review on requirements validation for software development. J. Theor. Appl. Inf. Technol. 96(11) (2018)

    Google Scholar 

  10. Kokune, A., Mizuno, M., Kadoya, K., Yamamoto, S.: FBCM: strategy modeling method for the validation of software requirements. J. Syst. Softw. 80(3), 314–327 (2007)

    Article  Google Scholar 

  11. Machado, R.J., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Requirements validation: execution of UML Models with CPN tools. Int. J. Softw. Tools Technol. Transfer 9(3–4), 353–369 (2007). https://doi.org/10.1007/s10009-007-0035-0

    Article  Google Scholar 

  12. Li, D., Li, X., Liu, J., Liu, Z.: Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4(3), 241–248 (2008)

    Article  Google Scholar 

  13. Cavada, R., et al.: Tonetta: supporting requirements validation: the EuRailCheck tool. In: ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering, pp. 665–667 (2009)

    Google Scholar 

  14. Jureta, I., Mylopoulos, J., Faulkner, S.: Analysis of multi-party agreement in requirements validation. In: 17th IEEE International Requirements Engineering Conference, pp. 57–66 (2009)

    Google Scholar 

  15. Cimatti, A., Roveri, M., Susi, A., Tonetta, S.: From informal requirements to property-driven formal validation. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 166–181. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03240-0_15

    Chapter  Google Scholar 

  16. Aceituna, D., Do, H., Lee, E.S.: SQ^(2): an approach to requirements validation with scenario question. In: Asia Pacific Software Engineering Conference, pp. 33–42 (2010)

    Google Scholar 

  17. Kof, L., Gacitua, R., Rouncefield, M., Sawyer, P.: Ontology and model alignment as a means for requirements validation. In: IEEE Fourth International Conference on Semantic Computing, pp. 46–51 (2010)

    Google Scholar 

  18. Sourour, M.D., Zarour, N.: A methodology of collaborative requirements validation in a cooperative environment. In: 10th International Symposium on Programming and Systems, Algiers, Algeria, pp. 140–147 (2011)

    Google Scholar 

  19. Kamalrudin, M., Grundy, J.: Generating essential user interface prototypes to validate requirements. In: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 564–567 (2011)

    Google Scholar 

  20. Holtmann, J., Meyer, J., von Detten, M.: Automatic validation and correction of formalized, textual requirements. In: IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp. 486–495 (2011)

    Google Scholar 

  21. Aceituna, D., Do, H., Lee, S.W.: Interactive requirements validation for reactive systems through virtual requirements prototype. In: Model-Driven Requirements Engineering Workshop, MoDRE 2011, pp. 1–10 (2011)

    Google Scholar 

  22. Sharma, R., Biswas, K.K.: Using norm analysis patterns for automated requirements validation. In: Second IEEE International Workshop on Requirements Patterns (RePa), pp. 23–28 (2012)

    Google Scholar 

  23. Cimatti, A., Roveri, M., Susi, A., Tonetta, S.: Validation of requirements for hybrid systems. ACM Trans. Softw. Eng. Methodol 21(4), 1–34 (2012)

    Article  Google Scholar 

  24. Felderer, M., Beer, A.: Using defect taxonomies for requirements validation in industrial projects. In: 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings, pp. 296–301 (2013)

    Google Scholar 

  25. Gaur, V., Soni, A.: A fuzzy traceability vector model for requirements validation. Int. J. Comput. Appl. Technol. 47(2/3), 172–188 (2013)

    Article  Google Scholar 

  26. Lee, Y.K., In, H.P., Kazman, R.: Customer requirements validation method based on mental models. In: 21st Asia-Pacific Software Engineering Conference, vol. 1, pp. 199–206 (2014)

    Google Scholar 

  27. Rodrigues, A.: Quality of requirements specifications - a framework for automatic validation of requirements. In: Proceedings of the 16th International Conference on Enterprise Information Systems, pp. 96–107 (2014)

    Google Scholar 

  28. Nazir, S.: A process improvement in requirement verification and validation using ontology. In: Asia-Pacific World Congress on Computer Science and Engineering, pp. 1–8 (2014)

    Google Scholar 

  29. Saito, S., Hagiwara, J., Yagasaki, T., Natsukawa, K.: ReVAMP: requirements validation approach using models and prototyping, practical cases of requirements engineering in end-user computing. J. Inf. Process. 23(4), 411–419 (2015)

    Google Scholar 

  30. Ali, N., Lai, R.: A method of software requirements specification and validation for global software development. Requirements Eng. 22(2), 191–214 (2015). https://doi.org/10.1007/s00766-015-0240-4

    Article  Google Scholar 

  31. Zafar, S., Farooq-Khan, N., Ahmed, M.: Requirements simulation for early validation using behavior trees and Datalog. Inf. Softw. Technol. 61, 52–70 (2015)

    Article  Google Scholar 

  32. Miao, W., et al.: Automated requirements validation for atp software via specification review and testing. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 26–40. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47846-3_3

    Chapter  Google Scholar 

  33. Yusop, N., Kamalrudin, M., Sidek, S., Grundy, J.: Automated support to capture and validate security requirements for mobile apps. Commun. Comput. Inf. Sci. 671, 97–112 (2016)

    Google Scholar 

  34. El-Attar, M., Abdul-Ghani, H.A.: Using security robustness analysis for early-stage validation of functional security requirements. Requirements Eng. 21(1), 1–27 (2014). https://doi.org/10.1007/s00766-014-0208-9

    Article  Google Scholar 

  35. Moketar, A., Kamalrudin, M., Sidek, S., Robinson, M., Grundy, J.: An automated collaborative requirements engineering tool for better validation of requirements (2016)

    Google Scholar 

  36. Rosadini, B., Ferrari, A., Gori, G., Fantechi, A., Gnesi, S., Trotta, I., Bacherini, S.: Using NLP to detect requirements defects: an industrial experience in the railway domain. In: Grünbacher, P., Perini, A. (eds.) REFSQ 2017. LNCS, vol. 10153, pp. 344–360. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-54045-0_24

    Chapter  Google Scholar 

  37. Buchholz, C., Vorsatz, T., Kind, S., Stark, R.: SHPbench - a smart hybrid prototyping based environment for early testing, verification and (user based) validation of advanced driver assistant systems of cars. Procedia CIRP 60, 139–144 (2017)

    Article  Google Scholar 

  38. Stachtiari, E., Mavridou, A., Katsaros, P., Bliudze, S., Sifakis, J.: Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145, 52–78 (2018)

    Article  Google Scholar 

  39. Chahin, A., Paetzold, K.: Planning validation & verification steps according to the dependency of requirements and product architecture. In: IEEE International Conference on Engineering, Technology and Innovation (ICE/ITMC), pp. 1–6 (2018)

    Google Scholar 

  40. Gruber, K., Huemer, J., Zimmermann, A., Maschotta, R.: Automotive requirements validation and traceability analysis with AQL queries. In: IEEE International Systems Engineering Symposium (ISSE), pp. 1–7 (2018)

    Google Scholar 

  41. Bayona-Oré, S., Chamilco, J., Perez, D.: Software process improvement: requirements management, verification and validation. In: 14th Iberian Conference on Information Systems and Technologies (CISTI), pp. 1–5 (2019)

    Google Scholar 

  42. Yang, Y., Ke, W., Li, X.: RM2PT: requirements validation through automatic prototyping. In: IEEE 27th International Requirements Engineering Conference (RE), pp. 484–485 (2019)

    Google Scholar 

  43. Atoum, I.: A scalable operational framework for requirements validation using semantic and functional models. In: Proceedings of the 2nd International Conference on Software Engineering and Information Management (ICSIM 2019), New York, pp. 1–6. Association for Computing Machinery (2019)

    Google Scholar 

  44. Alshareef, S.F., Maatuk, A.M., Abdelaziz, T.M., Hagal, M.: Validation framework for aspectual requirements engineering (ValFAR). In: Proceedings of the 6th International Conference on Engineering & MIS (ICEMIS’20), Article 42, New York, pp. 1–7. Association for Computing Machinery (2020)

    Google Scholar 

  45. Iqbal, D., Abbas, A., Ali, M., Khan, M.U.S., Nawaz, R.: Requirement validation for embedded systems in automotive industry through modeling. IEEE 8, 8697–8719 (2020)

    Google Scholar 

  46. Fei, X., Bin, C., Siming, Z.: A methodology of requirements validation for aviation system development. In: Chinese Control and Decision Conference (CCDC), pp. 4484–4489 (2020)

    Google Scholar 

  47. Mashkoor, A., Leuschel, M., Egyed, A.: Validation obligations: a novel approach to check compliance between requirements and their formal specification (2021)

    Google Scholar 

  48. Seligmann, P.S., Wijers, G.M., Sol, H.G.: Analyzing the structure of IS methodologies, an alternative approach. In: Proceedings of the First Dutch Conference on Information Systems, Amersfoort, The Netherlands (1989)

    Google Scholar 

  49. Sol, H.G.: A feature analysis of information systems design methodologies: methodological considerations. In: Olle, T.W., Sol, H.G., Tully, C.J. (eds.), Information Systems Design Methodologies: A Feature Analysis. Olle, H.G. Sol, C.J. Tully (eds.), Information Systems Design Methodologies: A Feature Analysis, North-Holland, Amsterdam, The Netherlands (1983)

    Google Scholar 

  50. Kensing, F.: Towards evaluation of methods for property determination. In: Bemelmans, M.A. (ed.) Beyond Productivity: Information Systems Development for Organizational Effectiveness, North-Holland, Amsterdam, The Netherlands, pp.325–338 (1984)

    Google Scholar 

  51. Wijers, G.M., Heijes, H.: Automated support of the modelling process: a view based on experiments with expert information engineers. In: Steinholtz, B., Sølvberg, A., Bergman, L. (eds.) Advanced Information Systems Engineering. CAiSE 1990. Lecture Notes in Computer Science, vol. 436, pp 88–108. Springer, Berlin (1990). https://doi.org/10.1007/BFb0000588

  52. Pressman, S.R.: Software Engineering. A practical approach, 7th edn, Mc Graw Hill, Mexico City (2010)

    Google Scholar 

  53. IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1998 pp.1–40 (1998)

    Google Scholar 

  54. Martin, J.N.: Overview of the EIA 632 standard: processes for engineering a system. In: 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No. 98CH36267), pp. B32–1 (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultad de Ciencias de la Administración, Universidad Nacional de Entre Ríos, Concordia, Entre Ríos, Argentina

    Sonia R. Santana

  2. Laboratorio de Investigación y Formación en Informática Avanzada (LIFIA), Facultad de Informática, Universidad Nacional de La Plata, Buenos Aires, Argentina

    Leandro R. Antonelli

  3. Instituto de Investigación en Informática (LIDI), Facultad de Informática, Universidad Nacional de La Plata, Buenos Aires, Argentina

    Pablo J. Thomas

Authors
  1. Sonia R. Santana
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leandro R. Antonelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pablo J. Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sonia R. Santana .

Editor information

Editors and Affiliations

  1. National University of La Plata, La Plata, Argentina

    Patricia Pesado

  2. National University of Salta, Salta, Argentina

    Gustavo Gil

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Santana, S.R., Antonelli, L.R., Thomas, P.J. (2022). Best Practices for Requirements Validation Process. In: Pesado, P., Gil, G. (eds) Computer Science – CACIC 2021. CACIC 2021. Communications in Computer and Information Science, vol 1584. Springer, Cham. https://doi.org/10.1007/978-3-031-05903-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-05903-2_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-05902-5

  • Online ISBN: 978-3-031-05903-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation