基于TA的等级转换场景变异测试方法研究

针对等级转换场景下的变异测试集不完备问题,提出基于时间自动机(Time Automa-ta,TA)的等级转换场景变异测试研究方法.该方法结合时间自动机理论和等级转换操作流程建立TA模型,同时设计15种变异算子对模型进行变异测试,通过计算加权变异分数评估测试案例集的完备性,并对加权变异分数较低的算子进一步修改补充,最终得...     

国外轨道交通的投资方式

本文选取了当前社会关注的热点"城市轨道交通投资模式"作为研究对象,运用财政学和投资理论的相关内容,借鉴国际上3种流行的投资模式,结合财税体制和利益还原政策的分析,提出了具有中国特色的城市轨道交通混合投资模式.     

浅谈教师自主与大学英语自主学习

"自主学习"是近年来外语教学中讨论的一个热点。作为和自主学习紧密相关的一个方面,教师自主也受到了愈来愈多的关注。本文从教师自主的定义谈起,从五个方面分析了教师自主的内涵以及它们与大学英语自主学习之间密不可分的关系。     

对物流系统典型模式的认识

物流系统是物流运行与管理的依托和基础，剖析典型的物流系统，是了解物流系统的构成、演变与发展的重要手段和认识各类物流系统基本特征的主要方法，也是从事物流系统开发的理论研究与设计工作的准备过程。     

基于UPPAAL的列控系统临时限速建模与验证

临时限速系统是列控系统的重要组成部分,是符合"故障-安全"准则的安全苛求系统。文章基于临时限速技术规范和时间自动机理论,分析临时限速系统的组成结构,提取其功能和性能约束,利用UPPAAL工具对其信息交互行为进行建模仿真,验证该系统的实时性,为进一步完善临时限速系统的设计与开发提供参考。