高雪娟
- 作品数：5 被引量：16H指数：3
- 供职机构：兰州交通大学自动化与电气学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 双模冗余-比较系统与三模冗余系统的性能比较
- 研究了双模冗余—比较系统和三模冗余系统的工作原理，对各系统的工作状态进行了详细分析.利用马尔可夫过程进行分析，对不同维修率和故障检测覆盖率对系统可靠度和安全度的影响运用MATLAB进行了仿真计算.对比研究表明，如果故障检...
- 武晓春高雪娟
- 关键词：双模冗余可靠性安全性
- 文献传递
- 基于UML的计算机联锁软件的分析与建模被引量：4
- 2014年
- 有效地测试、分析和验证计算机联锁软件是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。以联锁软件的UML非形式化模型为基础,以有限状态机模型为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为有限状态机模型的方法。首先将场景的UML顺序图转化为FSP进程代数模型,然后通过合并不同对象的进程代数模型,得到系统的有限状态机模型。最后以接车进路用例为例生成系统的有限状态机模型,以验证该方法的可行性和有效性。
- 武晓春高雪娟
- 关键词：联锁软件UML顺序图有限状态机
- 基于场景的联锁软件形式化模型生成方法被引量：5
- 2015年
- 为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法。首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型。该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑。
- 董昱高雪娟
- 关键词：计算机联锁软件顺序图
- 双模冗余-比较系统与三模冗余系统的性能比较被引量：2
- 2012年
- 研究了双模冗余-比较系统和三模冗余系统的工作原理,对各系统的工作状态进行了详细分析。利用马尔可夫过程进行分析,对不同维修率和故障检测覆盖率对系统可靠度和安全度的影响运用MATLAB进行了仿真计算。对比研究表明,如果故障检测覆盖率较高,且维修率大于0.0001时,三模冗余结构优于双模冗余—比较结构,其他情况下,则双模冗余—比较结构优于三模冗余结构。
- 武晓春高雪娟
- 关键词：双模冗余可靠性安全性
- 应用UML顺序图的联锁测试用例生成方法被引量：5
- 2013年
- 计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成算法,将顺序图转换为SG;然后基于特定的覆盖准则和采用深度优先搜索算法遍历SG,得到场景的输入、预期输出、约束条件以及场景环境,生成测试用例;最后,以进路建立过程为例验证了该方法的可行性和正确性。
- 高雪娟武晓春
- 关键词：UML顺序图软件测试测试用例生成联锁
