【摘 要】
：
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。
【基金项目】
：
基金项目：国家自然科学基金资助项目（90718037）
论文部分内容阅读
基于RAISE规范语言(RSL)的一个变体——时间化RAISE规范语言(TRSL),提出一种可信软件实时性测试用例集生成方法。该方法首先去除基于TRSL软件规约中的抽象时间因素;然后使用划分分析的方法构造测试单元;再利用动态约束求解方法动态构造具有时间约束的构造项和观测项,并在此基础上构建完整的基于TRSL规约的实时性测试用例集。
其他文献
针对大量电子文档需要准确地进行多层次自动分类管理的现实需求,提出基于多重特征选择和多分类器融合技术的层次分类方法。通过引入可信度函数对单分类器效果进行评价,适时采用辅助分类器对较难分类的文档进行分类投票判决。实验结果表明,相对于单分类器,该方法无论在平面分类和层次分类语料上都获得了更好的分类精度,且具有较好的时间复杂性,有很好的实际应用前景。
针对红外图像可视化程度弱、对比度低的问题,提出一种基于轮廓小波变换和区域能量的红外与可见光图像融合算法。首先进行多尺度小波分解,然后进行多方向滤波;引入循环平移方法来消除伪吉布斯失真;采用基于区域的能量融合规则,重构变换系数得到最终融合结果;最后用信息熵、信噪比等指标来评价融合的性能。实验表明,该方法不论在客观评价还是在主观评价指标上都优于其他融合方法,提高了融合图像的视觉效果,可以得到更加清晰的
基于免疫DND理论,研究网络入侵防御系统的触发机制及其构建问题,提出从受害方受到的危险进行攻击的可进化分级检测与分级触发响应防御的方法。该方法为解决攻击检测中的度量问题提供了一个新的思路,且便于建立轻量级的、自适应的、分布的入侵防御系统。
生成图形相似性太强和不易局部控制是目前主流植物建模方法存在的共同不足之处,基于指定树木的分枝类型和空间的随机分布点,提出了一种新的树木建模方法,克服了目前树木建模方法的上述缺陷;同时,该方法还能简便地进一步控制树木枝条的稀疏密集和光顺程度。实验结果表明,该方法生成的图形逼真、自然,为树木建模提供了一种新的思路。
提出了一种基于形态学开闭运算和梯度优化的分水岭算法的目标检测方法。该方法首先利用形态学开闭运算对原始图像进行平滑处理,再对梯度图像进行阈值优化,去除过多的区域极小值,然后利用分水岭分割算法检测目标,最后利用目标的面积和空间关系等特征去除少量误提目标。实验表明,新方法可以取得很好的效果。
壁湍流主要表现为条带和流向涡为主要特征的拟序结构和间歇性的湍流猝发事件,这些都会导致壁面阻力的增加,因此,为了实现减阻,需控制或消除壁面附近的流向涡进而抑制湍流的猝
为了研究鸭式布局远程弹尾翼对气动特性的影响，设计了无尾翼，“T”型尾8翼，栅格尾翼三种尾翼布局，通过风洞测力实验研究不同布局在不同马赫数及迎角状态下对远程弹气动特性尤其是
近年来人们对结构化P2P覆盖网络进行了大量的研究,在结构化P2P网络的构建中,下层的网络拓扑结构并没有得到考虑,因此在端到端的通信中,尽管覆盖网上所反映出路径跳数很少,但实际的延迟却会很大。针对此问题,结合小世界理论提出一种网络敏感的新P2P覆盖网络,使实际网络中邻近的节点能聚集到同一簇中,并利用小世界网络平均距离小和大簇系数特性进行路由选择和拥塞控制。仿真实验表明,与经典的P2P覆盖网络相比,该
主要通过对比传统T型梁和横Π型梁,对风洞应变天平的阻力测量梁进行了分析,根据分析结果提出了传统的横Π型阻力测量梁的改进方式,并通过有限元分析软件进行了优化分析,改进
为给战斗机进气道的优化设计和性能评估提供试验平台,需要研制一套具有良好静、动态性能的大迎角机动进气道试验装置。介绍了该装置的结构、原理,并以该装置的有限元模型为研