刘晓娟
- 作品数：4 被引量：26H指数：2
- 供职机构：华东计算技术研究所更多>>
- 相关领域：自动化与计算机技术自然科学总论交通运输工程更多>>
- 基于Petri网的交通控制系统建模与评估被引量：1
- 2008年
- 基于Petri网理论,提出一种对十字路口交通控制系统建模和性能评估的方法。该方法根据路口间的交通流量,计算在不同红绿灯相位差的情况下,各个路口的平均等待队列长度和平均等待时间,从而得出最优的红绿灯相位差。与通常的Petri网模型相比,该模型减少了分析的复杂性,提高了城市路网的通行能力。
- 刘晓娟温冠华
- 关键词：PETRI网交通控制系统
- 基于Petri网的交通控制系统建模与评估
- 基于Petri网理论,提出一种对十字路口交通控制系统建模和性能评估的方法.该方法根据路口间的交通流量,计算在不同红绿灯相位差的情况下,各个路口的平均等待队列长度和平均等待时间,从而得出最优的红绿灯相位差.与通常的Petr...
- 刘晓娟温冠华
- 关键词：交通控制系统交通流量PETRI网
- 文献传递
- 基于UML顺序图测试用例的生成被引量：10
- 2008年
- 在分析UML模型可测试性的基础上,提出一种基于UML顺序图模型生成分布式系统测试用例方法,以系统软件配置项为对象对分布式应用典型场景进行模拟,通过解析MDL文件给出对顺序图XML的建模方案,实现一个自动生成分布式系统测试用例工具。实验结果表明,生成的测试用例达到判定覆盖的标准,具有良好的应用前景。
- 李建军朱敏刘晓娟邵培南
- 关键词：测试用例生成UML顺序图XML建模
- 软件可靠性度量方法被引量：15
- 2009年
- 分析软件故障暴露率与软件测试次数之间的关系,提出在保证可靠性测试结果客观准确的前提下,有效减少验证测试次数的方法。结合软件可靠性和体系结构相关理论,提出基于组件的软件失效率定量计算方法。研究并利用软件可靠性度量方法,提高了软件可靠性测试效率和可靠性评估准确性。
- 刘晓娟温冠华李建军严少清
- 关键词：软件可靠性度量
