UML is a widely-used, general purpose modeling language. But its lack of a rigorous semantics forbids the thorough analysis of designed solution, and thus precludes the discovery of significant problems at design time...UML is a widely-used, general purpose modeling language. But its lack of a rigorous semantics forbids the thorough analysis of designed solution, and thus precludes the discovery of significant problems at design time. To bridge the gap, the paper investigates the underlying semantics of UML state machine diagrams, along with the time-related modeling elements of MARTE, the profile for modeling and analysis of real-time embedded systems, and proposes a formal operational semantics based on extended hierarchical timed automata. The approach is exemplified on a simple example taken from the automotive domain. Verification is accomplished by translating designed models into the input language of the UPPAAL model checker.展开更多
有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,...有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,利用正则表达式的结构表示测试路径(抽象测试用例),使测试分析变得更简单并利于形式推导.对任何抽象级的FSM,都可以从中产生满足确定测试准则的测试用例,它们是抽象的,对应不同的抽象级别,适合不同层次上的测试.最后还对FSM中完全路径的条数展开了分析,这便于考察满足完全路径覆盖所需的最多测试用例个数以及满足迁移覆盖所需的最少测试用例个数.展开更多
采用UML分析与设计的业务信息系统,业务流程经过层层的抽象迭代,缺乏一种透明的业务流程实现。WF提供了可视化的业务过程编程模型,便于实现业务流程自动化,在对比分析WF State Machine和UML状态图的基础上,研究从UML状态图到WF State Ma...采用UML分析与设计的业务信息系统,业务流程经过层层的抽象迭代,缺乏一种透明的业务流程实现。WF提供了可视化的业务过程编程模型,便于实现业务流程自动化,在对比分析WF State Machine和UML状态图的基础上,研究从UML状态图到WF State Machine业务流程映射关系,选取UML中典型状态图,依据一定的命名转换规则,实现了从UML状态图分析设计到WF状态机业务过程可视化的构建,完成了动态测试。展开更多
为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高...为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。展开更多
在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state m...在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.展开更多
基金This work was supported by the European Community 7th Framework Program （FP7/2007-2013） under Grant agreement No. 248864 （MADES） and the National Natural Science Foundation of China under Grant No. 61202002.
文摘UML is a widely-used, general purpose modeling language. But its lack of a rigorous semantics forbids the thorough analysis of designed solution, and thus precludes the discovery of significant problems at design time. To bridge the gap, the paper investigates the underlying semantics of UML state machine diagrams, along with the time-related modeling elements of MARTE, the profile for modeling and analysis of real-time embedded systems, and proposes a formal operational semantics based on extended hierarchical timed automata. The approach is exemplified on a simple example taken from the automotive domain. Verification is accomplished by translating designed models into the input language of the UPPAAL model checker.
文摘有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,利用正则表达式的结构表示测试路径(抽象测试用例),使测试分析变得更简单并利于形式推导.对任何抽象级的FSM,都可以从中产生满足确定测试准则的测试用例,它们是抽象的,对应不同的抽象级别,适合不同层次上的测试.最后还对FSM中完全路径的条数展开了分析,这便于考察满足完全路径覆盖所需的最多测试用例个数以及满足迁移覆盖所需的最少测试用例个数.
文摘采用UML分析与设计的业务信息系统,业务流程经过层层的抽象迭代,缺乏一种透明的业务流程实现。WF提供了可视化的业务过程编程模型,便于实现业务流程自动化,在对比分析WF State Machine和UML状态图的基础上,研究从UML状态图到WF State Machine业务流程映射关系,选取UML中典型状态图,依据一定的命名转换规则,实现了从UML状态图分析设计到WF状态机业务过程可视化的构建,完成了动态测试。
文摘为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。
文摘在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言(unified modeling language,UML)状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.
