| Nowadays, technology of the computer has been widely used in the what is called safety critical fields such as aviation, spaceflight, traffic control, medical treatment and so on. In these case, the software are called "safety related software". Research on the test of these software has been a key point of their software quality assurance research. Those kind of test concern about the safety function contract of the software being tested. Basing on these tests, researchers try to give a quantitative analysis of the software reliability.KJ15A is a Mine Rail Transport Monitor System that was built by Microcomputer Institution of HeFei University of Technology in middle 1990s. It is mainly used in a mine to conduct the rail transport of the main lane, to monitor its safety and to manage its production. Obviously, as a special case of Rail Transport Interlocking Software, it is also a safety related software.Basing on characteristic of KJ15A software, this paper put forward some strategies and methods in building test circumstance, generating test case, judging test result. Its purpose is to build a software test platform which can change the safety test manner from manual scene test manner to a new, computer and artificial intelligence based, auto-testing and evaluating test manner. It not only can simulate some special occurrences which is impossible to be conduct in manual test but also can reach the extreme of the tested system's safety protection rapidly and effectively. Thus, it can make us see the safety and applicability of KJ15A more clear. At the same time, it also provided a new thought to the similar system study.
|
PDF Full Text Request