The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability ...The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automatic generation of test cases, but the requirement for mathematical basis makes itself academic inventions divorced from real applications. This paper proposes an approach to transforming UML model to FSM model, taking advantage of both languages. As our work focuses on the transformation of UML state diagrams to FSM models, a specific transformation mechanism is presented, which deals with different elements with different mapping rules. To illustrate the mechanism we proposed, an example of a web application for software download is presented. Finally, we give a method for implementation of the mechanism and a tool prototype to support the method.展开更多
Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD...Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Dia-gram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型。基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明。测试引擎将测试规格说明作为输入最终产生测试报告。全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述。展开更多
简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延...简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延时的影响,并将该网络通信模型应用于车辆4WS控制系统,针对网络通讯延迟对控制效果影响进行了仿真分析,进一步证明了使用该模型研究数据传输延时对控制系统控制影响的可行性。展开更多
安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来...安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。展开更多
文摘The need for automatic testing of large-scale web applications suggests the use of model-based testing technology. Among various modeling languages, UML is widely spread and used for its simplicity, understandability and ease of use. But rigorous analysis for UML model is difficult due to its lack of precise semantics. On the other hand, as a formal notation, FSM provides an avenue for automatic generation of test cases, but the requirement for mathematical basis makes itself academic inventions divorced from real applications. This paper proposes an approach to transforming UML model to FSM model, taking advantage of both languages. As our work focuses on the transformation of UML state diagrams to FSM models, a specific transformation mechanism is presented, which deals with different elements with different mapping rules. To illustrate the mechanism we proposed, an example of a web application for software download is presented. Finally, we give a method for implementation of the mechanism and a tool prototype to support the method.
文摘Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来。对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型。首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Dia-gram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型。基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明。测试引擎将测试规格说明作为输入最终产生测试报告。全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述。
文摘简述了CAN(controller area network)网络通信协议的特点,在MATLAB/Simulink/Stateflow仿真环境,运用有限状态机(FSM)理论,建立了用于车辆底盘集成控制的CAN网络通信系统仿真模型。仿真研究了节点优先级、传输速率及单帧信息量对通信延时的影响,并将该网络通信模型应用于车辆4WS控制系统,针对网络通讯延迟对控制效果影响进行了仿真分析,进一步证明了使用该模型研究数据传输延时对控制系统控制影响的可行性。
文摘安全性、可靠性是计算机软硬件系统达到用户满意度的重要指标,为了保证其安全,在系统投入使用之前必须要经过严格的安全性测试。提出一种基于FSM(Finate State Machine)和FTA(fault tree analysis)的模型检测的形式化安全性测试方法来验证被测系统的安全性。该方法具有较高的通用性,能详细地分析软件模型可能出现的故障。
