Alignment of requirements specification and testing: A systematic mapping study

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

Volumn , Issue , 2011, Pages 476-485

  Barmi, Zeinab Alizadeh ^a   Ebrahimi, Amir Hossein ^a   Feldt, Robert ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL REQUIREMENT; MODEL BASED TESTING; NON-FUNCTIONAL REQUIREMENTS; PRODUCT QUALITY; REQUIREMENTS SPECIFICATIONS; SOFTWARE SYSTEMS; STATE OF THE ART; SYSTEMATIC MAPPING;

ALIGNMENT; COMPUTER SOFTWARE SELECTION AND EVALUATION; SPECIFICATIONS; VERIFICATION;

SOFTWARE TESTING;

EID: 80051659665     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2011.58     Document Type: Conference Paper

References (46)

1. J. Kukkanen, K. Vakevainen, M. Kauppinen, et al., "Applying a systematic approach to link requirements and testing: a case study, " in Asia-Pacific Software Engineering Conference (APSEC), Piscataway, NJ, USA, 2009, pp. 482- 488.
2. H. Post, C. Sinz, F. Merz, et al., "Linking functional requirements and software verification, " in 17thIEEE International Requirements Engineering Conference(RE), Piscataway, NJ, USA, 2009, pp. 295-302.
3. E. J. Uusitalo, M. Komssi, M. Kauppinen, et al., "Linking requirements and testing in practice, " in 16th IEEE International Requirements Engineering Conference, NJ, USA, 2008, pp. 265-70.
4. Lars Grunske, "Specification Patterns for Probabilistic Quality Properties, " in 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany., 2008, pp. 31-40.
5. Abderrahman Matoussi and Régine Laleau, "A Survey of Non-Functional Requirements in Software Development Process, " Technical report TR-LACL-2008-7, LACL (Laboratory of Algorithms, Complexity and Logic), University of Paris-Est (Paris 12), 2008.
6. M. Felderer, P. Zech, F. Fiedler, et al., "A Toolbased Methodology for System Testing of Service-oriented Systems, " in Second International Conference on Advances in System Testing and Validation Lifecycle (VALID), Los Alamitos, CA, USA, 2010, pp. 108-13.
7. K. Petersen, R. Feldt, S. Mujtaba, et al., "Systematic mapping studies in software engineering, " 12th International Conference on Evaluation and Assessment in Software Engineering (EASE) University of Bari, Italy, 26- 27 June, 2008.
8. B.A. Kitchenham and S. Charters, "Guidelines for performing Systematic Literature Reviews in Software Engineering, " Technical Report EBSE-2007-01, 2007.
9. Lawrence Chung and Julio Cesar Prado Leite, "On Non-Functional Requirements in Software Engineering, " in Conceptual Modeling: Foundations and Applications, T. B. Alexander, K. C. Vinay, G. Paolo, et al., Eds., ed: Springer-Verlag, 2009, pp. 363-379.
10. Marie-Agnes, Peraldi-Frati, and Arnaud Albinet, "Requirement traceability in safety critical systems, " presented at the Proceedings of the 1st Workshop on Critical Automotive applications: Robustness and Safety, Valencia, Spain, 2010.
11. J. Zou and C. J. Pavlovski, "Control cases during the software development life-cycle, " in IEEE Congress on Services Part 1 (SERVICES-1), Piscataway, NJ, USA, 2008, pp. 337-344.
12. J. Metsa, M. Katara, and T. Mikkonen, "Testing Non-Functional Requirements with Aspects: An Industrial Case Study, " in Quality Software, 2007. QSIC '07. Seventh International Conference on, 2007, pp. 5-14.
13. Breno Lisi Romano, Glaucia Braga e Silva, Henrique Fernandes de Campos, et al., "Software Testing for Web-Applications Non-Functional Requirements, " presented at the Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations, 2009.
14. M. Glinz, "On Non-Functional Requirements, " in 15th IEEE International Requirements Engineering Conference. RE '07., 2007, pp. 21-26.
15. Roel Wieringa, Neil Maiden, Nancy Mead, et al., "Requirements engineering paper classification and evaluation criteria: a proposal and a discussion, " Requir. Eng., vol. 11, pp. 102-107, 2005. (Pubitemid 43118937)
16. M. Ivarsson and T. Gorschek, "Technology transfer decision support in requirements engineering research: a systematic review of REj, " Requirements Engineering, vol. 14, 2009, pp. 155-175., 2009.
17. D. Arnold, J. P. Corriveau, and Shi Wei, "Modeling and validating requirements using executable contracts and scenarios, " in 8th ACIS International Conference on Software Engineering Research, Management and Applications (SERA), CA, USA, 2010, pp. 311-20.
18. A. Goel, B. Sengupta, and A. Roychoudhury, "Footprinter: Round-trip engineering via scenario and state based models, " in 31st International Conference on Software Engineering - Companion Volume - ICSE-Companion, Piscataway, NJ, USA, 2009, pp. 419-420.
19. W. T. Tsai, R. Paul, L. Yu, et al., "Scenario-Based Web Services Testing with Distributed Agents, " IEICE Transactions on Information and Systems, vol. E86-D, pp. 2130-2144, 2003.
20. C. Pfaller, A. Fleischmann, J. Hartmann, et al., "On the integration of design and test: A model-based approach for embedded systems, " in Proceedings of the 2006 international workshop on Automation of software test(AST) 2006, pp. 15-21.
21. J. L. Boulanger and V. Q. Dao, "Requirements engineering in a model-based methodology for embedded automotive software, " in IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies(RIVF), Ho Chi Minh City, Vietnam, 2008, pp. 263-268.
22. L. O. Lobo and J. D. Arthur, "Local and global analysis: Complementary activities for increasing the effectiveness of requirements verification and validation, " in Proceedings of the 43rd Annual ACM Southeast Conference, Kennesaw, GA, 2005, pp. 2256-2261.
23. R. Marelly, D. Harel, and H. Kugler, "Multiple instances and symbolic variables in executable sequence charts, " in 17th International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002), USA, 2002, pp. 83-100.
24. Niu Nan, Yu Yijun, B. Gonzalez-Baixauli, et al., "Aspects across software life cycle: a goal-driven approach, " in Transactions on Aspect-Oriented Software Development. VI. Special Issue on Aspects and Model-Driven Engineering, ed Berlin, Germany: Springer Verlag, 2009, pp. 83-110.
25. Nguyen Duy Cu, A. Perini, and P. Tonella, "A goal-oriented software testing methodology, " in Agent- Oriented Software Engineering VIII. 8th International Workshop, AOSE 2007, Berlin, Germany, 2008, pp. 58-72. (Pubitemid 351702259)
26. F. Abbors, D. Truscan, and J. Lilius, "Tracing requirements in a model-based testing approach, " in 2009 First International Conference on Advances in System Testing and Validation Lifecycle (VALID), Piscataway, NJ, USA, 2009, pp. 123-8.
27. E. Mendez, M. Perez, and L. E. Mendoza, "Improving software test strategy with a method to specify test cases (MSTC), " in 10th International Conference on Enterprise Information Systems. Databases and Information Systems Integration, Setubal, Portugal, 2008, pp. 159-64.
28. C. Quinn, S. Vilkomir, D. Parnas, et al., "Specification of software component requirements using the trace function method, " in International Conference on Software Engineering Advances, Tahiti 2006, pp. 50 - 50.
29. L. Naslavsky, T. A. Alspaugh, D. J. Richardson, et al., "Using scenarios to support traceability, " in Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering(TEFSE) California, USA, 2005, pp. 25-30.
30. A. Goel and A. Roychoudhury, "Synthesis and traceability of scenario-based executable models, " in 2006 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), 15-19 Nov. 2006, Piscataway, NJ, USA, 2008, pp. 347-54.
31. S. Ibrahim, M. Munro, A. Deraman, et al., "A software traceability validation for change impact analysis of object oriented software, " in Proceedings of the International Conference on Software Engineering Research and Practice and Conference on Programming Languages and Compilers SERP'06, USA, 2006, pp. 453-9.
32. Hubert Dubois, Marie-Agnès Peraldi-Frati, and Fadoi Lakhal, "A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems, " in 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Oxford, UK, 2010, pp. 233-242.
33. F. Bouquet, C. Grandpierre, B. Legeard, et al., "A subset of precise UML for model-based testing, " in Proceedings of the 3rd international workshop on Advances in modelbased testing (AMOST), 2007, pp. 95-104. (Pubitemid 351204021)
34. J. Kelleher and M. Simonsson, "Utilizing use case classes for requirement and traceability modeling, " in Proceedings of the 17th IASTED International Conference on Modelling and Simulation, Anaheim, CA, USA, 2006, pp. 617-25.
35. A. Sabetta, D. C. Petriu, V. Grassi, et al., "Abstraction-raising transformation for generating analysis models, " in Satellite Events at the MoDELS 2005 Conference. MoDELS 2005 International Workshops., Berlin, Germany, 2005, pp. 217-26.
36. R. Hassan, M. Eltoweissy, S. Bohner, et al., "Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements, " IET Software, vol. 4, pp. 149-60, 2010.
37. Tanvir Hussain and Robert Eschbach, "Automated Fault Tree Generation and Risk-Based Testing of Networked Automation Systems, " in Proceedings of 15th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 10) Bilbao, Spain, 2010.
38. R. Mugridge, "Managing agile project requirements with storytest-driven development, " IEEE Software, vol. 25, pp. 68-75, 2008. (Pubitemid 351266664)
39. C. Bâillon and S. Bouchez-Mongardé, "Executable requirements in a safety-critical context with Ada, " Ada User Journal, vol. 31, pp. 131-135, 2010.
40. G. Sabaliauskaite, A. Loconsole, E. Engstrom, et al., "Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context, " in Requirements Engineering: Foundation for Software Quality. 16th International Working Conference, REFSQ, Berlin, Germany, 2010, pp. 128-42.
41. C. Nebut, F. Fleurey, Y. Le Traon, et al., "Automatic test generation: a use case driven approach, " IEEE Transactions on Software Engineering, vol. 32, pp. 140-55, 2006.
42. M. W. Whalen, M. P. E. Heimdahl, A. Rajan, et al., "Coverage metrics for requirements-based testing, " in Proceedings of the international symposium on Software testing and analysis(ISSTA) 2006, pp. 25-35. (Pubitemid 46645516)
43. M. Conrad, I. Fey, and S. Sadeghipour, "Systematic Model-Based Testing of Embedded Automotive Software, " Proceedings of the Workshop on Model Based Testing(MBT), Electronic Notes in Theoretical Computer Science, vol. 111, pp. 13-26, 2005. (Pubitemid 40061258)
44. Sebastian Siegl, Kai-Steffen Hielscher, and Reinhard German, "Model Based Requirements Analysis and Testing of Automotive Systems with Timed Usage Models, " in 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales Australia, 2010.
45. M. Riebisch and M. Hubner, "Traceability-driven model refinement for test case generation, " in Proceedings. 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, CA, USA, 2005, pp. 113-20. (Pubitemid 41718852)
46. D. Arnold, J. P. Corriveau, and Shi Wei, "Scenario- Based Validation: Beyond the User Requirements Notation, " in Software Engineering Conference (ASWEC), 2010 21st Australian, 2010, pp. 75-84.