UNIX实时调度策略全自动测试器的设计

ＵＮＩＸ实时调度策略全自动测试器是ＵＮＩＸ实时调度策略调试器的最主要部分。本文对ＵＮＩＸ实时调度策略全自动测试器的设计进行了详细论述。这种自动测试器晃软件开发经中中很重要的一种技术,在开发实时操作系统时使用这种自动测试器, 有效地提高软件开发效率和软件的质量。本文设计的ＵＮＩＸ实时调度策略全自动测试器具有一定的通用性,根据 结构可以设计出适用于其他类型程序的全自动测试器。该全自动测试器的设计在软件     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

任务与资源双向匹配的动态任务调度策略研究

并行测试系统中的测试任务的执行时间是不确定的,测试任务过程具有随机性。为实现测试任务优化执行的目的,建立了并行自动测试系统的动态任务调动模型,并提出了基于测试任务剩余工作量和测试资源剩余负载的启发式调度规则,并在测试任务过程Petri网模型的运行演化算法中采用该规则,实现并行测试任务的动态调度。最后通过实例仿真,验证了该策略的可行性和优越性。     

IPv6协议一致性测试系统的研究与实现

通过分析IPv6协议测试需求,提出了一种适合IPv6的测试描述法,实现了测试数据描述、复杂计算、测试传输等方法,可以在一台物理测试器上支持多测试组件并发测试,采用静态描述和动态调整相结合的方式实现测试数据描述、测试描述法和测试系统互动的方式实现计算功能,网络接口和通信实体相结合的方式实现测试传输.并通过测试实践验证了这种测试框架的有效性.     

EPA通信调度测试方法与实现技术

介绍了EPA通信协议模型和EPA通信调度规程，根据通信调度的原理和要求，研究了EPA协议确定性调度的测试原理，提出了测试EPA确定性调度的方法和系统结构，对调度偏差和调度顺序分别论述了其相应的测试流程。通过测试系统的实际应用证明这种测试方法能够准确地测试被测设备调度实体的实现与EPA标准的符合程度。     

基于DSTM的IPv6网络性能测试系统的研究

针对目前IPv6网络性能测试软件的缺乏,首先分析了IPv6网络性能测试的性能指标、测试方法及测试结构,然后在此基础上依据DSTM的主要原理机制,研究了在Windows平台下的一个IPv6网络性能测试系统Test6,该系统主要由往返时延测试器、丢包率测试器和吞吐量测试器构成,各个测试器均由其基本算法实现;通过该系统的使用,可以对测量结果的统计分析和数学建模,总结出各项性能参数和规律,为IPv6网络的端到端接入控制、镜像服务器选择、路由优化、拥塞控制、以及流媒体应用等提供客观、可靠的定量依据。     

分布式对象数据库系统中的对象管理策略

本文提出了分布式对象数据库系统中的对象迁移和对象调度的概念,对系统中的对象迁移策略和对象调度策略作了详细的研究和讨论。针对系统负载不平衡的问题,给出了对象迁移的动态调整模型和对象迁移时目标地址选择的判定条件及其相应算法。针对对象的调度,本文运用扩展的时间Petri网其调度策略作了模拟,给出了对象最优调度优调度策略的算法实现,事实证明面向对象的技术应用于分布式数据库系统不仅可以提高系统的性能、优化系统的结构、有助于在虚拟网上实现分布式数据库,而且具有一定的实用性。     

基于最优虚拟截止日期多处理器混合时序调度

为提高混合临界系统实时调度有效性,提出基于最优虚拟截止日期的多处理器混合时序调度算法.将现有非抢占最早截止时间可调度性测试算法推广到混合临界多处理器系统,引入时序保证技术,确保系统在两个不同临界值间过渡;将所提可调度性测试扩展到混合临界系统,利用系统级截止期缩减参数控制,设计最优虚拟截止日期分配策略.仿真结果表明,采用最优虚拟截止时间分配策略可调度性测试可发现大量额外可调度任务集,实现混合临界多处理器非抢占调度性能提升.     

无线传感器网络操作系统调度策略

提出了一种在无线传感器网络操作系统中可以同时针对周期性任务和非周期性任务进行抢占式调度操作的EF-RM调度策略。在无线传感器节点上执行的任务负载较重的情况下，该调度策略可以保证重要任务的优先执行，此外当无线传感器节点空闲时，通过将节点带入睡眠状态，实现无线传感器节点的节能。所提出的任务调度策略在TinyOS上进行实现，并通过实验测试得出，在总能耗代价增加较少的情况下可以有效地提高系统在较重负载情况下的响应性能。     

可编程模糊测试技术

模糊测试是一种有效的漏洞挖掘技术.为改善模糊测试因盲目变异而导致的效率低下的问题,需要围绕输入特征、变异策略、种子样本筛选、异常样本发现与分析等方面不断定制模糊测试器,从而花费了大量的定制成本.针对通用型模糊测试器（即支持多类输入格式及目标软件的模糊测试器）的低成本定制和高可扩展性需求,本文首次提出了一种可编程模糊测试框架,基于该框架漏洞挖掘人员仅需编写模糊测试制导程序即可完成定制化模糊测试,在不降低模糊测试效果的基础上可大幅提高模糊测试器开发效率.该框架包含一组涉及变异、监控、反馈等环节的模糊测试原语,作为制导程序的基本语句;还包含一套编程规范（FDS）及FDS解析器,支持制导程序的编写、解析和模糊测试器的生成.基于实现的可编程模糊测试框架原型Puzzer,在26个模糊测试原语的支持下,漏洞挖掘人员平均编写54行代码即可实现当前主流的5款万级代码模糊测试器的核心功能,并可覆盖总计87.8%的基本操作.基于Puzzer实现的AFL等价模糊测试器,仅用51行代码即可达到与AFL相当的模糊测试效果,具有良好的有效性.     

实时分布式系统性能测试技术研究

实时分布式系统的性能是关注核心,对其进行评估和测试关系着系统的应用前景。基于实时分布式系统的性能测试需求,对系统关键的处理性能、存储性能、传输性能以及实时恢复性能这四种性能测试方法进行了研究和探讨,同时分别利用实时分布式系统中e600架构的处理器、flash存储器、FC网络以及分区调度策略针对这些方法开展了测试,并对获得的测试结果进行了分析。分析结果表明,性能测试结果可信,方法可行,可作为实时分布式系统评测依据。     

基于多传感器的控制系统实时调度算法

将简单反馈控制与任务准入/回归、可达/夭折等策略相结合,设计新的动态调度框架。在此基础上,综合截止期、关键度和最坏执行时间3种特征参数,提出基于反馈控制的混合策略调度算法,该算法也适用于对任务的其他多种特征参数的综合。从截止期错失率、错失任务平均关键度和CPU有效利用率3个方面,分析算法的性能。实验结果表明,该算法在混合任务和动态负载下与最早截止期优先和最高价值优先算法相比具有更好的性能。     

软件可靠性分析、测试与评估工具——SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

基于响应时间的混合关键级系统弱约束调度策略研究

现有的混合关键级系统调度策略如AMC、SMC等大多以牺牲低关键级任务的方式保证高关键级任务的执行,不符合实际工业设计且破坏数据完整性。对此建立一种新的混合多关键级任务模型,基于响应时间分析提出两种调度策略:AMC-we-x和AMC-we-max-x。线下估计任务集在这两种调度策略下的可调度比率,与已有的混合多关键系统调度策略AMC-arb-x、AMC-max-x进行比较。结果表明,提出的两个调度策略在一定程度上能够实现调度低关键级任务的积极调度,可以通过改变弱约束模式参数调整任务的服务水平。     

实时操作系统任务调度策略的研究与设计

实时操作系统的调度策略是影响系统实时性和稳定性的一个重要因素,通过对抢占调度和分时调度的研究,设计了一个可分级抢占和分时调度的实时操作系统。用抢占调度方式来保证系统的实时性,用分时调度来减少进程饥饿现象的发生,提高系统的稳定性,更易于使用。     

RTAI下动态集成的资源预留调度器的设计与实现

近年来基于双内核架构增强Linux操作系统实时性的RTAI(Real-Time Application Interface)在工业控制等硬实时领域得到广泛应用。RTAI通过抢占Linux的执行来保障硬实时性，Linux被抢占的时间依赖于硬实时应用的处理器要求而每次均会有较大不同，导致Linux的执行时间不可预测，从而无法保障软实时应用的服务质量。动态集成的资源预留调度器(Dynamic Integrated Resource Reserved Scheduler，DIRRS)通过增强RTAI调度器使其支持资源预留机制，在Linux实现可动态集成的、基于服务器的调度策略，不但可以保证Linux及其以上的软实时应用，即使在有硬实时任务并发时也能得到处理器资源，而且很容易通过更换不同的服务器内核模块来实现用户自定义的调度策略。     

复杂实时系统可调度性判定工具的研究与实现

针对包含多处理器、多分区结构的复杂实时系统存在的可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量模拟任务调度过程,依据纯周期任务集的特性确定仿真区间,调用优化的判定算法,判定任务集的可调度性。测试结果及实例分析表明,该工具能自动、准确、快速地判定任务集的可调度性,并以甘特图的方式绘制任务调度过程,较现有工具更为高效、直观。     

实时系统中弹性调度策略

弹性调度面向负载可变的实时系统,通过动态调整任务属性以满足系统的灵活性要求,是一种高效的任务调度策略。针对弹性调度研究中的成果及问题,概述了弹性调度的研究背景,从任务模型、调度模型以及调度算法三个方面对弹性调度的国内外研究进展进行综述,探讨当前研究中存在的问题,并对弹性调度未来研究工作进行分析和展望。     

面向实时系统的服务组件动态等级调度策略

OSGi是基于组件的面向服务架构,其服务组件可在运行时远程地被安装、卸载和更新,但其服务实现的各项属性必须安装后才可知,这对于有时限要求的实时系统来说,是一个挑战。在执行时间服务和准入控制协议等研究基础上,提出了一种动态等级调度策略。通过动态地计算和分配组件的权限,以时间片轮转的方式调度组件,并设置不被中断的超级组件使服务组件能够应用在有特殊实时要求的系统中。最后通过实验和实践,分析和证明动态等级调度在面向服务架构上的良好应用。