论文部分内容阅读
研究了Gupta方法中的无法找到测试数据的问题;提出了一种算法来解决这一问题,提高了软件测试数据自动生成的有效性.
Gupta方法中线性约束系统的相容性分析及改进
【摘 要】
：
研究了Gupta方法中的无法找到测试数据的问题;提出了一种算法来解决这一问题,提高了软件测试数据自动生成的有效性.
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2004年12期
其他文献
计算机模拟是多媒体网络性能评价的一种重要手段.该文在分析多媒体网络特点及其性能评价指标的基础上,着重讨论了运用计算机模拟技术对多媒体网络进行性能评价的方法.还根据
提出了基于B/S三层模式的中间件解决方案,利用ASP技术,在网页中调用自制组建,实现对数控磨床的参数化设计,在网上在线生成数控磨床的三维模型,充分利用异地分布的设计资源,在
对擂溃机杵头的运动力学方面进行了理论分析，推导出杵头自转的最大和最小角速度的计算公式，并推导出满足桁头作无滑动转动的力学条件，在此条件下推得杵头压缩弹簧的最小预压力的
论述了粮食在储藏过程中，用于防治虫害的磷化氢的残留作用成因，影响残留量的因素，以及目前磷化氢在粮食中残留的现状和预防措施。
介绍了一种酸洗车间废气控制和净化方法，说明利用吹吸罩和循环空气能有效地控制废气。采用多次中和酸雾，可取得良好的净化效果。
研究并实现了一种基于Web技术的嵌入式设备监控模型,使管理者可以通过Internet利用Web浏览器完成对现场设备的远程访问、监控和维护等操作,实现了异构设备之间的跨平台互访.
集中式并行分组交换算法(Centralized Parallel Packet Switch Algorithm,CPA)和分布式并行分组交换算法(Distributed Parallet Packet Switch Algorithm,DPA)是目前并行分组
列表调度方法与其它方法相比,可以用较少的开销获得更好的结果.但仅用于处理机个数有限的系统,对于处理机个数无限的系统,调度策略都是基于任务簇调度的.文章提出了一种处理
普通的拥塞控制方法应用在实时通信上存在很多问题,文章由此提出一种自适应的实时数据流量控制方法,利用网络预测函数,可以更好地把握当前的网络状况,更能体现出其自适应的特
介绍了几种常见的分布式入侵检测系统,针对目前入侵检测系统的不足提出了一个基于移动Agent的网络入侵免疫系统--MANIIS.系统借鉴了自然免疫系统的一些特性,如克隆选择、逆向