基本路径测试技术及应用研究

基本路径测试法是一种白盒测试方法,文章将程序流程图映射成流图,探讨了程序的3种基本结构映射成流图的方法,计算了流图的环形复杂度并确定了基本测试路径,从而为每条基本路径设计了测试用例。实践证明,基本路径测试法适用于执行路径较多的程序,通过选择有代表性的路径进行测试,可有效提高测试效率。

基于关键路径和任务复制的多核调度算法

针对目前大多数多核处理器任务分配优化算法没有考虑关键路径上节点对任务完成时间的重要影响,导致任务完成总时间延迟的问题,提出了基于关键路径和任务复制(CPTD)的单任务调度算法。CPTD算法通过复制任务图中fork节点的方式将任务图转化为与之相对应的产品加工树;再在生成的产品加工树中找到关键路径,并采取使关键路径上节点的紧前节点尽早调度的方式,使关键路径上节点尽早开始执行,进而使产品加工树中节点完成时间得以提前,达到缩短任务执行总时间的目的。理论分析表明,CPTD算法能够实现应用程序在多核上充分并行处理,并能缩短任务完成时间。

基于元胞自动机理论对双车道交通模型的改进

为了提升道路的交通运行流量,建立了模拟双车道交通流行驶的元胞自动机模型,作出在不同行车规则和不同交通条件下的车辆运行情况的时空轨迹图,找到了行车规则影响交通流的根本因素,并合理优化行车规则,改进了道路的实际通行能力.

基于控制流程的软件测试用例自动生成方法研究

软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法.最后,介绍了相关支持工具ATCG.

网络计划技术节点参数和关键路径的MATLAB实现及优化

网络计划技术已广泛地应用于各项管理领域,成为较常用的科学管理方法之一,各个节点的时间参数及关键路线的确定十分重要,关键路径的确定一般是转化为最短路径,然后利用Floyd算法求解。该文应用网络图的矩阵表示法求解节点的时间参数和关键路径,最后通过MAT-LAB语言实现算法,并建立了网络优化的数学模型。

压缩机组气路系统工艺流程图快速生成软件的开发与应用

针对通用化工透平压缩机运行性能在线监测与评估系统的特殊需要 ,基于Windows系统 ,成功实现了对各种复杂类型压缩机工艺流程主界面动态显示的快速生成操作平台。流程图编辑工作简单、快捷 ;内部接口的统一 ,方便了对DCS数据的实时更新、分析处理与控制输出。成功为多套压缩机在线热力性能先进控制及优化分析提供了完善的图形与数据支持。

完全路径覆盖测试法

白盒测试是一种基于程序逻辑结构的测试,结构越复杂的程序需要的测试用例越多,存在测试量过大和测试不足这一对始终难解的矛盾。将程序分割,使其结构简单化,既可以减少测试工作量,又可以使测试充足,即通过使用完全路径覆盖法可以缓解这一对矛盾。

一类带权连通有向图及其应用

用数学方法给出了一类带权连通有向图的路径及路径表达式的定义;并以一种新的形式表示出生成从入口到出口所有路径集的算法,同时介绍了这一算法的应用及其应用模式。