【摘 要】
：
实时性测试的任务就是找到实时软件的最短执行时间（BCET）和最长执行时间（WCET）,来验证实时软件的行为是否违反时间限制.如果将搜索实时软件的B／WCET看作优化问题,就可以利用演化算
论文部分内容阅读
实时性测试的任务就是找到实时软件的最短执行时间（BCET）和最长执行时间（WCET）,来验证实时软件的行为是否违反时间限制.如果将搜索实时软件的B／WCET看作优化问题,就可以利用演化算法来自动搜索具有B／WCET的测试数据,称这种利用演化算法搜索实时软件B／WCET的测试方法为演化测试.该文阐述了演化测试的基本思想,讨论了演化算法的表达方案、演化算子及适应值度量等问题,实现了演化测试的原型系统,并在此基础上对原演化算法所采用的选择算子和适应值方程进行了改进.实验表明演化测试取得令人满意的结果,对算法的改进明显提高了演化测试的收敛速度和求解精度.从实验结果看演
化测试在验证实时性方面具有广泛的应用前景.
其他文献
该文是针对Linux群集系统负载均衡技术方面进行研究和改进的.首先介绍了群集系统的定义、特点、评测标准、群集任务分配的调度策略,以及负载均衡技术;接着,分析了Linux Virtu
随着工作站性能的迅速提高和价格日益下降,以及高速网络产品的陆续问世,一种新型的并行计算机系统工作站集群应运而生。工作站集群属于分布式存储的MIMD,这种系统将许多台工
该文论述的就是根据实际工作中出现的种种问题,利用局域网LAN(或广域网WAN)的传输方式,对四平市区内的有线电视系统中各种与用户相关的软件进行整合的系统工程,使有线电视系
随着现代科学技术的发展,移动机器人的种类日益增多且应用场景变得更加广泛,这导致其上的自适应软件开发产生了极大的需求。然而从软件工程的角度看,当前移动机器人上自适应
该文研究自相似网络流量的性质及相应的排队分析.文中对自相似随机过程的定义、性质以及基于自相似业务流的排队论做了系统详尽的分析,对许多重要结论给出独立的推导和证明.
蚂蚁算法(Ant Algorithm)是近几年问世并逐步引起重视的一种新的仿生类算法,已经陆续应用于一些不同的学科领域.从数值模拟的结果来看,它比目前风行一时的遗传算法、模拟退火
在互联网迅速发展的今天，各种网络业务对服务质量的要求越来越高，而可供使用的网络资源却依然有限，如何解决这一供需矛盾的问题已经成为网络服务质量领域的一个研究热点。冈此，一
该文系统地讨论了网络防毒的一些关键技术,通过对这些防病毒技术的分析,结合当前网络病毒的特点及传播特性,指出了主机层防病毒技术的必要性和可行性.该文提出一种基于主动服
高性能的机群文件系统是机群I/O的重要研究课题。本文结合曙光3000超级服务器上的COSMOS文件系统,讨论了机群文件系统性能优化中的三个关键问题:客户端缓存,可扩展存储服务和
基于WEB的网络管理是目前网络管理领域的一个热门研究方向,一般来说,基于WEB的网络管理系统大致分为三部分：WEB服务器与用户之间的通信;WEB服务器和网络管理服务端之间的通信;