Per ongeluk Gherkinscenario

This commit is contained in:
koenieeeee
2024-04-11 23:10:52 +02:00
parent 5700ba7124
commit 7630458550
29 changed files with 4379 additions and 0 deletions
@@ -0,0 +1,149 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:35:07
* UniqueID: e5d9892e-5623-4303-bad1-b38dac9777b8
* Gherkinscenario name: Gherkinscenario 10: Logging out the user doesn't log out my admin account_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA impersonates the customer "remnant@london.uk"
When: UserA logs out from SystemA
Then: UserA should still be able to access the administration dashboard
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA impersonates the customer "remnant@london.uk"
When: UserA logs out from SystemA
Then: UserA should still be able to access the administration dashboard
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1.
2.
3. The UserA must log in with the email "remnant@london.uk",
The UserA verifies his account by logging out from SystemA,
The UserA must access the administration dashboard after logging out.
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 1
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 95
Progressbar: ![95%](https://progress-bar.dev/95)
### Final Score
Final_score = 79.0
Progressbar: ![79.0%](https://progress-bar.dev/79.0)
@@ -0,0 +1,166 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:34:10
* UniqueID: adae2385-4f41-4c52-bc31-98de34e74c96
* Gherkinscenario name: Gherkinscenario 10: Logging out the user doesn't log out my admin account
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA impersonates the customer "remnant@london.uk"
When: UserA logs out from SystemA
Then: UserA should still be able to access the administration dashboard
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA impersonates the customer "remnant@london.uk"
When: UserA logs out from SystemA
Then: UserA should still be able to access the administration dashboard
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When UserA impersontates the customer 'with email' "remnant@london.uk",
When UserA logs out from SystemA,
then the system should allow UserA to access the administration dashboard.
```
### Researcher score
Researcher_score = 10
## DSL-Rimay Verification
```
ERROR:no viable alternative at input 'the' (line : 3 column : 26)
ERROR:no viable alternative at input ''with email'' (line : 3 column : 39)
ERROR:no viable alternative at input 'When' (line : 4 column : 1)
ERROR:no viable alternative at input 'out' (line : 4 column : 17)
ERROR:extraneous input 'SystemA' expecting ',' (line : 4 column : 26)
ERROR:no viable alternative at input 'should' (line : 5 column : 17)
ERROR:missing '.' at 'UserA' (line : 5 column : 30)
ERROR:no viable alternative at input 'to' (line : 5 column : 36)
ERROR:no viable alternative at input 'access' (line : 5 column : 39)
ERROR:no viable alternative at input 'the' (line : 5 column : 46)
ERROR:missing '.' at 'administration' (line : 5 column : 50)
ERROR:no viable alternative at input 'dashboard' (line : 5 column : 65)
ERROR:Couldn't resolve reference to Actor 'impersontates'. (line : 3 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 3 column : 6)
ERROR:Couldn't resolve reference to Actor 'customer'. (line : 3 column : 30)
ERROR:Couldn't resolve reference to Actor 'logs'. (line : 4 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 4 column : 6)
ERROR:Couldn't resolve reference to Actor 'system'. (line : 5 column : 10)
ERROR:Couldn't resolve reference to Actor 'access'. (line : 5 column : 39)
ERROR:Couldn't resolve reference to Actor 'administration'. (line : 5 column : 50)
```
### DSL-Rimay Score
DSL_Score: 74
Progressbar: ![74%](https://progress-bar.dev/74)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 97.0
Progressbar: ![97.0%](https://progress-bar.dev/97.0)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:36:55
* UniqueID: 633ac823-1bc2-4106-a9a6-d577147ddf56
* Gherkinscenario name: Gherkinscenario 11: Seeing disabled code field while editing country_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: the code field should be disabled
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: the code field should be disabled
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. `SystemA` appears to `contain` `"United States"` as the country.
2. `UserA` wants `modification` of the country.
3. `DeviceA` must have `deactivated` code field.
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,160 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:36:00
* UniqueID: d314d67e-363a-4124-b07d-ef61c1116c5b
* Gherkinscenario name: Gherkinscenario 11: Seeing disabled code field while editing country
* LLM-temperature: 1.3
## Gherkin Input
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: the code field should be disabled
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: the code field should be disabled
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When: SystemA has "country value" called "United States"
When UserA seeks to change "country"
then ("the code field") must be "not able to edit".
```
### Researcher score
Researcher_score = -5
## DSL-Rimay Verification
```
ERROR:no viable alternative at input ':' (line : 3 column : 5)
ERROR:missing ',' at 'SystemA' (line : 3 column : 7)
ERROR:no viable alternative at input 'has' (line : 3 column : 15)
ERROR:no viable alternative at input 'called' (line : 3 column : 35)
ERROR:no viable alternative at input '"United States"' (line : 3 column : 43)
ERROR:no viable alternative at input 'When' (line : 4 column : 1)
ERROR:no viable alternative at input 'to' (line : 4 column : 18)
ERROR:missing ',' at 'be' (line : 5 column : 30)
ERROR:no viable alternative at input '"not able to edit"' (line : 5 column : 33)
ERROR:no viable alternative at input '.' (line : 5 column : 51)
ERROR:Couldn't resolve reference to Actor 'called'. (line : 3 column : 35)
ERROR:Couldn't resolve reference to Actor 'seeks'. (line : 4 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 4 column : 6)
ERROR:Couldn't resolve reference to Actor 'be'. (line : 5 column : 30)
```
### DSL-Rimay Score
DSL_Score: 80
Progressbar: ![80%](https://progress-bar.dev/80)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 85.0
Progressbar: ![85.0%](https://progress-bar.dev/85.0)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:47:54
* UniqueID: 5da7e923-190e-4831-afc6-5b7bb196c127
* Gherkinscenario name: Gherkinscenario 12: Changing the currency of my cart_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA has product "The Pug Mug" in the cart
When: UserA switches to the "EUR" currency
Then: the grand total value should be "€6.82"
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA has product "The Pug Mug" in the cart
When: UserA switches to the "EUR" currency
Then: the grand total value should be "€6.82"
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. "The Pug Mug" is in the cart
2. UserA changes to "EUR"
3. Ensure the grand total is "€6.82"
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,1
Incomplete condition: 0
Incomplete system response: 1
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 65
Progressbar: ![65%](https://progress-bar.dev/65)
### Final Score
Final_score = 64.0
Progressbar: ![64.0%](https://progress-bar.dev/64.0)
@@ -0,0 +1,164 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:37:52
* UniqueID: fe97946e-90d9-44f0-b101-0ebeadd98aa9
* Gherkinscenario name: Gherkinscenario 12: Changing the currency of my cart
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA has product "The Pug Mug" in the cart
When: UserA switches to the "EUR" currency
Then: the grand total value should be "€6.82"
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA has product "The Pug Mug" in the cart
When: UserA switches to the "EUR" currency
Then: the grand total value should be "€6.82"
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When "UserA" has "product" in the cart,
When "UserA" switches to "EUR" currency,
then the grand total value should be "€6.82"
```
### Researcher score
Researcher_score = 15
## DSL-Rimay Verification
```
ERROR:mismatched input 'has' expecting ',' (line : 3 column : 14)
ERROR:missing '.' at 'the' (line : 3 column : 31)
ERROR:no viable alternative at input ',' (line : 3 column : 39)
ERROR:no viable alternative at input 'When' (line : 4 column : 1)
ERROR:missing ',' at 'switches' (line : 4 column : 14)
ERROR:no viable alternative at input 'to' (line : 4 column : 23)
ERROR:no viable alternative at input 'currency' (line : 4 column : 32)
ERROR:no viable alternative at input ',' (line : 4 column : 40)
ERROR:no viable alternative at input 'the' (line : 5 column : 6)
ERROR:no viable alternative at input 'total' (line : 5 column : 16)
ERROR:missing '.' at 'should' (line : 5 column : 28)
ERROR:no viable alternative at input 'be' (line : 5 column : 35)
ERROR:mismatched input '<EOF>' expecting '.' (line : 5 column : 38)
ERROR:Couldn't resolve reference to Actor 'cart'. (line : 3 column : 35)
ERROR:Couldn't resolve reference to Actor 'switches'. (line : 4 column : 14)
ERROR:Couldn't resolve reference to Actor 'currency'. (line : 4 column : 32)
ERROR:Couldn't resolve reference to Actor 'grand'. (line : 5 column : 10)
ERROR:Couldn't resolve reference to Actor 'should'. (line : 5 column : 28)
```
### DSL-Rimay Score
DSL_Score: 66
Progressbar: ![66%](https://progress-bar.dev/66)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 1
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 90
Progressbar: ![90%](https://progress-bar.dev/90)
### Final Score
Final_score = 93.0
Progressbar: ![93.0%](https://progress-bar.dev/93.0)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:50:36
* UniqueID: fce1ecec-d40b-47e7-8e28-f2bb4bbaff55
* Gherkinscenario name: Gherkinscenario 13: Viewing information about empty cart after channel switching_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA simplifies his current channel to "Poland"
When: UserA changes current channel to "France"
Then: UserA carts should be empty
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA simplifies his current channel to "Poland"
When: UserA changes current channel to "France"
Then: UserA carts should be empty
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. UserA simplifies "current channel" to "Poland".
2. UserA alters "current channel" to "France".
3. UserA empties "carts".
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 2)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,1
Incomplete condition: 0
Incomplete system response: 1
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 65
Progressbar: ![65%](https://progress-bar.dev/65)
### Final Score
Final_score = 64.0
Progressbar: ![64.0%](https://progress-bar.dev/64.0)
@@ -0,0 +1,176 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:48:55
* UniqueID: 0e7f63b6-976b-4e7f-96ae-8008949cf294
* Gherkinscenario name: Gherkinscenario 13: Viewing information about empty cart after channel switching
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA simplifies his current channel to "Poland"
When: UserA changes current channel to "France"
Then: UserA carts should be empty
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA simplifies his current channel to "Poland"
When: UserA changes current channel to "France"
Then: UserA carts should be empty
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
While `UserA` simplifies her current `channel` to "Poland"
When `UserA` modifies current `channel` to "France"
then `UserA` carts should be empty
```
### Researcher score
Researcher_score = 15
## DSL-Rimay Verification
```
ERROR:no viable alternative at input '`' (line : 3 column : 7)
ERROR:missing ',' at 'UserA' (line : 3 column : 8)
ERROR:no viable alternative at input '`' (line : 3 column : 13)
ERROR:no viable alternative at input 'simplifies' (line : 3 column : 15)
ERROR:no viable alternative at input 'her' (line : 3 column : 26)
ERROR:missing '.' at 'current' (line : 3 column : 30)
ERROR:no viable alternative at input '`' (line : 3 column : 38)
ERROR:no viable alternative at input 'channel' (line : 3 column : 39)
ERROR:no viable alternative at input '`' (line : 3 column : 46)
ERROR:no viable alternative at input 'When' (line : 4 column : 1)
ERROR:no viable alternative at input '`' (line : 4 column : 6)
ERROR:missing ',' at 'UserA' (line : 4 column : 7)
ERROR:no viable alternative at input '`' (line : 4 column : 12)
ERROR:no viable alternative at input 'modifies' (line : 4 column : 14)
ERROR:no viable alternative at input 'current' (line : 4 column : 23)
ERROR:missing '.' at 'channel' (line : 4 column : 32)
ERROR:no viable alternative at input '`' (line : 4 column : 39)
ERROR:no viable alternative at input 'UserA' (line : 5 column : 7)
ERROR:no viable alternative at input '`' (line : 5 column : 12)
ERROR:no viable alternative at input 'carts' (line : 5 column : 14)
ERROR:no viable alternative at input 'should' (line : 5 column : 20)
ERROR:missing '.' at 'be' (line : 5 column : 27)
ERROR:no viable alternative at input 'empty' (line : 5 column : 30)
ERROR:Couldn't resolve reference to Actor 'simplifies'. (line : 3 column : 15)
ERROR:Couldn't resolve reference to Actor 'current'. (line : 3 column : 30)
ERROR:Couldn't resolve reference to Actor 'channel'. (line : 3 column : 39)
ERROR:Couldn't resolve reference to Actor 'modifies'. (line : 4 column : 14)
ERROR:Couldn't resolve reference to Actor 'channel'. (line : 4 column : 32)
ERROR:Couldn't resolve reference to Actor 'carts'. (line : 5 column : 14)
ERROR:Couldn't resolve reference to Actor 'be'. (line : 5 column : 27)
```
### DSL-Rimay Score
DSL_Score: 64
Progressbar: ![64%](https://progress-bar.dev/64)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 97.0
Progressbar: ![97.0%](https://progress-bar.dev/97.0)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:52:38
* UniqueID: 0837de9c-afac-42f4-b0cc-f65a1d2d3e15
* Gherkinscenario name: Gherkinscenario 14: Displaying default shop homepage_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: channel "United States" does not use any theme
When: UserA visits this channel's homepage
Then: UserA should not see a homepage from "maverick/meerkat" theme
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: channel "United States" does not use any theme
When: UserA visits this channel's homepage
Then: UserA should not see a homepage from "maverick/meerkat" theme
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. The channel with "United States" should not use any theme
2. UserA must visit the homepage of this channel
3. UserA should not see a homepage from "maverick/meerkat" theme
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,181 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:51:31
* UniqueID: 37e69cbd-28ea-4991-bfb0-0d488890a58c
* Gherkinscenario name: Gherkinscenario 14: Displaying default shop homepage
* LLM-temperature: 1.3
## Gherkin Input
```
Given: channel "United States" does not use any theme
When: UserA visits this channel's homepage
Then: UserA should not see a homepage from "maverick/meerkat" theme
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: channel "United States" does not use any theme
When: UserA visits this channel's homepage
Then: UserA should not see a homepage from "maverick/meerkat" theme
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When a channel
contains "United States" without any applied theme,
then if UserA goes to the homepage of this channel,
system must ensure that UserA does not view a homepage related to theme "maverick/meerkat".
```
### Researcher score
Researcher_score = -5
## DSL-Rimay Verification
```
ERROR:no viable alternative at input 'contains' (line : 4 column : 1)
ERROR:missing ',' at 'without' (line : 4 column : 26)
ERROR:no viable alternative at input 'any' (line : 4 column : 34)
ERROR:missing '.' at 'applied' (line : 4 column : 38)
ERROR:no viable alternative at input 'theme' (line : 4 column : 46)
ERROR:missing '.' at 'if' (line : 5 column : 6)
ERROR:no viable alternative at input 'to' (line : 5 column : 9)
ERROR:no viable alternative at input 'goes' (line : 5 column : 15)
ERROR:missing '.' at 'the' (line : 5 column : 23)
ERROR:no viable alternative at input 'of' (line : 5 column : 36)
ERROR:no viable alternative at input 'this' (line : 5 column : 39)
ERROR:no viable alternative at input 'channel' (line : 5 column : 44)
ERROR:missing '.' at 'system' (line : 6 column : 1)
ERROR:no viable alternative at input 'ensure' (line : 6 column : 13)
ERROR:no viable alternative at input 'that' (line : 6 column : 20)
ERROR:no viable alternative at input 'UserA' (line : 6 column : 25)
ERROR:no viable alternative at input 'does' (line : 6 column : 31)
ERROR:no viable alternative at input 'view' (line : 6 column : 40)
ERROR:no viable alternative at input 'a' (line : 6 column : 45)
ERROR:missing '.' at 'homepage' (line : 6 column : 47)
ERROR:no viable alternative at input 'related' (line : 6 column : 56)
ERROR:missing '.' at 'theme' (line : 6 column : 67)
ERROR:no viable alternative at input '"maverick/meerkat"' (line : 6 column : 73)
ERROR:no viable alternative at input '.' (line : 6 column : 91)
ERROR:Couldn't resolve reference to Actor 'channel'. (line : 3 column : 8)
ERROR:Couldn't resolve reference to Actor 'without'. (line : 4 column : 26)
ERROR:Couldn't resolve reference to Actor 'applied'. (line : 4 column : 38)
ERROR:Couldn't resolve reference to Actor 'homepage'. (line : 5 column : 27)
ERROR:Couldn't resolve reference to Actor 'this'. (line : 5 column : 39)
ERROR:Couldn't resolve reference to Actor 'system'. (line : 6 column : 1)
ERROR:Couldn't resolve reference to Actor 'ensure'. (line : 6 column : 13)
ERROR:Couldn't resolve reference to Actor 'view'. (line : 6 column : 40)
ERROR:Couldn't resolve reference to Actor 'homepage'. (line : 6 column : 47)
ERROR:Couldn't resolve reference to Actor 'theme'. (line : 6 column : 67)
```
### DSL-Rimay Score
DSL_Score: 60
Progressbar: ![60%](https://progress-bar.dev/60)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 75.0
Progressbar: ![75.0%](https://progress-bar.dev/75.0)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:55:08
* UniqueID: 6b4637a8-9914-4e82-a1ca-67cffe09687c
* Gherkinscenario name: Gherkinscenario 15: Displaying themed shop homepage_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: channel "United States" uses "maverick/meerkat" theme
When: UserA visit this channel's homepage
Then: UserA should see a homepage from that theme
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: channel "United States" uses "maverick/meerkat" theme
When: UserA visit this channel's homepage
Then: UserA should see a homepage from that theme
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. The "channel" named "United States" is utilizing the "maverick/meerkat" theme.
2. The UserA navigates to the homepage of this channel.
3. UserA should observe a homepage based on that theme.
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,167 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:54:01
* UniqueID: 3821b2d3-2671-4319-b137-0fb3deb45850
* Gherkinscenario name: Gherkinscenario 15: Displaying themed shop homepage
* LLM-temperature: 1.3
## Gherkin Input
```
Given: channel "United States" uses "maverick/meerkat" theme
When: UserA visit this channel's homepage
Then: UserA should see a homepage from that theme
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: channel "United States" uses "maverick/meerkat" theme
When: UserA visit this channel's homepage
Then: UserA should see a homepage from that theme
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When UserA visits the channel with the "United States" theme using the "maverick/meerkat" theme, then the homepage from that theme should be visible to UserA.
```
### Researcher score
Researcher_score = 10
## DSL-Rimay Verification
```
ERROR:no viable alternative at input 'the' (line : 3 column : 19)
ERROR:no viable alternative at input 'with' (line : 3 column : 31)
ERROR:no viable alternative at input 'the' (line : 3 column : 36)
ERROR:extraneous input '"United States"' expecting RULE_ID (line : 3 column : 40)
ERROR:no viable alternative at input 'using' (line : 3 column : 62)
ERROR:no viable alternative at input 'the' (line : 3 column : 68)
ERROR:extraneous input '"maverick/meerkat"' expecting RULE_ID (line : 3 column : 72)
ERROR:no viable alternative at input ',' (line : 3 column : 96)
ERROR:no viable alternative at input 'the' (line : 3 column : 103)
ERROR:no viable alternative at input 'from' (line : 3 column : 116)
ERROR:no viable alternative at input 'theme' (line : 3 column : 126)
ERROR:no viable alternative at input 'should' (line : 3 column : 132)
ERROR:missing '.' at 'be' (line : 3 column : 139)
ERROR:no viable alternative at input 'visible' (line : 3 column : 142)
ERROR:extraneous input 'UserA' expecting '.' (line : 3 column : 153)
ERROR:Couldn't resolve reference to Actor 'visits'. (line : 3 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 3 column : 6)
ERROR:Couldn't resolve reference to Actor 'channel'. (line : 3 column : 23)
ERROR:Couldn't resolve reference to Actor 'theme'. (line : 3 column : 56)
ERROR:Couldn't resolve reference to Actor 'theme'. (line : 3 column : 91)
ERROR:Couldn't resolve reference to Actor 'homepage'. (line : 3 column : 107)
ERROR:Couldn't resolve reference to Actor 'theme'. (line : 3 column : 126)
ERROR:Couldn't resolve reference to Actor 'be'. (line : 3 column : 139)
```
### DSL-Rimay Score
DSL_Score: 71
Progressbar: ![71%](https://progress-bar.dev/71)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 95.5
Progressbar: ![95.5%](https://progress-bar.dev/95.5)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:59:24
* UniqueID: 59a0dd34-d7ac-4baa-bd18-d1cc1bb11eab
* Gherkinscenario name: Gherkinscenario 16: Choosing shipping address from address book_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA has product "PHP T-Shirt" in the cart
When: UserA chooses "Seaside Fwy" street for shipping address
Then: address "Lucifer Morningstar, Seaside Fwy, 90802, Los Angeles, United States, Arkansas" should be filled as shipping address
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA has product "PHP T-Shirt" in the cart
When: UserA chooses "Seaside Fwy" street for shipping address
Then: address "Lucifer Morningstar, Seaside Fwy, 90802, Los Angeles, United States, Arkansas" should be filled as shipping address
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. UserA selects product "PHP T-Shirt" into the shopping cart,
2. View "Seaside Fwy" street be picked by UserA
3. ID98050rlb offer transferred to address "Lucifer Morningstar , Seaside Fwy 90802 -----United Arkansa" sector address=_('~)',sciocode data stored requirement site)init_HANDLE401errorwarning()].
```
### Researcher score
Researcher_score = 15
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,1
Incomplete condition: 0
Incomplete system response: 1
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 65
Progressbar: ![65%](https://progress-bar.dev/65)
### Final Score
Final_score = 89.0
Progressbar: ![89.0%](https://progress-bar.dev/89.0)
@@ -0,0 +1,166 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:58:19
* UniqueID: cb1d21e2-6233-4793-afd2-2b3d9b50dfad
* Gherkinscenario name: Gherkinscenario 16: Choosing shipping address from address book
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA has product "PHP T-Shirt" in the cart
When: UserA chooses "Seaside Fwy" street for shipping address
Then: address "Lucifer Morningstar, Seaside Fwy, 90802, Los Angeles, United States, Arkansas" should be filled as shipping address
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA has product "PHP T-Shirt" in the cart
When: UserA chooses "Seaside Fwy" street for shipping address
Then: address "Lucifer Morningstar, Seaside Fwy, 90802, Los Angeles, United States, Arkansas" should be filled as shipping address
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
While UserA has product "PHP T-Shirt" in the cart
When UserA selects "Seaside Fwy" as the shipping address
then address "Lucifer Morningstar, Seaside Fwy, 90802, Los Angeles, United States, Arkansas" must be filled as the shipping address.
```
### Researcher score
Researcher_score = 15
## DSL-Rimay Verification
```
ERROR:mismatched input 'in' expecting ',' (line : 3 column : 39)
ERROR:missing '.' at 'the' (line : 3 column : 42)
ERROR:no viable alternative at input 'When' (line : 4 column : 1)
ERROR:missing '.' at 'UserA' (line : 4 column : 6)
ERROR:no viable alternative at input 'selects' (line : 4 column : 12)
ERROR:no viable alternative at input '"Seaside Fwy"' (line : 4 column : 20)
ERROR:missing '.' at 'the' (line : 4 column : 37)
ERROR:no viable alternative at input 'address' (line : 4 column : 50)
ERROR:missing '.' at 'address' (line : 5 column : 6)
ERROR:no viable alternative at input '"Lucifer Morningstar, Seaside Fwy, 90802, Los Angeles, United States, Arkansas"' (line : 5 column : 14)
ERROR:no viable alternative at input 'be' (line : 5 column : 99)
ERROR:no viable alternative at input 'filled' (line : 5 column : 102)
ERROR:missing '.' at 'the' (line : 5 column : 112)
ERROR:no viable alternative at input 'address' (line : 5 column : 125)
ERROR:Couldn't resolve reference to Quantifier 'product'. (line : 3 column : 17)
ERROR:Couldn't resolve reference to Actor 'cart'. (line : 3 column : 46)
ERROR:Couldn't resolve reference to Actor 'shipping'. (line : 4 column : 41)
ERROR:Couldn't resolve reference to Actor 'address'. (line : 5 column : 6)
ERROR:Couldn't resolve reference to Actor 'be'. (line : 5 column : 99)
ERROR:Couldn't resolve reference to Actor 'shipping'. (line : 5 column : 116)
```
### DSL-Rimay Score
DSL_Score: 74
Progressbar: ![74%](https://progress-bar.dev/74)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 1
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 95
Progressbar: ![95%](https://progress-bar.dev/95)
### Final Score
Final_score = 99.5
Progressbar: ![99.5%](https://progress-bar.dev/99.5)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__23:01:51
* UniqueID: 4612b990-7d2f-404e-89ac-0c12651a84ce
* Gherkinscenario name: Gherkinscenario 17: Seeing the unpaid order in the list_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA logged in as "john@example.com"
When: UserA views order history
Then: UserA should sees one order with total of $29.99
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA logged in as "john@example.com"
When: UserA views order history
Then: UserA should sees one order with total of $29.99
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. UserA is authenticated as "john@example.com",
2. To check order records for UserA,
3. UserA will verify a single order worth $29.99.
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,154 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__23:00:51
* UniqueID: 00071baa-fa36-4659-972d-2d735955fa09
* Gherkinscenario name: Gherkinscenario 17: Seeing the unpaid order in the list
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA logged in as "john@example.com"
When: UserA views order history
Then: UserA should sees one order with total of $29.99
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA logged in as "john@example.com"
When: UserA views order history
Then: UserA should sees one order with total of $29.99
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When UserA accesses "order history",
then system should display "one order" with total of "$29.99".
```
### Researcher score
Researcher_score = -5
## DSL-Rimay Verification
```
ERROR:no viable alternative at input ',' (line : 3 column : 36)
ERROR:no viable alternative at input 'should' (line : 4 column : 13)
ERROR:missing '.' at 'total' (line : 4 column : 45)
ERROR:no viable alternative at input 'of' (line : 4 column : 51)
ERROR:no viable alternative at input '.' (line : 4 column : 62)
ERROR:Couldn't resolve reference to Actor 'accesses'. (line : 3 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 3 column : 6)
ERROR:Couldn't resolve reference to Actor 'system'. (line : 4 column : 6)
ERROR:Couldn't resolve reference to Actor 'total'. (line : 4 column : 45)
```
### DSL-Rimay Score
DSL_Score: 85
Progressbar: ![85%](https://progress-bar.dev/85)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 87.5
Progressbar: ![87.5%](https://progress-bar.dev/87.5)
@@ -0,0 +1,150 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__23:04:14
* UniqueID: e7331a51-12b8-471b-8642-533f2f167b19
* Gherkinscenario name: Gherkinscenario 18: Being unable to change currencies_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: the exchange rate of "US Dollar" to "British Pound" is 1.30
When: UserA wants to edit this exchange rate
Then: UserA should see that the source currency is disabled
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: the exchange rate of "US Dollar" to "British Pound" is 1.30
When: UserA wants to edit this exchange rate
Then: UserA should see that the source currency is disabled
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1.
the "exchange rate" must be from "US Dollar" to "British Pound"
2.
UserA wants to "update" the exchange rate
3.
UserA must "observe that the source currency is disabled"
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,149 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__23:03:04
* UniqueID: 91dd9f73-2747-4c82-b82c-68a73c281c05
* Gherkinscenario name: Gherkinscenario 18: Being unable to change currencies
* LLM-temperature: 1.3
## Gherkin Input
```
Given: the exchange rate of "US Dollar" to "British Pound" is 1.30
When: UserA wants to edit this exchange rate
Then: UserA should see that the source currency is disabled
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: the exchange rate of "US Dollar" to "British Pound" is 1.30
When: UserA wants to edit this exchange rate
Then: UserA should see that the source currency is disabled
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
While "the exchange rate" of "US Dollar" to "British Pound" equals 1.30,
When UserA wishes to modify this "exchange rate",
then UserA must notice that the source currency is inactive.
```
### Researcher score
Researcher_score = 15
## DSL-Rimay Verification
```
ERROR:no viable alternative at input '"US Dollar"' (line : 3 column : 7)
ERROR:mismatched input '.' expecting ',' (line : 3 column : 69)
ERROR:missing EOF at '30' (line : 3 column : 70)
```
### DSL-Rimay Score
DSL_Score: 81
Progressbar: ![81%](https://progress-bar.dev/81)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 100
Progressbar: ![100%](https://progress-bar.dev/100)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__23:07:29
* UniqueID: c5782e39-2451-4ddc-9486-be4350394e01
* Gherkinscenario name: Gherkinscenario 19: Inability to impersonate a customer with no account_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: SystemA has customer "harold@thrasher.ie" with first name "Harold"
When: UserA views their details
Then: UserA should be unable to impersonate them
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: SystemA has customer "harold@thrasher.ie" with first name "Harold"
When: UserA views their details
Then: UserA should be unable to impersonate them
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. SystemA 'contains customer' "harold@thrasher.ie" 'with' first name "Harold"
2. UserA 'views' 'customer'
3. UserA 'is unable to' 'impersonate' "customer"
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,1
Incomplete condition: 0
Incomplete system response: 1
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 65
Progressbar: ![65%](https://progress-bar.dev/65)
### Final Score
Final_score = 64.0
Progressbar: ![64.0%](https://progress-bar.dev/64.0)
@@ -0,0 +1,166 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__23:05:58
* UniqueID: 70547543-cda7-4ec6-a5fc-7c8ec85e9f9f
* Gherkinscenario name: Gherkinscenario 19: Inability to impersonate a customer with no account
* LLM-temperature: 1.3
## Gherkin Input
```
Given: SystemA has customer "harold@thrasher.ie" with first name "Harold"
When: UserA views their details
Then: UserA should be unable to impersonate them
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: SystemA has customer "harold@thrasher.ie" with first name "Harold"
When: UserA views their details
Then: UserA should be unable to impersonate them
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When "SystemA" contains a customer "harold@thrasher.ie" with first name "Harold",
When "UserA" access their details,
then "UserA" must not be able to impersonate them.
```
### Researcher score
Researcher_score = 15
## DSL-Rimay Verification
```
ERROR:mismatched input 'contains' expecting ',' (line : 3 column : 16)
ERROR:missing '.' at 'a' (line : 3 column : 25)
ERROR:no viable alternative at input '"harold@thrasher.ie"' (line : 3 column : 36)
ERROR:no viable alternative at input 'first' (line : 3 column : 62)
ERROR:no viable alternative at input 'name' (line : 3 column : 68)
ERROR:missing '.' at 'When' (line : 4 column : 1)
ERROR:missing ',' at 'access' (line : 4 column : 14)
ERROR:no viable alternative at input 'their' (line : 4 column : 21)
ERROR:missing '.' at 'details' (line : 4 column : 27)
ERROR:no viable alternative at input ',' (line : 4 column : 34)
ERROR:no viable alternative at input 'be' (line : 5 column : 23)
ERROR:no viable alternative at input 'able' (line : 5 column : 26)
ERROR:missing '.' at 'impersonate' (line : 5 column : 34)
ERROR:no viable alternative at input 'them' (line : 5 column : 46)
ERROR:Couldn't resolve reference to Actor 'customer'. (line : 3 column : 27)
ERROR:Couldn't resolve reference to Actor 'first'. (line : 3 column : 62)
ERROR:Couldn't resolve reference to Actor 'access'. (line : 4 column : 14)
ERROR:Couldn't resolve reference to Actor 'details'. (line : 4 column : 27)
ERROR:Couldn't resolve reference to Actor 'be'. (line : 5 column : 23)
ERROR:Couldn't resolve reference to Actor 'impersonate'. (line : 5 column : 34)
```
### DSL-Rimay Score
DSL_Score: 74
Progressbar: ![74%](https://progress-bar.dev/74)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 1
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 90
Progressbar: ![90%](https://progress-bar.dev/90)
### Final Score
Final_score = 97.0
Progressbar: ![97.0%](https://progress-bar.dev/97.0)
@@ -97,3 +97,51 @@ Output only the translated Rimay CNL text and nothing else!
3. UserA must notify "with verification successful" to UserA.
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:26:13
* UniqueID: b1dbc08e-84c0-4e3e-9c67-6f31f05a8778
* Gherkinscenario name: Gherkinscenario 6: The selected province stays after validation error_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA is editing the address of "Fletcher Ren"
When: UserA removes the street
Then: UserA should still be on the "Fletcher Ren" address edit page
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA is editing the address of "Fletcher Ren"
When: UserA removes the street
Then: UserA should still be on the "Fletcher Ren" address edit page
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. The user "`UserA`" is editing personal data of "`Fletcher Ren`".
2. The user "`UserA`" deletes the information related to the street.
3. UserA should remain on the page for editing the details of "`Fletcher Ren`".
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,164 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:24:59
* UniqueID: 581d5ba3-2b67-47ca-98af-03b3cb8c4eb9
* Gherkinscenario name: Gherkinscenario 6: The selected province stays after validation error
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA is editing the address of "Fletcher Ren"
When: UserA removes the street
Then: UserA should still be on the "Fletcher Ren" address edit page
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA is editing the address of "Fletcher Ren"
When: UserA removes the street
Then: UserA should still be on the "Fletcher Ren" address edit page
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When UserA modifies the address of "Fletcher Ren",
When UserA deletes the street,
Then the system must keep UserA on the "Fletcher Ren" address modification page.
```
### Researcher score
Researcher_score = 10
## DSL-Rimay Verification
```
ERROR:no viable alternative at input 'the' (line : 3 column : 21)
ERROR:no viable alternative at input 'of' (line : 3 column : 33)
ERROR:no viable alternative at input 'When' (line : 4 column : 1)
ERROR:no viable alternative at input 'the' (line : 5 column : 6)
ERROR:missing '.' at 'system' (line : 5 column : 10)
ERROR:no viable alternative at input 'keep' (line : 5 column : 22)
ERROR:no viable alternative at input 'UserA' (line : 5 column : 27)
ERROR:missing '.' at 'the' (line : 5 column : 36)
ERROR:extraneous input '"Fletcher Ren"' expecting RULE_ID (line : 5 column : 40)
ERROR:no viable alternative at input 'modification' (line : 5 column : 63)
ERROR:Couldn't resolve reference to Actor 'modifies'. (line : 3 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 3 column : 6)
ERROR:Couldn't resolve reference to Actor 'address'. (line : 3 column : 25)
ERROR:Couldn't resolve reference to PropertyOrLabel 'street'. (line : 4 column : 24)
ERROR:Couldn't resolve reference to Actor 'Then'. (line : 5 column : 1)
ERROR:Couldn't resolve reference to Actor 'system'. (line : 5 column : 10)
ERROR:Couldn't resolve reference to Actor 'keep'. (line : 5 column : 22)
ERROR:Couldn't resolve reference to Actor 'address'. (line : 5 column : 55)
```
### DSL-Rimay Score
DSL_Score: 76
Progressbar: ![76%](https://progress-bar.dev/76)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 98.0
Progressbar: ![98.0%](https://progress-bar.dev/98.0)
@@ -0,0 +1,147 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:28:10
* UniqueID: c9a44aa0-f82c-4e19-bfef-d6097193ddff
* Gherkinscenario name: Gherkinscenario 7: Not being able to add a product to the cart when it is out of stock_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: the product "T-shirt banana" is out of stock
When: UserA checks this product's details
Then: UserA should see that it is out of stock
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: the product "T-shirt banana" is out of stock
When: UserA checks this product's details
Then: UserA should see that it is out of stock
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. the product "T-shirt banana" indicates "out of stock"
2. UserA observes the details of this product,
3. UserA will confirm that it is indicated as "out of stock"
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,153 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:27:10
* UniqueID: 1ed0e6df-d61f-4679-82d0-0f3f2a6735e9
* Gherkinscenario name: Gherkinscenario 7: Not being able to add a product to the cart when it is out of stock
* LLM-temperature: 1.3
## Gherkin Input
```
Given: the product "T-shirt banana" is out of stock
When: UserA checks this product's details
Then: UserA should see that it is out of stock
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: the product "T-shirt banana" is out of stock
When: UserA checks this product's details
Then: UserA should see that it is out of stock
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
While product "T-shirt banana" is "out of stock",
When UserA verifies this product's details,
then UserA must see "out of stock".
```
### Researcher score
Researcher_score = 15
## DSL-Rimay Verification
```
ERROR:no viable alternative at input 'this' (line : 4 column : 21)
ERROR:no viable alternative at input 'product' (line : 4 column : 26)
ERROR:mismatched character '<EOF>' expecting ''' (line : 4 column : 33)
ERROR:Couldn't resolve reference to Quantifier 'product'. (line : 3 column : 7)
ERROR:Couldn't resolve reference to Actor 'verifies'. (line : 4 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 4 column : 6)
ERROR:Couldn't resolve reference to Actor 'this'. (line : 4 column : 21)
```
### DSL-Rimay Score
DSL_Score: 82
Progressbar: ![82%](https://progress-bar.dev/82)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 100
Progressbar: ![100%](https://progress-bar.dev/100)
@@ -0,0 +1,152 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:30:26
* UniqueID: ef439559-6c39-473b-aa32-2743b56244e2
* Gherkinscenario name: Gherkinscenario 8: Disabling country_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: UserA should be notified that it has been successfully edited
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: UserA should be notified that it has been successfully edited
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1.
SystemA must have a country "United States".
2.
UserA can modify this country.
3.
UserA should receive a notification indicating that it has been successfully modified.
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 81.5
Progressbar: ![81.5%](https://progress-bar.dev/81.5)
@@ -0,0 +1,149 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:29:08
* UniqueID: 00875134-8112-4738-9928-dbb79a458eb8
* Gherkinscenario name: Gherkinscenario 8: Disabling country
* LLM-temperature: 1.3
## Gherkin Input
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: UserA should be notified that it has been successfully edited
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: SystemA has country "United States"
When: UserA wants to edit this country
Then: UserA should be notified that it has been successfully edited
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When 1.
When 2.
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:no viable alternative at input '1' (line : 3 column : 6)
ERROR:mismatched input '.' expecting ',' (line : 3 column : 7)
ERROR:no viable alternative at input '2' (line : 4 column : 6)
ERROR:mismatched input '.' expecting ',' (line : 4 column : 7)
```
### DSL-Rimay Score
DSL_Score: 95
Progressbar: ![95%](https://progress-bar.dev/95)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 1
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 1
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 65
Progressbar: ![65%](https://progress-bar.dev/65)
### Final Score
Final_score = 70.0
Progressbar: ![70.0%](https://progress-bar.dev/70.0)
@@ -0,0 +1,146 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:33:17
* UniqueID: 6edca605-08c1-434a-9e3e-3b94e86f52b2
* Gherkinscenario name: Gherkinscenario 9: Resending the verification email as a logged in user_Incorrect_
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA is logged in as "valkyrie@cain.com"
When: UserA resends the verification email
Then: UserA should be notified that the verification email has been sent
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
The operator validates following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
UserA must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay.
Output the total rimay output as follows:
1.
2.
3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA is logged in as "valkyrie@cain.com"
When: UserA resends the verification email
Then: UserA should be notified that the verification email has been sent
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
1. Resend "verification email"
2. UserA "notify" with "verification email sent"
```
### Researcher score
Researcher_score = -10
## DSL-Rimay Verification
```
ERROR:missing EOF at '1' (line : 3 column : 1)
```
### DSL-Rimay Score
DSL_Score: 83
Progressbar: ![83%](https://progress-bar.dev/83)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,1
Incomplete condition: 0
Incomplete system response: 1
Passive voice: 0
Not precise verb: 0
Number Req with smells: 1
```
### Paska Score
PASKA_Score: 65
Progressbar: ![65%](https://progress-bar.dev/65)
### Final Score
Final_score = 64.0
Progressbar: ![64.0%](https://progress-bar.dev/64.0)
@@ -0,0 +1,149 @@
# LLM Experiment Information
* Prefix: Role-play
* Datetime: 04_11_2024__22:32:07
* UniqueID: b6b204e5-d4bd-46b4-a8cb-ccadd64f2ef5
* Gherkinscenario name: Gherkinscenario 9: Resending the verification email as a logged in user
* LLM-temperature: 1.3
## Gherkin Input
```
Given: UserA is logged in as "valkyrie@cain.com"
When: UserA resends the verification email
Then: UserA should be notified that the verification email has been sent
```
## Input prompt, technique: Role-Play
Behave like a person who writes the Controlled Natural Language (CNL) Rimay.
Rimay is a language that is defined in different components.
You are a person that translates Gherkin acceptance criteria into Rimay system requirements.
A person that translates Gherkin in Rimay behaves like the following:
One person (person A) speaks Gherkin, the acceptance criteria language.
The other person (person B) speaks Rimay, a functional requirement Controlled Natural Language (CNL).
The conversation goes as follows
1. When person A says:
```
Given: a verification email has already been sent to "operator"
```
1. You say (person B):
```
While the "verification email" contains a "verification link"
```
2. When person A says:
```
When: operator verifies his account using the link from this email
```
2. You say (person B):
```
When operator validates "email address" following the "verification link",
```
3. When person A says:
```
Then: operator should be notified that the verification was successful
```
3. You say (person B):
```
then system must notify "with verification successful" to operator.
```
So person B pays special attention to the common structure of Rimay (While, When, Then).
Output the total rimay output as follows:
While 1.
When 2.
then 3.
Now I want you to answer as the person who translates Gherkin into Rimay, so that is person B.
Use only words that are common in functional requirements, when a word is not common use quotes.
Do not output empty rimay structures!
### Input Data
Use the following Gherkin acceptance criteria input:
```
Given: UserA is logged in as "valkyrie@cain.com"
When: UserA resends the verification email
Then: UserA should be notified that the verification email has been sent
```
### Question:
Can you translate the input above into the specified language Rimay CNL?
### Output indicator
Output only the translated Rimay CNL text and nothing else!
## Rimay Output
```
When UserA resends "verification email",
then system must notify "with verification email sent" to UserA.
```
### Researcher score
Researcher_score = -5
## DSL-Rimay Verification
```
ERROR:no viable alternative at input ',' (line : 3 column : 40)
ERROR:Couldn't resolve reference to Actor 'resends'. (line : 3 column : 12)
ERROR:Couldn't resolve reference to Quantifier 'UserA'. (line : 3 column : 6)
ERROR:Couldn't resolve reference to Actor 'system'. (line : 4 column : 6)
```
### DSL-Rimay Score
DSL_Score: 95
Progressbar: ![95%](https://progress-bar.dev/95)
## Rimay Paska Verification
```
File generated_rimay.csv.csv
Smells found in this document:
Non-atomic requirement: 0
Incomplete requirement: 0
Incorrect order requirement: 0
Coordination ambiguity: 0
Not requirement: ,0
Incomplete condition: 0
Incomplete system response: 0
Passive voice: 0
Not precise verb: 0
Number Req with smells: 0
```
### Paska Score
PASKA_Score: 100
Progressbar: ![100%](https://progress-bar.dev/100)
### Final Score
Final_score = 92.5
Progressbar: ![92.5%](https://progress-bar.dev/92.5)