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.展开更多
The civilisation transformations which occur in the sphere of human work, have a strong influence over their functioning both in the professional and extraprofessional spheres. Scientific analyses, as well as everyday...The civilisation transformations which occur in the sphere of human work, have a strong influence over their functioning both in the professional and extraprofessional spheres. Scientific analyses, as well as everyday observation, suggest that there are increases in the tension between work and personal life, which results in imbalance and perceiving both the spheres as mutually contradictory, as well as having adverse consequences for workers and their families, organisations, the society, and economics. As regards this occurrence, the aim of the article is to show selected civilizational trends which generate the issues with maintaining work--personal life balance of contemporary humans. The article is of theoretical character and is based on the method of critical literature analysis, as well as on the analysis of formal-legal documents, reports, and statistical sources. The theoretical-case analyses let one formulate a conclusion that the transformation one undergone in the sphere of professional work often bears adverse consequences for the sphere of workers＇ personal lives and this should be a significant scientific research field.展开更多
文摘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 civilisation transformations which occur in the sphere of human work, have a strong influence over their functioning both in the professional and extraprofessional spheres. Scientific analyses, as well as everyday observation, suggest that there are increases in the tension between work and personal life, which results in imbalance and perceiving both the spheres as mutually contradictory, as well as having adverse consequences for workers and their families, organisations, the society, and economics. As regards this occurrence, the aim of the article is to show selected civilizational trends which generate the issues with maintaining work--personal life balance of contemporary humans. The article is of theoretical character and is based on the method of critical literature analysis, as well as on the analysis of formal-legal documents, reports, and statistical sources. The theoretical-case analyses let one formulate a conclusion that the transformation one undergone in the sphere of professional work often bears adverse consequences for the sphere of workers＇ personal lives and this should be a significant scientific research field.
