Decision testing with MS Copilot

Task 1 (student 1) 

Using MS Copilot  identify statements for the RegulaFalsi function. Assign a tag to for each identified statement.  Present the list of statements with tags. Write the prompt and the chatbot answer. Discuss the result. 

 Does it properly recognized that the FOR instruction consists of 3 statements?  Did it handle properly nested IFs?

 Task 2 (student 2) 

 Using MS Copilot generate the Control Flow Graph in the DOT language for the RegulaFalsi function. Write the prompt and the chatbot answer. Discuss the result.  

 Does the CFG has the same structure as the CFG created by a human in the previous section of the book? 

 When the Task 1 is finished, use the generated instruction list with tags as the hint for Copilot. Did it help them co correct the CFG (now the CFG should be correct)? Discuss the result. 

 Task 3. (student 3) 

Convince Copilot to write a decision test for the function RegulaFalsi in the C language (I think you need to explain to the chatbot what a decision test is). Write the prompt and the chatbot answer. Discuss the result, compare it with the code written by a human in the previous section of the book.