To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets i...To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research.展开更多
Nonlinear dynamic analysis of rotating machinery system has always been the hot spot of the rotational dynamics re-search. This article sets up a rotating machinery condition monitoring system to realize the measureme...Nonlinear dynamic analysis of rotating machinery system has always been the hot spot of the rotational dynamics re-search. This article sets up a rotating machinery condition monitoring system to realize the measurement of system dynamic charac-teristic parameters based on NI(National Instruments) virtual instruments technology. The measurement of vibration signal of rotating machinery system is achieved by using NI company general data acquisition module of NI Company. Meanwhile, by analyzing and processing the acquired data using LabVIEW 2012, the dynamic characteristics, such as .the speed of the rotating machinery system, the axis trajectory, spectrum parameters, are attained. The measurement results show that the rotating machinery condition monitor-ing system based on LabVIEW is easy to operate, easy to realize the function extension and maintenance, and that it can be used in the industrial engineering projects with rotation characteristics. LabVIEW as the development tools used by virtual instrument func-tion is very powerful data acquisition software products support is one of the features of it, so using LabVIEW programming and data acquisition is simple and convenient.展开更多
现有高级辅助驾驶系统(Advanced Driver Assistance Systems,ADAS)功能不断增多且系统复杂性不断提高,不可避免带来了预期功能安全(Safety of the Intended Functionality,SOTIF)问题。触发条件的识别与生成是预期功能安全活动中重要的...现有高级辅助驾驶系统(Advanced Driver Assistance Systems,ADAS)功能不断增多且系统复杂性不断提高,不可避免带来了预期功能安全(Safety of the Intended Functionality,SOTIF)问题。触发条件的识别与生成是预期功能安全活动中重要的一环,然而现有对触发条件识别仅借助系统过程理论分析方法(System Theoretic Process Analysis,STPA)进行分析,未充分考虑系统功能状态转换中存在的问题。本文以知识驱动的方式构建触发条件识别机制,将STPA及有限状态机(Finite State Machine,FSM)理论融合构建拓展型系统控制结构,针对拓展型控制架构及功能状态转换进行安全分析,根据系统存在的功能局限及人为误用,完成触发条件的识别、生成、规范化描述、分类及标签化。最后将本文提出的触发条件生成机制应用于集成式巡航辅助系统(Integrated Cruise Assistance,ICA),得到了该系统的触发条件及其分类,并将本文所提出的生成机制与现有相关触发条件生成方法进行对比分析,证明了本机制的实用性、可行性及有效性。展开更多
文摘To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research.
文摘Nonlinear dynamic analysis of rotating machinery system has always been the hot spot of the rotational dynamics re-search. This article sets up a rotating machinery condition monitoring system to realize the measurement of system dynamic charac-teristic parameters based on NI(National Instruments) virtual instruments technology. The measurement of vibration signal of rotating machinery system is achieved by using NI company general data acquisition module of NI Company. Meanwhile, by analyzing and processing the acquired data using LabVIEW 2012, the dynamic characteristics, such as .the speed of the rotating machinery system, the axis trajectory, spectrum parameters, are attained. The measurement results show that the rotating machinery condition monitor-ing system based on LabVIEW is easy to operate, easy to realize the function extension and maintenance, and that it can be used in the industrial engineering projects with rotation characteristics. LabVIEW as the development tools used by virtual instrument func-tion is very powerful data acquisition software products support is one of the features of it, so using LabVIEW programming and data acquisition is simple and convenient.
文摘现有高级辅助驾驶系统(Advanced Driver Assistance Systems,ADAS)功能不断增多且系统复杂性不断提高,不可避免带来了预期功能安全(Safety of the Intended Functionality,SOTIF)问题。触发条件的识别与生成是预期功能安全活动中重要的一环,然而现有对触发条件识别仅借助系统过程理论分析方法(System Theoretic Process Analysis,STPA)进行分析,未充分考虑系统功能状态转换中存在的问题。本文以知识驱动的方式构建触发条件识别机制,将STPA及有限状态机(Finite State Machine,FSM)理论融合构建拓展型系统控制结构,针对拓展型控制架构及功能状态转换进行安全分析,根据系统存在的功能局限及人为误用,完成触发条件的识别、生成、规范化描述、分类及标签化。最后将本文提出的触发条件生成机制应用于集成式巡航辅助系统(Integrated Cruise Assistance,ICA),得到了该系统的触发条件及其分类,并将本文所提出的生成机制与现有相关触发条件生成方法进行对比分析,证明了本机制的实用性、可行性及有效性。
