A CONCEPTUAL FRAMEWORK FOR SOFTWARE REQUIREMENTS VALIDATION
Keywords:
Requirements Validation, Requirement Engineering, Concept Map, Software development, Software Requirements Specification (SRS), Natural Language, Design Description Languages, Mathematical Specification, Graphical Notations
Abstract
Requirements validation is one of the most significant and critical parts of the requirements engineering. This activity ensures that the set of requirements is accurate, right, complete, and consistent. Requirements validation is considered as the key activity because mistakes found in a software requirements document can lead to extensive rework costs when they are discovered either during development or after the system is in service. There are some commonly used bases to validate user requirements such as: Natural language, Design description languages, Graphical notations and Mathematical specification languages. Whereas the graphical notations are the most suitable means to be used in software requirements validation because it is easy to understand, and it can be easily created by analyst and time took. Therefore, this paper adopts the map concept which is a graphical technique for discovering the hidden flaws in software requirements in the early phases of software development lifecycle.
Downloads
Download data is not yet available.
References
[1] Ian Sommerville.: ‘Software engineering’, (Amazon, 2011, 9th Ed).
[2] MartinMonperrus, University of Lille.: 'Introduction to Empirical Software Engineering’, 2015.
[3] Murali Chemuturi.: ‘Requirements Engineering and Management for Software Development Projects’, Springer, 2012.
[4] Alfor, M W, Lawson, J T.: ‘Software Requirements Engineering Methodology (Development)’, Defense Technical Information Center (DTIC), 1979.
[5] Richard H. Thayer and Merlin Dorfman.: ‘Software Requirements Engineering’ (Amazon, 1997, 2nd Ed).
[6] Volodymyr Bolshutkin, Claudia Steinberger, and Mykola Tkachuk.: ‘Knowledge-Oriented Approach to Requirements Engineering in Ambient-Assisted Living Domain’, Springer, 2013.
[7] Nelly Condori-Fernández, Sergio España, Klaas Sikkel, Maya Daneva, Arturo González.: ‘Analyzing the Effect of the Collaborative Interactions on Performance of Requirements Validation’, University of Twente Research Information, 2014
[8] A. Terry Bahill, Steven J. Henderson.: ‘Requirements development, verification, and validation exhibited infamous failures’, Wiley Online Library, 2005.
[9] Massilia Kamalrudin, John Grundy.: ‘Generating Essential User Interface Prototypes to Validate Requirements’, Researchgate, 2011.
[10] Teyseyre, Alfredo Raúl.: ‘A 3D Visualization Approach to Validate Requirements’, Repositorio Institucional de la Universidad Nacional de La Plata(SEDICI), 2002.
[11] Van Lamsweerde, Axel.: ‘Requirements engineering: from system goals to UML models to software specifications’, Digital access to libraries, 2009.
[12] Capers Jones.:‘Software Engineering Best Practices: Lessons from Successful Projects in the Top Companies’, Amazon, 2010.
[13] Hong Kong Polytechnic University.: ‘A Study of requirements validation with UML’, Asian Journal of Natural & Applied Sciences, 2013.
[14] Khattri N, Miles GL.: ‘Cognitive mapping: a review and working guide’, Centre for Policy Research (CPR), 1994.
[15] Stephanie Sutherland, Steven Katz.: ‘Concept mapping methodology: A catalyst for organizational learning’, the experiential media methodology and theory I (EMMTI) 2005.
[16] A.Sharaf, M.El Defrawi, A.Elsayed.: ’Bootstrapping Domain Knowledge Exploration using Conceptual Mapping of Wikipedia’, Citeseer,2013
[17] Alexander Feinman, Jonathan Oexner, and Subrata K. Das.: ‘Using Formalized Concept Maps to Model Role-Based Workflows’, Institute for Human & Machine Cognition (IHMC), 2006.
[18] Kumar R, Sarukesi K, Uma G V.: ‘Exploring Concept Map and Its Role as Knowledge Assessment Tool (2009-2012)’, International Journal of Advanced Research in Computer Engineering & Technology, 2013.
[19] DP Ausubel, JD Novak, H Hanesian. ‘Educational psychology: A cognitive view ‘, spiked, 1986.
[20] Hongbing Kou, Philip M. Johnson.: ‘Automation of Test-Driven Development Validation with Software Microprocessor', IEEE, 2016.
[21] Aleksandar Bulajic and Radoslav Stojic.: ‘The Generalized Requirement Approach for Requirement Validation with Automatically Generated Program Code’, Informing Science Institute (ISI), 2014.
[22] Seza Adjoyan and Abdelhak Seriai.: ‘An Architecture Description Language for Dynamic Service-Oriented Product Lines’ Le Centre pour la Communication Scientifique Directe (CCSD), 2015.
[23] JM Spivey.: ‘The Z notation: a reference manual’, (books.google, 1992, 2nd Ed).
[24] Lieven Verschaffel, Mark Reybrouck, Marjan Janssens, Wim Van Dooren.: ‘Using graphical notations to assess children's experiencing simple and complex musical fragments’, sage journals, 2009.
[25] Luiz Marcio Cysneiros, Julio Csar and Julio Cesar Sampaio do Prado Leite.: ‘Using UML to Reflect Non-Functional Requirements ‘, Researchgate, 2001.
[26] Ng Pin.: ‘Applying Formal Concept Analysis in Requirements Validation with UML State Machine Model’, Run Run Shaw Library, 2010.
[27] P Scandurra, T Yue, A Arnoldi, M Dolci.: ‘Functional Requirements Validation by transforming Use Case Models into Abstract State Machines’, ACM Digital Library, 2012.
[28] Jiale Zhou, Yue Lu, and Kristina Lundqvist.: ‘A TASM-based Requirements Validation Approach for Safety-critical Embedded Systems’, Springer, 2014.
[29] Nor Aiza Mokhtar, Massilia Kamalrudin, Safiah Sidek, Mark Robinson.: ‘TestMEReq: Automated Acceptance Testing Tool For Requirements Validation’, ISoRIS'14, 2014.
[30] ‘Concept Maps - Lehman College’, www.lehman.edu, accessed 12 January 2018.
[31] J Coughlan, RD Macredie.: ‘Effective communication in requirements elicitation: a comparison of methodologies ‘,citeseerx, 2002.
[32] P. Nascimento, R. Aguas, D. Schneider1, J. Souzal.: ‘An Approach to Requirements Categorization using Kano's Model and Crowds ‘, PESC - Programa de Engenharia de Sistemas e Computação, 2012.
[33] Noriaki Kano.: ‘Attractive quality and must-be quality ‘,CiNii Articles - National Institute of Informatics, 1984.
[34] C. Parker, and B. P. Mathews.: ‘Customer satisfaction contrasting academic and consumers' interpretations’, Emeraldinsight, 2001
[35] E. Sauerwein, F. Bailom, K. Metzler and H. H. Hinterhuber.: ‘The Kano model: How to delight your customers’, KFUPM, 1996.
[36] Balsam A.Mustasfa.: ‘Classifying Software Requirements Using Kano’s Model to Optimize Customer Satisfaction’, Researchgate, 2014.
[37] Cigdem Basfirinci, Amitava Mitra.: ‘A cross-cultural investigation of airlines service quality through the integration of Servqual and the Kano model’, Elsevier, 2015.
[38] Belinda Ng’asia Wafula.: ‘Automatic Construction of Concept Maps’, UEF Electronic Publications, 2016.
[39] W. Martin Davies.: ‘Concept Mapping, Mind Mapping, and Argument Mapping: What are the Differences and Do They Matter?’, springer, 2011.
[40] H. Hussain and N. R. Shamsuar.: ‘Concept Map in Knowledge Sharing Model ‘, search ProQuest, 2013.
[41] ‘On Differencing Object-Oriented Formal Specifications’, http://www.jot.fm/issues/issue_2010_01/article5/, accessed 16 January 2018.
[42] ‘An examples of mixing concept map of natural sciences ‘. http://www.mstworkbooks.co.za/natural-sciences/gr7/gr7-mm-03.html, accessed 19 January 2018.
[2] MartinMonperrus, University of Lille.: 'Introduction to Empirical Software Engineering’, 2015.
[3] Murali Chemuturi.: ‘Requirements Engineering and Management for Software Development Projects’, Springer, 2012.
[4] Alfor, M W, Lawson, J T.: ‘Software Requirements Engineering Methodology (Development)’, Defense Technical Information Center (DTIC), 1979.
[5] Richard H. Thayer and Merlin Dorfman.: ‘Software Requirements Engineering’ (Amazon, 1997, 2nd Ed).
[6] Volodymyr Bolshutkin, Claudia Steinberger, and Mykola Tkachuk.: ‘Knowledge-Oriented Approach to Requirements Engineering in Ambient-Assisted Living Domain’, Springer, 2013.
[7] Nelly Condori-Fernández, Sergio España, Klaas Sikkel, Maya Daneva, Arturo González.: ‘Analyzing the Effect of the Collaborative Interactions on Performance of Requirements Validation’, University of Twente Research Information, 2014
[8] A. Terry Bahill, Steven J. Henderson.: ‘Requirements development, verification, and validation exhibited infamous failures’, Wiley Online Library, 2005.
[9] Massilia Kamalrudin, John Grundy.: ‘Generating Essential User Interface Prototypes to Validate Requirements’, Researchgate, 2011.
[10] Teyseyre, Alfredo Raúl.: ‘A 3D Visualization Approach to Validate Requirements’, Repositorio Institucional de la Universidad Nacional de La Plata(SEDICI), 2002.
[11] Van Lamsweerde, Axel.: ‘Requirements engineering: from system goals to UML models to software specifications’, Digital access to libraries, 2009.
[12] Capers Jones.:‘Software Engineering Best Practices: Lessons from Successful Projects in the Top Companies’, Amazon, 2010.
[13] Hong Kong Polytechnic University.: ‘A Study of requirements validation with UML’, Asian Journal of Natural & Applied Sciences, 2013.
[14] Khattri N, Miles GL.: ‘Cognitive mapping: a review and working guide’, Centre for Policy Research (CPR), 1994.
[15] Stephanie Sutherland, Steven Katz.: ‘Concept mapping methodology: A catalyst for organizational learning’, the experiential media methodology and theory I (EMMTI) 2005.
[16] A.Sharaf, M.El Defrawi, A.Elsayed.: ’Bootstrapping Domain Knowledge Exploration using Conceptual Mapping of Wikipedia’, Citeseer,2013
[17] Alexander Feinman, Jonathan Oexner, and Subrata K. Das.: ‘Using Formalized Concept Maps to Model Role-Based Workflows’, Institute for Human & Machine Cognition (IHMC), 2006.
[18] Kumar R, Sarukesi K, Uma G V.: ‘Exploring Concept Map and Its Role as Knowledge Assessment Tool (2009-2012)’, International Journal of Advanced Research in Computer Engineering & Technology, 2013.
[19] DP Ausubel, JD Novak, H Hanesian. ‘Educational psychology: A cognitive view ‘, spiked, 1986.
[20] Hongbing Kou, Philip M. Johnson.: ‘Automation of Test-Driven Development Validation with Software Microprocessor', IEEE, 2016.
[21] Aleksandar Bulajic and Radoslav Stojic.: ‘The Generalized Requirement Approach for Requirement Validation with Automatically Generated Program Code’, Informing Science Institute (ISI), 2014.
[22] Seza Adjoyan and Abdelhak Seriai.: ‘An Architecture Description Language for Dynamic Service-Oriented Product Lines’ Le Centre pour la Communication Scientifique Directe (CCSD), 2015.
[23] JM Spivey.: ‘The Z notation: a reference manual’, (books.google, 1992, 2nd Ed).
[24] Lieven Verschaffel, Mark Reybrouck, Marjan Janssens, Wim Van Dooren.: ‘Using graphical notations to assess children's experiencing simple and complex musical fragments’, sage journals, 2009.
[25] Luiz Marcio Cysneiros, Julio Csar and Julio Cesar Sampaio do Prado Leite.: ‘Using UML to Reflect Non-Functional Requirements ‘, Researchgate, 2001.
[26] Ng Pin.: ‘Applying Formal Concept Analysis in Requirements Validation with UML State Machine Model’, Run Run Shaw Library, 2010.
[27] P Scandurra, T Yue, A Arnoldi, M Dolci.: ‘Functional Requirements Validation by transforming Use Case Models into Abstract State Machines’, ACM Digital Library, 2012.
[28] Jiale Zhou, Yue Lu, and Kristina Lundqvist.: ‘A TASM-based Requirements Validation Approach for Safety-critical Embedded Systems’, Springer, 2014.
[29] Nor Aiza Mokhtar, Massilia Kamalrudin, Safiah Sidek, Mark Robinson.: ‘TestMEReq: Automated Acceptance Testing Tool For Requirements Validation’, ISoRIS'14, 2014.
[30] ‘Concept Maps - Lehman College’, www.lehman.edu, accessed 12 January 2018.
[31] J Coughlan, RD Macredie.: ‘Effective communication in requirements elicitation: a comparison of methodologies ‘,citeseerx, 2002.
[32] P. Nascimento, R. Aguas, D. Schneider1, J. Souzal.: ‘An Approach to Requirements Categorization using Kano's Model and Crowds ‘, PESC - Programa de Engenharia de Sistemas e Computação, 2012.
[33] Noriaki Kano.: ‘Attractive quality and must-be quality ‘,CiNii Articles - National Institute of Informatics, 1984.
[34] C. Parker, and B. P. Mathews.: ‘Customer satisfaction contrasting academic and consumers' interpretations’, Emeraldinsight, 2001
[35] E. Sauerwein, F. Bailom, K. Metzler and H. H. Hinterhuber.: ‘The Kano model: How to delight your customers’, KFUPM, 1996.
[36] Balsam A.Mustasfa.: ‘Classifying Software Requirements Using Kano’s Model to Optimize Customer Satisfaction’, Researchgate, 2014.
[37] Cigdem Basfirinci, Amitava Mitra.: ‘A cross-cultural investigation of airlines service quality through the integration of Servqual and the Kano model’, Elsevier, 2015.
[38] Belinda Ng’asia Wafula.: ‘Automatic Construction of Concept Maps’, UEF Electronic Publications, 2016.
[39] W. Martin Davies.: ‘Concept Mapping, Mind Mapping, and Argument Mapping: What are the Differences and Do They Matter?’, springer, 2011.
[40] H. Hussain and N. R. Shamsuar.: ‘Concept Map in Knowledge Sharing Model ‘, search ProQuest, 2013.
[41] ‘On Differencing Object-Oriented Formal Specifications’, http://www.jot.fm/issues/issue_2010_01/article5/, accessed 16 January 2018.
[42] ‘An examples of mixing concept map of natural sciences ‘. http://www.mstworkbooks.co.za/natural-sciences/gr7/gr7-mm-03.html, accessed 19 January 2018.
Published
2019-05-09
How to Cite
Ahmed , A. A., Ayman E. Khedr, & Sherif A. Kholeif. (2019). A CONCEPTUAL FRAMEWORK FOR SOFTWARE REQUIREMENTS VALIDATION. IJRDO-Journal of Applied Science, 5(4), 45-62. https://doi.org/10.53555/as.v5i4.2875
Section
Articles
Copyright (c) 2019 IJRDO - Journal of Applied Science (ISSN: 2455-6653)
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Author(s) and co-author(s) jointly and severally represent and warrant that the Article is original with the author(s) and does not infringe any copyright or violate any other right of any third parties, and that the Article has not been published elsewhere. Author(s) agree to the terms that the IJRDO Journal will have the full right to remove the published article on any misconduct found in the published article.
