| With the advances in Internet technology, traditional examination methods produced a huge change, its inclusiveness, decentralized and complex computing power to break through the traditional test of time and space boundaries. Throughout the world by means of the Internet, online exam software is safe, objective, fair, convenient, efficient, and other characteristics. Thus, the future development direction of the test must be the online exam.Facing software size and complexity continues to increase, in order to achieve the social value of the software, how to improve software reliability, how can we ensure the quality of software, has become a hot issue in the field of software engineering research. As a high-security, real-time software, online exam software if a problem occurs with a sudden and explosive, will result in incalculable consequences, that people would not be tolerated, so the online exam software with high reliability requirements, to study its requirements specification verification method, its necessity.Formal methods (Formal Method, FM) is a rigorous use of mathematical language to describe the nature of the system technology, B method is more typical of formal methods, it can support the whole software development process, with a complete mathematical theory foundation, and it has a perfect support aids. B using the method described in the online exam software requirements specification, can effectively avoid the uncertainty of demand explanation, to some extent the need to ensure compliance with user needs.This paper introduces the current situation and development trend of online exam software, software reliability and formal methods, which leads to the online exam software requirements specification formal necessity of the study and its reliability. Next, a detailed description of the needs of the software, this article focuses on online exam software reliability requirements, and therefore its reliability focuses on the needs. Secondly, the use of B-line method to test software requirements specification is formalized to ensure that the requirements specification consistency and unambiguous, reducing the requirements analysis phase errors that may appear affect system reliability. Then, through the creation of its reliability model, reliability requirements for online exam software will be described. Finally, the online test software to verify formal requirements specification, through theorem proving, to ensure that the software implemented in line with user needs, thus ensuring high reliability of the online exam software. |
PDF Full Text Request