The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Debate have two features. One is competitive, another is critical thinking. Competitiveness of debate can urge students to review and learn from past debate experience. And the necessary of refuting in debate will urge students to think critically on the opponent's opinion. Both of the two features can help students to learn how to react on some condition, which is the ability of response. Also by...
To solve the problems of structure abstract representation in the software verification process, we define method of using process tree represent program, which can better represent program sequence structure and the relationship between call and return. Based on this data structures and μ-calculus, we definite μ - calculus of the process tree (PT − μ). Representation is divided into two levels: the...
Conventional methods for safety analysis have problems in terms of correctness and efficiency. Using formal methods and fault injection techniques can improve consistency and correctness for safety process throughout the system's safety lifecycle. Yet existed methods for fault injection and safety analysis mainly think about single faults injection for system, seldom do with fault injection for multiple...
Model-based test is the very useful method to verify software safety. But the traditional technology of model-based test is not suitable for safety test of safety-critical software system. This paper addresses a new approach to perform safety test of safety-critical system based on safety automaton model, which can express safety properties. By using the method, we have developed an automatic testing...
Safety is an important character of safety-critical software system. In order to validate the safety of safety-critical software system, people will use the method of testing. The key factor of the method is to model the system safety requirements and interaction constraints among components. This paper addresses a new approach to model the safety requirements by safety behavior model and perform...
Safety is a very important property for safety-critical software systems. We introduce an approach to test safety-critical software systems based on safety requirement by using model-based testing. The model is extracted from the safety requirement and system under test. In our approach, we use model checking techniques to generate test cases. To find appropriate test cases in less time, we divide...
Heuristic hill-climbing search algorithm can do effectively pruning. In practice, it can be used to search a large hypothesis space to get an optimal or an approximate optimal solution. Beam search algorithm retains its advantage in efficiency while reducing the risk of converging to locally optimal hypotheses. Beam search algorithm is widely used in AI field. To k-size beam search, due to only k...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.