排序方式: 共有18条查询结果,搜索用时 14 毫秒
1.
软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础。UML(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日益广泛的应用。研究基于UML的软件可靠性测试具有很强的现实意义。利用在软件开发早期阶段生成的UML模型,如用例图、顺序图、活动图,可以生成软件使用模型,进而可据此产生测试用例。 相似文献
2.
近年来,以风电、光伏为代表的分布式能源发展迅速,然而其出力的不确定性可能会导致出力严重偏离预测值,出现极端恶劣的场景,从而给配电网规划工作与可靠、稳定运行带来挑战。在上述背景下,文章以适应分布式能源以及负荷的不确定性为目标,以分布式电源的接入位置、安装数量以及新建线路为投资决策内容,提出了一种考虑极限场景的配电网鲁棒扩展规划方法。首先建立了配电网双层规划模型,通过大M 法和二阶锥松弛将非线性模型转化为混合整数线性模型;其次,采用极限场景法处理随机变量,建立了基于极限场景法的配电网两阶段鲁棒规划模型;然后,采用了基于极限场景法的列和约束生成(column and constraint generation,C&CG)算法进行求解;最后,仿真算例表明,文章采用的鲁棒规划方法可以增强配电网在极端情况下的普遍适应能力,提高了配电网的可靠性和经济性。 相似文献
3.
基于UML的软件Markov链使用模型构造研究 总被引:16,自引:1,他引:16
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性. 相似文献
4.
5.
6.
文章以校园餐厨垃圾为原料,以水热炭化的方法处理餐厨垃圾,对得到的水热炭化固体产物生物煤的特性参数进行测定,得出生物煤的热值及灰分均达到GB/T 17608-2006精煤的一级标准。通过3水平3因素正交试验,对水热炭化工艺条件进行优化,得到影响因素的主次顺序为温度pH反应时间,合适的工艺条件为180℃,pH为4,反应时间为3 h。在温度160~220℃范围内,随着反应温度的增高,生物煤的热值增加,而其转化率则是先增高,后趋于平缓,最后急速下降。在优化工艺条件下对餐厨垃圾进行水热炭化,得到生物煤热值为30.18 MJ/kg,转化率为54.08%。对餐厨垃圾及优化条件下得到的生物煤进行元素分析,得出经过水热炭化后,碳的质量百分含量从49.00%提高到65.93%,而氧元素的质量分数降低了17.98%。同时,水热炭化改变了餐厨垃圾的极性及芳香性。 相似文献
7.
基于UML的软件使用模型的研究与实现 总被引:2,自引:1,他引:2
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。 相似文献
8.
9.
10.