Chatbot-based assertion generation from natural language specifications

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Keszöcze O, Harris IG
Jahr der Veröffentlichung: 2019
Sprache: Englisch


Abstract

We present an approach to simplify the task of ex-
tracting assertions from specifications given in natural language.
Our goal is to accept and understand a broad range of linguistic
variation, allowing the author of the natural language specifica-
tions to express herself freely. To enable this, we leverage the
Dialogflow framework from Google. Dialogflow is usually used
to build chatbots that understand and respond to conversational
statements. We have trained a Dialogflow model to recognize
a range of different natural language expressions of properties,
and to identify key information inside the expression. The model
responses to each statement with a generated SystemVerilog
assertion whose semantic meaning is equivalent to that of the
English statement.


FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Keszöcze, Oliver Prof. Dr.
Juniorprofessur für Informatik


Zitierweisen

APA:
Keszöcze, O., & Harris, I.G. (2019). Chatbot-based assertion generation from natural language specifications. In Proceedings of the Forum on Specification & Design Languages. Southampton, GB.

MLA:
Keszöcze, Oliver, and Ian G. Harris. "Chatbot-based assertion generation from natural language specifications." Proceedings of the Forum on Specification & Design Languages, Southampton 2019.

BibTeX: 

Zuletzt aktualisiert 2019-16-07 um 09:23

Link teilen