国家科技型中小企业技术创新基金(06C26225101730)
- 作品数：13 被引量：27H指数：4
- 相关作者：李志蜀李宝林孙继荣陈良银程艳红更多>>
- 相关机构：四川大学成都信息工程大学西南民族大学更多>>
- 发文基金：国家科技型中小企业技术创新基金四川省自然科学基金四川省科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- IEEE 802.11e无线局域网中改进信道接入的简单策略被引量：2
- 2009年
- 针对IEEE 802.11e在高负载下性能降低的问题,提出了一种改进信道接入的策略,这是一种不需要通过实时测量来估计网络状态的简便策略。该策略根据竞争窗口(CW)的大小改变各业务流的仲裁帧间间隔(AIFS),从而使各业务流能适应网络状态动态调整其优先级,同时结合减慢CW在成功传输时更新速度的措施以降低高负载下的冲突概率。仿真结果表明该策略不仅能提升各优先级业务流的吞吐量、时延和抖动等性能,而且能改善高负载下各优先级业务流之间信道的不公平分配,明显减轻了低优先级业务流的饥饿现象,同时提高了相同优先级业务流的公平性。
- 程艳红李志蜀朱丽
- 关键词：无线局域网QOS
- 着色问题在测试用例集约简中的研究被引量：1
- 2007年
- 基于I/O关系的黑盒测试用例集约简技术能够保证约简后的测试集Tred具有和原完全组合测试集相同的检错能力。该文提出了Red(I)和Red(O)两个对问题空间(I,O)约简的算法;构建了I/O关系图,将问题空间(I,O)划分为若干子问题(Ii,Oi);并引入着色问题得到每个子图的同色等价类,进一步得到其基类Ii′,然后实施等价类替换和运用算法Red(O);进而运用贪心算法求解覆盖每个子问题空间的测试用例集Treid;最后水平拼接各Treid构成问题空间(I,O)的约简测试用例集Tred。这样得到的测试集不仅保持了检错能力,而且规模较小,同时又降低了贪心算法的时空复杂度。
- 孙继荣李志蜀吴江倪建成李宝林
- 关键词：着色问题
- 启发式学习自动化程序指令的可达性测试
- 2007年
- 为了测试程序指令的可达性,需要搜索可触发包含该指令的控制流路径执行的测试用例。该问题可等价为路径约束满足问题的自动求解,求解结果即为验证指令可达的测试用例。为了提高自动求解的性能,在前向检测算法基础上改进设计了R_BinSearchFC算法,算法结合了边界测试数据选取和二叉树搜索技术,可有效提高对数据空间的搜索速度,并可扩展到在实数域空间的求解搜索。实验结果表明,采用了启发式学习的R_BinSearch算法可自动生成有效的测试用例,完成对指令的可达性测试。
- 金虎李志蜀陈良银李勇军李斌孙继荣
- 关键词：自动化软件测试约束满足问题
- 一种IEEE802·11无线局域网的上下行带宽分配策略
- 2009年
- 针对IEEE 802.11基础架构网络中上下行带宽分配不公平的问题,提出了一种新的基于概率发送机制的上下行带宽分配策略,通过调节分组传输概率改变接入点(AP)或终端的接入概率,从而实现上下行带宽的公平分配.文中推导了公平带宽分配的最优发送概率与下行流数的关系,作为在AP或终端进行带宽分配的依据.仿真结果表明,文中策略能够提供准确的上下行带宽分配.
- 程艳红李志蜀朱丽
- 关键词：IEEE802.11带宽无线局域网
- 面向路径的测试数据自动生成工具被引量：5
- 2007年
- 针对测试路径覆盖的可行性问题,给出了一种新的面向路径测试覆盖准则的测试数据自动生成工具。并对Length_N路径覆盖准则进行了定义,运用该准则对被测程序进行静态分析,得到完整路径表(CFG_PT),结合程序插装技术和遗传模拟退火算法自动生成测试数据。实验表明,该工具在实际应用中有较好的效果。
- 李宝林李志蜀陈良银邢建川叶军
- 关键词：遗传模拟退火算法程序插装
- 差错信道下无线局域网的自适应MAC协议被引量：2
- 2012年
- 深入分析了差错信道下802.11DCF在饱和状态下的条件冲突概率对吞吐量的影响.研究表明,在基本接入模式下,对于给定的网络配置,存在最优的条件冲突概率使饱和吞吐量最大,并且该最优值近似与站点数、误码率及分组负载长度(100～4000B)无关.在此基础上,提出一种信道自适应MAC协议,其中主要包括竞争窗口调整方法和帧长控制机制,前者主要通过调节竞争窗口使条件冲突概率接近最优值,后者根据信道的误码率选择最优帧长.分析和仿真结果表明,与标准DCF及其优化算法(SBEB和OPL)相比较,该协议在差错信道下不仅能有效改善吞吐量,同时对信道与负载条件的变化表现出良好的适应能力.
- 程艳红李志蜀陈良银
- 关键词：IEEE802.11WLAN吞吐量
- 基于Bayes的软件可靠性模型研究
- 2007年
- 随着软件质量的提高,对软件可靠性的要求也越来越高。目前已经有一百多种软件可靠性模型。然而,在实际应用中由于可操作性等因素的影响,大多模型都没法得到有效的应用。鉴于此,本文在Nelson模型的基础上,结合Bayes原理给出了一种新的衡量软件可靠性的简单方法。实验表明,改进后的模型在实际应用中有较好的效果。
- 李宝林李志蜀李斌金虎王莉
- 关键词：软件可靠性模型测试用例
- 无线传感器网络中基于免疫的数据融合机制被引量：6
- 2009年
- 为了减少传感器节点间的传输量,延长无线传感器网络的生命周期,提出一种基于免疫的数据融合机制.首先提出用分级分发算法来生成融合图,融合图中的汇聚策略既节省网络能量,又兼顾网络可靠性.其次利用人工免疫系统的自学习和自适应的特点,提出免疫融合算法,通过免疫消冗、免疫选择和免疫记忆来保证系统的高可信度和低冗余度.实验表明,该机制有效地降低了系统能耗,具有较好的通用性.
- 张楠张建华李志蜀杨宪泽
- 关键词：人工免疫数据融合无线传感器网络数据汇聚
- 基于数据流的Java字节码分析被引量：3
- 2009年
- 本文基于数据流框架理论,提出了如何将数据流分析方法应用于JAVA字节码中,通过建立数据流与半格、数据流和函数调用图的关系,从而对类型信息进行分析。实验表明该数据流分析方法能够对文件中的类型信息进行较精确的分析。
- 倪程李志蜀
- 关键词：数据流分析半格JAVA字节码控制流图
- 面向Length_N测试覆盖准则的测试用例生成技术研究
- 2008年
- 针对路径覆盖测试的可行性,提出了一种新的路径测试覆盖准则(Length_N准则)。首先把测试用例生成归纳为多目标函数的优化问题,其有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集。为了提高生成效率,对遗传模拟退火算法的编码、适应度函数、交叉概率做了一定的改进;并在此基础上来自动生成测试用例。实验结果表明该方法在效率上较遗传算法、随机测试数据生成方法有很明显的提高,在可行性上比路径覆盖准则也有很大的改善。
- 李宝林李志蜀倪建成李继玲
- 关键词：遗传模拟退火算法程序插装测试用例
