摘要：对于参数多、状态多且状态转换关系复杂的软件,测试人员设计的测试用例往往难以保障测试覆盖率。针对该问题,提出了一种测试用例生成与约简算法。该方法定义了一种数据模型——测试路径控制阵列模型,将其与因果图法结合起来,可通过编程实现测试用例设计。该方法设计测试用例便捷、充分,避免了由于人工绘制因果图和检查判定表引入的错误。应用于实时系统软件的主副切换功能测试时,生成测试用例32个,对被测对象覆盖全面且有效。

摘要：针对软件测试中测试用例执行顺序随意性较强,导致测试的冗余操作增多、不能集中暴露软件缺陷的问题,提出了测试路径控制阵列模型来组织测试用例,基于该模型从图论角度出发提出了测试用例执行前优化排序算法;提出了测试用例距离的概念和计算方法,并基于测试用例距离,提出了测试用例执行过程中的动态调整算法;将以上两算法应用于实时系统软件主副机切换功能的测试用例,优化结果表明,执行前优化排序算法能够减少冗余的测试操作,执行中的动态调整算法能够找到与软件缺陷相关的测试用例并调整其执行顺序。

摘要：火力发电是电力行业的一种重要发电方法,多以煤或天然气等作为燃料,在高温下生成热能,汽轮机再将热能转变成为机械能,然后通过发电机进行发电,在此过程中要消耗大量资源,而且会产生许多污染物,影响环境。在当前能源紧张的状况下,有必要实现电气的节能降耗,发展绿色节能电气,进而降低企业成本,节约能源。主要对化学节能降耗措施展开分析。

摘要：应用测井资料精确计算泥灰岩有机碳含量,将为烃源岩分布规律研究、油气资源评估、源储配置关系研究以及井位部署等提供依据.通过实验分析了有机碳含量与测井资料的相互标定,建立了采用ΔlogR计算泥灰岩有机碳含量的测井解释模型,勾画出区域泥灰岩有机碳含量的平面分布规律,指导了束探B井井位优化部署设计.