Ein Modell für natursprachliche Anforderungsdokumente

Basis für den anwendungsfallbasierten Systemtest

Zusammenfassung

Trotz oder vielleicht wegen ihrer Ungenauigkeit und Mehrdeutigkeit ist die natürliche Sprache weiterhin das Hauptinstrument der Anforderungsdokumentation. Das Anforderungsdokument dient mehreren Zwecken, als Vorgabe für die technische Implementierung, als Vereinbarung mit den Benutzern, was sie an Funktionalität und Qualität zu erwarten haben, als verbindliche Vertragsunterlage zwischen Auftraggeber und Auftragnehmer und nicht zuletzt als Basis für den Systemtest. Demzufolge muss das Dokument mehrere Sichten anbieten – eine Sicht für die Entwickler, eine Sicht für die Anwender und eine Sicht für die Tester. In diesem Beitrag wird die Rolle der Anforderungsdokumentation als Basis für den Systemtest betont. Die Hauptaussage ist, die Grundlage für den Systemtest bereits bei der Spezifikation der Anforderungen mit dem Ziel zu legen, die Effektivität des Tests bei gleichzeitiger Reduzierung der Testkosten zu steigern. Die beschriebene Methode, die eine maschinelle Textanalyse einschließt, wurde von Harry Sneed in einem Dutzend von industriellen Testprojekten seit 2005 erprobt und verfeinert.

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

References

  1. 1.

    Antoniol G, Canfora G, DeLucia A, Merlo E (2002) Recovering Traceability Links between Code and Documentation. IEEE Trans Softw Eng 28:970–983

    Article  Google Scholar 

  2. 2.

    Binder R (1999) Testing object-oriented Systems – Models, Patterns and Tools. Addison-Wesley, Reading, MA, 481 pp

    Google Scholar 

  3. 3.

    Cockburn A (2000) Writing Effective Use Cases. Addison-Wesley Professional, Boston, 270 pp

    Google Scholar 

  4. 4.

    Davis A (1990) Software Requirements – Analysis and Specification. Prentice-Hall, Englewood Cliffs, NJ, 362 pp

    Google Scholar 

  5. 5.

    Ebert C (2005) Systematic Requirements Management. dpunkt, Heidelberg, 87 pp

    Google Scholar 

  6. 6.

    Ebert C, Sneed H (2015) Test Driven Requirements Engineering. In: Proc OOP DevCon, München

  7. 7.

    Eric S, Yu K (1997) Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In: Proc. 3rd IEEE International Symposium on Requirements Engineering (RE‘97). IEEE Computer Society, Washington, DC

  8. 8.

    Eriksson H-E, Penker M (2000) Business Modelling with UML. OMG Press, John Wiley & Sons, New York, 64 pp

    Google Scholar 

  9. 9.

    Fleischmann A, Schmidt W, Stary C, Obermeier S, Börger E (2011) Subjektorientiertes Prozessmanagement. Hanser, München

    Google Scholar 

  10. 10.

    Hruschka P (2014) Effektive Business Analysis und Requirements Engineering (Kursankündigung). CONNECT Training GmbH, Wien

    Google Scholar 

  11. 11.

    Miriyala K, Harandi M (1991) Automatic derivation of formal software specifications from informal descriptions. IEEE Trans Sofw Eng 17:1126–1142

    Article  Google Scholar 

  12. 12.

    Nwokeji J, Clark T, Barn B (2013) Towards a comprehensive Meta-Model for KAOS. In: Proc. 3rd International Model-Driven Requirements Engineering Workshop (MoDRE). IEEE, Brazil

  13. 13.

    Object Management Group (2013) Requirement Interchange Format. Chapter 7 (v 1.1). http:www.omg.org/spec/ReqIF, last access: 17.12.2015

  14. 14.

    Parnas D (1977) The Use of Precise Specifications in the Development of Software. In: Proc. IFIP Congress. Toronto, 201 pp

  15. 15.

    Parnas D (2010) Really rethinking formal methods. IEEE Comput 43:28–34

    Article  Google Scholar 

  16. 16.

    Pohl K (2007) Requirements Engineering - Grundlagen, Prinzipien, Techniken. dpunkt, Heidelberg, 605 pp

    Google Scholar 

  17. 17.

    Robertson S, Robertson J (1999) Mastering the Requirements Process. Addison-Wesley, Harlow, GB, 5 pp

    Google Scholar 

  18. 18.

    Rupp C (2014) Requirements-Engineering und -Management. Hanser, München

    Google Scholar 

  19. 19.

    Rupp C (2012) Requirements in einem agilen Projekt – erst recht. In: Proc. 9th ASQT Konferenz. Klagenfurt

  20. 20.

    Rupp C, Cziharz T (2011) Mit Regeln zu einer besseren Spezifikation. Informatik-Spektrum 34:255–264

    Article  Google Scholar 

  21. 21.

    Rupp C, Schwarz A (2012) Einfach englisch spezifizieren – natürlichsprachige Spezifikation in der Fremdsprache. GI Softwaretechnik-Trends 32:11–12

    Article  Google Scholar 

  22. 22.

    Spillner A (2015) Pair Requirements Engineering. In: Proc. GI-Software Management Tagung. GI-Edition, Dresden, pp 305–306

  23. 23.

    Sneed H (2007) Testing Against Natural Language Requirements. In: Proc. 7th Int. Conference on Quality Software (QSIC). Portland, 380 pp

  24. 24.

    Sneed H, Seidl R, Baumgartner M (2010) Software in Zahlen. Hanser, München

    Google Scholar 

  25. 25.

    Sneed H, Verhoef C (2013) Natural Language Requirement Specification for Service Testing. In: Proc 15th Int. Symposium on Web Systems Evolution. IEEE Computer Society Press, Eindhofen, pp 5–14

  26. 26.

    Sneed S (2011) Exporting Natural Language: Generating NL Sentences Out of S-BPM Process Models. Subject-Oriented Business Process Management, Communications in Computer and Information Science, vol 138. Springer, Heidelberg, pp 163–179

    Google Scholar 

  27. 27.

    Umbach H, Metz P (2006) Use cases vs. Geschäftsprozesse. Informatik-Spektrum 29:424–432

    Article  Google Scholar 

  28. 28.

    Warmer J, Kleppe A (2003) The Object Constraint Language – Getting Your Models Ready for MDA. Pearson Education, Boston, MA

    Google Scholar 

  29. 29.

    Wende C, Seifert M, Nestler T (2015) Tools für Acceptance Test-Driven Development (ATDD). http:www.informatik-aktuell.de, letzter Zugriff: 17.12.2015

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Birgit Demuth.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Demuth, B., Sneed, H. Ein Modell für natursprachliche Anforderungsdokumente. Informatik Spektrum 39, 362–372 (2016). https://doi.org/10.1007/s00287-015-0942-5

Download citation