Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration

Torsten Bandyszak, Mark Rzepka, Thorsten Weyer, Klaus Pohl

2015

Abstract

Requirements validation should be carried out early in the development process to assure that the requirements specification correctly reflects stakeholder’s intentions, and to avoid the propagation of defects to subsequent phases. In addition to reviews, early test case creation is a commonly used requirements validation technique. However, manual test case derivation from specifications without formal semantics is costly, and requires experience in testing. This paper focuses on Structured Analysis as a semi-formal technique for specifying information systems requirements, which is part of latest requirements engineering curricula and widely accepted practices in business analysis. However, there is insufficient guidance and tool support for creating test cases without the need for using formal extensions in early development stages. Functional decomposition as a core concept of Structured Analysis, and the resulting distribution of control flow information complicates the identification of dependencies between system inputs and outputs. We propose a technique for automatically identifying test paths in Structured Analysis specifications. These test paths constitute the basis for defining test cases, and support requirements validation by guiding and structuring the review process.

References

  1. Boehm, B., Basili, V.R., 2001. Software Defect Reduction Top 10 List. In IEEE Computer, vol. 34, no. 1, pp. 135- 137. IEEE.
  2. Chen, Y., Liu, S., Nagoya, F., 2005. An Approach to Integration Testing Based on Data Flow Specifications. In 1st Int. Colloquium Theoretical Aspects of Computing, LNCS 3407, pp. 235-249. Springer.
  3. DeMarco, T., 1979. Structured Analysis and System Specification, Prentice-Hall. Englewood Cliffs.
  4. Denger, C., Olsson, T., 2005. Quality Assurance in Requirements Engineering. In Engineering and Managing Software Requirements, pp. 163-185. Springer.
  5. Dzida, W., Freitag, R., 1998. Making Use of Scenarios for Validating Analysis and Design. In IEEE Trans. Softw. Eng., vol. 24, pp. 1182-1196. IEEE.
  6. Emery, K.O., Mitchell, B.K., 1989. Multi-Level Software Testing Based on Cyclomatic Complexity. In Proc. Nat. Aerospace and Electronics Conf., pp. 500-507. IEEE.
  7. Giaglis, G.M., 2001. A Taxonomy of Business Process Modeling and Information Systems Modeling Techniques. In Int. J. Flexible Manufacturing Systems, vol. 13, pp. 209-228. Springer.
  8. Gorschek, T., Dzamashvili-Fogelström, N., 2005. Test-case Driven Inspection of Pre-project Requirements - Process Proposal and Industry Experience Report. In Requirements Engineering Decision Support Workshop.
  9. Graham, D., 2002. Requirements and Testing - Seven Missing-Link Myths. In IEEE Softw., vol. 19, issue 5, pp. 15-17. IEEE.
  10. IIBA, 2009. A Guide to the Business Analysis Body of Knowledge (BABOK® Guide), International Institute of Business Analysis. Toronto.
  11. IREB, 2012. Syllabus IREB Certified Professional for Requirements Engineering - Foundation Level, Version 2.1, Int. Requirements Engineering Board.
  12. ISO/IEC/IEEE, 2010. Systems and software engineering - Vocabulary, ISO/IEC/IEEE 24765, First Edition.
  13. Kan, C.-Y., He, X., 1995. Deriving Algebraic Petri Net Specifications from Structured Analysis - A Case Study. In Information and Software Technology, vol. 37, issue 8, pp. 411-434. Elsevier.
  14. Kotonya, G., Sommerville, I., 1998. Requirements Engineering - Processes and Techniques, John Wiley & Sons. Chichester.
  15. Le Traon, Y., Robach, C., 1995. Towards a Unified Approach to the Testability of Co-Designed Systems. In Proc. 6th Int. Symp. Software Reliability Engineering, pp. 278-285. IEEE.
  16. Le Traon, Y., Robach, C., 1997. Testability Measurements for Data Flow Designs. In Proc. 4th Int. Software Metrics Symp., pp. 91-98. IEEE.
  17. Li, M., Liu, S., 2011. Automatically Generating Functional Scenarios from SOFL CDFD for Specification Inspection. In Proc. IASTED Int. Conf. Software Engineering, pp. 18-25. ACTA Press.
  18. Liu, S., McDermid, J.A., Chen, Y., 2010. A Rigorous Method for Inspection of Model-Based Formal Specifications. In IEEE Trans. Reliab., vol. 59, issue 4, pp. 667-684. IEEE.
  19. McCabe, T.J., Schulmeyer, G.G., 1985. System Testing Aided by Structured Analysis - A Practical Experience. In IEEE Trans. Softw. Eng., vol. SE-11, pp. 917-921. IEEE.
  20. Nguyen, C.D., Marchetto, A., Tonella, P., 2012. Combining Model-Based and Combinatorial Testing for Effective Test Case Generation. In Proc. 2012 Int. Symp. Software Testing and Analysis, pp. 100-110. ACM.
  21. Pressman, R.S., 2010. Software Engineering - A Practitioner's Approach, McGraw-Hill. New York, 7th ed.
  22. Robach, C., Malecha, P., Michel, G., 1984. CATA - A Computer-Aided Test Analysis System. In IEEE Des. Test Comp., vol. 1, pp. 68-79. IEEE.
  23. Roper, M., 1994. Software Testing, International Software Quality Assurance Series, McGraw-Hill. London.
  24. Roper, M., Bin Ab Rahim, A.R., 1993. Software Testing Using Analysis and Design Techniques. In Software Testing, Verification and Reliability, vol. 3, issue 3-4, pp. 165-179. Elsevier.
  25. Shull, F., Rus, I., Basili, V., 2000. How Perspective-Based Reading can Improve Requirements Inspections. In IEEE Computer, vol. 33, issue 7, pp. 73-79. IEEE.
  26. Uusitalo, E.J., Komssi, M., Kauppinen, M., Davis, A.M., 2008. Linking Requirements and Testing in Practice. In 16th IEEE Int. Requirements Engineering Conf., pp. 265-270. IEEE.
  27. Väliviita, S., Tiitinen, P., Ovaska, S.J., 1997. Improving the Reusability of Frequency Converter Software by Using the Structured Analysis Method. In Proc. IEEE Int. Symp. Industrial Electronics, vol. 2, pp. 229-234. IEEE.
  28. Yourdon, E., 1988. Modern Structured Analysis, PrenticeHall. Englewood Cliffs.
Download


Paper Citation


in Harvard Style

Bandyszak T., Rzepka M., Weyer T. and Pohl K. (2015). Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration . In Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-097-0, pages 252-259. DOI: 10.5220/0005342102520259


in Bibtex Style

@conference{iceis15,
author={Torsten Bandyszak and Mark Rzepka and Thorsten Weyer and Klaus Pohl},
title={Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration},
booktitle={Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2015},
pages={252-259},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005342102520259},
isbn={978-989-758-097-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration
SN - 978-989-758-097-0
AU - Bandyszak T.
AU - Rzepka M.
AU - Weyer T.
AU - Pohl K.
PY - 2015
SP - 252
EP - 259
DO - 10.5220/0005342102520259