Formalisierung von Anforderungen durch Dokumentanalyse

通过文档分析将需求形式化

• 批准号: 131747077
• 负责人: Professor Dr. Manfred Broy
• 金额: --
• 依托单位: Lehrstuhl IV: Software & Systems Engineering
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2010
• 资助国家: 德国
• 起止时间: 2009-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/131747077?language=en
• 关键词: Formalisierung; von; Anforderungen; durch; Dokumentanalyse

Gravierende Probleme von Softwareprojekten resultieren bekanntlich aus der Tatsache, dass die Anforderungen an das zu bauende System, üblicherweise in natürlicher Sprache formuliert, in aller Regel Interpretationsspielraum zulassen und inhaltlich unvollständig, oft auch widersprüchlich sind. Die Autoren der Anforderungsdokumente bemerken diese Probleme oft nicht, weil natürlichsprachliche Texte kaum zweifelsfrei auf Unvollständigkeiten und Widersprüchlichkeiten überprüfbar sind. Unvollständige und unpräzise formulierte Anforderungsdokumente führen dazu, dass die Softwareentwickler die Anforderungen fehlinterpretieren. Die Fehler bleiben lange unbemerkt und werden erst beim Test und in der Integration der Software sichtbar. Dies führt dazu, dass die notwendigen Änderungen extrem aufwändig und teuer werden. Das Ziel des beantragten Projekts besteht darin, Methoden und Techniken zu entwickeln, die möglichst früh im Projektverlauf (d.h., während der Anforderungsanalyse) natürlichsprachliche Dokumente in formale Modelle umsetzen, mit dem Ziel, dass dabei Defizite in Dokumenten erkannt werden. Die Hauptaufgabe besteht dabei in automatischer Extraktion relevanter Informationen aus dem Dokument, dem Erkennen von Defiziten in natürlichsprachlichen Anforderungsdokumenten, der Konstruktion des formalen Modells anhand extrahierter Informationen, sowie der Validierung des konstruierten Modells. Der zu entwickelnde Ansatz soll weitgehend automatisiert sein. Um die industrielle Anwendbarkeit des zu entwickelnden Analyseverfahrens zu gewährleisten, werden im Projekt keine speziellen Beschränkungen der Sprache zum Aufschreiben von Anforderungen angenommen. Stattdessen soll uneingeschränkte natürliche Sprache analysiert werden, so wie sie in industriellen Anforderungsdokumenten vorkommt.

软件项目结果的严重问题是由Tatsache提出的，即开发一个软件系统，它在自然的Sprache公式中很难解释，在阿勒的规则解释空间中也很难解释，而且往往很难解释。自动翻译系统并不经常出现这个问题，因为自然语言文本在Unvollständigkeiten和Widersprüchlichkeiten überprüfbar上是自由的。Unvollständige und unpräzise formulierte Anforderungsdoamente führen dazu，dass die Softwareentwickler die Anforderungen fehlinterpretieren.测试和韦尔登首先是测试和软件集成。这是一个非常好的例子，因为它是一个非常大的韦尔登。Das Ziel des beantragten Projekts besteht darin，Methoden und Techniken zu entwickeln，die möglichst früh im Projektverlauf（d.h.，通过对自然语言学的分析，我们可以得出结论，自然语言学在语言学中是一个韦尔登的概念。Hauptaufgabe besteht dabei in automatischer Extraktion relevanter Informationen aus dem Dokument，dem Erkennen von Defiziten in natürlichsprachlichen Anforderungsdokumenten，der Konstruktion des formalen Models anhierter Informationen，sowie der Validierung des construierten Models.这是一个自动化的过程。在工业上，分析师的工作量很大，韦尔登在项目中没有专门的分析师来研究分析师的工作量。Stattdessen soll uneingeschränkte natürliche Sprache analysiert韦尔登，so wie sie in industriellen Anforderungsdoenchenten vorkommt.