UML状态图到形式化B语言转换的实例研究

使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。     

FSM与方法序列在面向对象的测试中的应用

在UML状态图的基础上，利用有限转状态机理论分析类状态，消除UML状态图中的子状态，将UML状态图转化成为一般有限转状态机，然后应用方法序列规范生成测试的方法序列．测试了类的方法与类状态之间的转换关系，保证测试的完整性．     

扩展UML状态图在状态时限描述中的应用

由于常规的UML状态图难以描述对象的状态时限，故需在建模时对其进行扩展。在概述UML状态图模型及扩展机制的基础上，以期刊编辑部稿件状态时限描述为例，探讨如何通过持续时间、最早开始时间、最早完成时间、最迟开始时间、最迟完成时间、总时差、自由时差等时间参数扩展UML状态图，以增强UML状态图描述对象活动及状态时限的能力。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

基于扩展ITCPN的UML状态图建模

在ITCPN（IntervalTimedColoredPetriNets）模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止孤对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间“或”语义的建模。     

基于UML状态图的协议文本转换技术

利用UML状态图可以扩充状态信息,一定程度上预防状态爆炸的优点,通过建立词库、词性标注、模式匹配等技术,从自定义的协议文本中提取状态、事件、动作和变量等信息,再将这些信息在显示区显示出来.系统通过BGP协议测试,其效果与利用EFSM描述的效果是一致的.     

基于DL-Safe规则的UML状态图形式化和一致性验证

为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义.研究了检查UML状态图一致性的算法,该算法能够用DL-Safe规则对知识库进行推理达到检查状态图一致性的目的,最后分析了算法的可行性.     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

开发多任务系统的一种方法：广义状态图方法

广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念，利用动作结点表示系统在状态转移过程中的动作，以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据，直接由广义状态图生成多任务系统的过程设计。     

一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

基于新颖MSM测试框架的IP核测试法

对SOCIP的测试方法进行了研究，提出了一种MSM（master slave monitor）4试框架．该框架结合场景式测试法和类汇编VERILOG语言，能对SOCIP核进行有效的测试，尤其是对多IP核整合阶段的系统总体测试．通过实验验证，该测试方法能够在保证一定代码覆盖率的前提下，对IP核进行有效的测试，并提高了测试后IP核的可移植性．     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数，E是控制流图边数)。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。     

侧滑试验台测试方法探讨

通过对侧滑试验台的测试原理和测试方法的分析探讨，认为目前用侧滑试验台动态检测前轮定位的测试方法具有一定的不足，易产生误判，若用进退双程测试法和综合测试法取而代之，则可全面，迅速、准确地判定前轮外倾，前束是否合格以及它们之间的匹配情况。     

盐酸干涸法测定二氧化硅的要点探讨

在对二氧化硅的几种测定方法进行检测、检验之后,硅含量在1%～30%的矿石及有关耐火材料试样在酸性介质中,以盐酸作为脱水剂,进行二次干涸处理,使硅酸由胶溶体变为水凝胶,经沉淀、过滤、洗涤、灼烧等处理得出二氧化硅的含量     

采用GSM-R网络实现的机车同步操控系统数传测试方法的研究

分析了基于GSM-R网络实现的机车同步操控系统,并针对此系统在数据传输方面提出的两个主要指标:时延和丢帧率,研究给出了一套测试方案.并对该方案进行了试验,试验结果表明采用本文提出的测试方法,可以全面、合理的统计出这两个指标,此外对于整个通信网络质量也具有一定的评估效能.     

基于应力波的锚杆锚固质量无损检测研究进展

施工工艺、材料特性、环境与荷载长期耦合作用等因素导致岩土体中锚杆锚固结构产生锚固缺陷,对工程安全构成潜在威胁。对在役锚杆锚固结构开展无损检测是进行锚固质量评估、锚杆质量补强的重要环节。应力波法适应强、发展快,是锚杆锚固质量无损检测技术采用的主要方法。从基于应力波法的锚杆锚固质量无损检测理论、室内模型试验、应力波激振与接收、信号处理与分析、数值模拟方面对国内外锚杆锚固质量无损检测技术研究现状进行了综述。研究表明：中国锚杆锚固质量无损检测技术研究起步晚,但发展迅速;现有锚杆锚固质量无损检测技术较为成熟,可实现黏结型锚杆杆体长度及灌浆密实度检测,但其中仍存在不足,限制了锚杆检测精度与检测长度;针对老旧锚杆服役状态的无损检测方法也较少报道,仍需开展研究。最后结合未来发展趋势对未来可能发展的方向进行了展望,后续研究中,应进一步改进与完善现有理论,研发与升级无损检测技术与设备,拓展锚杆锚固质量无损检测技术适用范围。同时,应构建基于无损检测技术的锚杆服役状态智能评价体系并提出锚杆剩余寿命预测方法。     

基于Markov链模型的被动测试错误检测算法

通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题.     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。