Software requirement specification i test
- 4. Propositional calculus : 1. If a student executes the iTest Client then the start up client screen appears. If a student executes the iTest Client : Execute_ iTest_Client the start up client screen appears : Startup_appears Execute_ iTest_Client Startup_appears 2. The teacher sets Server name and Server Port and connects to the server. The teacher sets Server name : Set_Server_Name and Server Port : Server_Port connects to the server : connect_Server Set_Server_Name ^ Server_Port connect_Server
- 5. 3. Teacher loads successfully the file and the tests information then comments is displayed in the form. loads successfully the file : load_file_success tests information : test _information comments is displayed in the form : comment_displayed load_file_success ^ test _information comment_displayed 4. If the servers name and port is incorrect then iTest informs the student that which one of the two is incorrect. incorrect_Server_name ^ incorrect_port iTest_ alert_incorrect 5. If the .itos file is corrupted then a message informs the student that the file is wrong. If the .itos file is corrupted : itos_corrupted message informs the student that the file is wrong : message_inform_file_wrong itos_corrupted message_inform_file_wrong
- 6. 6. If the student chooses not to finish the test and the message box appears then he returns to the test session and no further actions are performed. If the student chooses not to finish the test : student_~finish_test when the message box appears : message_appear he returns to the test session : return_text_session no further actions are performed : ~action_performed student_~finish_test ^ message_appear return_text_session ^ ~action_performed 7. Name is registered to the server and the Test screen is displayed. Name_registered_server test_screen displayed
- 7. 8. If the students name is black or its already registered a message is displayed on the screen that informs the student to correct it. If the students name is black : name_black its already registered : already_registered message is displayed on the screen that informs the student to correct it : message_correction name_black v already_registered message_correction 9. If the student has checked the “Do not show correct answers at the end of the test” option then the correct answers are not displayed. If the student has checked the “Do not show correct answers at the end of the test” option : student_checked the correct answers are not displayed : correct_displayed student_checked correct_displayed
- 8. Assumptions • For creating the windows forms and setting up the core program Trolltech Qt framework and classes was used that offers a complete set of tools for developing cross platform projects and a language editor for additional translations. • For better understanding the know-what to do rather than the know-how to do it we assume that the reader is not interested for knowing how to create and design windows forms and how the program is coded at that time.
- 9. Although it is possible to construct an abstract formal calculus that has no immediate practical use and next to nothing in the way of obvious applications, the very name calculus indicates that this species of formal system owes its origin to the utility of its prototypical members in practical calculation. Some sentences can be implies into mathematical symbol that can be used to give some definition. Statement : The meaning of a Mathematical statements is unambiguous and literal, and can be understood entirely by analysis of the tokens and structure.