In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata...In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.展开更多
This study proposes a recoverable stress testing algorithm （RSTA） for such special devices as compression/decompression card and encryption/deeryption card. It uses a chaos function to generate a random sequence, an...This study proposes a recoverable stress testing algorithm （RSTA） for such special devices as compression/decompression card and encryption/deeryption card. It uses a chaos function to generate a random sequence, and then, according to the random sequence, generates an effective command sequence. The dispatch of command obeys a special schedule strategy we designed for such devices, i.e., the commands are sent according to the command sequence, and the complete commands are put in a buffer for further result check. RSTA is used to test the HIFN compression acceleration card SAICHI-1000. Test results show that RSTA can make the card work continuously and adequately.展开更多
This paper investigates the empirical validity of the Weak Form Efficient Market Hypothesis for American, European and Asian stock markets. Random Walk Hypothesis is used to prove weak form efficiency in American, Eur...This paper investigates the empirical validity of the Weak Form Efficient Market Hypothesis for American, European and Asian stock markets. Random Walk Hypothesis is used to prove weak form efficiency in American, European and Asian stock indices. ADF and PP Unit Root Tests have been used to test unit root in time series of daily data of American, European and Asian stock indices. Results show that sample of stock markets are weak-form efficient in terms of the Random Walk Hypothesis.展开更多
文摘In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.
基金the Hi-Tech Research and Development Pro-gram (863) of China (No. 2006AA01Z431)the Giant Project of Zhejiang Province, China (No. 2006C11105)
文摘This study proposes a recoverable stress testing algorithm （RSTA） for such special devices as compression/decompression card and encryption/deeryption card. It uses a chaos function to generate a random sequence, and then, according to the random sequence, generates an effective command sequence. The dispatch of command obeys a special schedule strategy we designed for such devices, i.e., the commands are sent according to the command sequence, and the complete commands are put in a buffer for further result check. RSTA is used to test the HIFN compression acceleration card SAICHI-1000. Test results show that RSTA can make the card work continuously and adequately.
文摘This paper investigates the empirical validity of the Weak Form Efficient Market Hypothesis for American, European and Asian stock markets. Random Walk Hypothesis is used to prove weak form efficiency in American, European and Asian stock indices. ADF and PP Unit Root Tests have been used to test unit root in time series of daily data of American, European and Asian stock indices. Results show that sample of stock markets are weak-form efficient in terms of the Random Walk Hypothesis.
