排序方式: 共有36条查询结果,搜索用时 15 毫秒
1.
2.
3.
提出了一种反应式系统选择性测试方法.该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的测试工具.实验表明,该方法可以将测试资源集中于用户关注的系统行为.经扩展后,该方法可用于实时系统. 相似文献
4.
5.
准确刻画不确定环境中复杂程序的动态特性,是传统程序分析理论和技术面临的难点,更是许多重要系统实现程序动态实时分析与控制过程亟待解决的问题。本文提出基于Q学习的复杂程序动态分析思想,构造了基于Q学习的复杂程序动态依赖性分析基本算法。并对复杂程序动态实时分析与控制技术的实现环节进行了研究,探讨了相关问题,从而使复杂程序动态分析与控制过程更精炼、更智能、更高效。 相似文献
6.
面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文章简要介绍Tcl/Tk,并给出用Tcl/Tk设计面向路径的测试数据自动生成工具的图形界面的方法。 相似文献
7.
符号迁移图是传值进程的一种直观而简洁的语义表示模型,该模型由Hennessy和Lin首先提出,随后又被Lin推广至带赋值的符号迁移图,本文不但定义了符号迁移图各种版本(基/符号)的强操作语义和强互模拟,提出了相互的强互模拟算法,而且通过引入符号观察图和符号同余图,给出了其弱互模拟等价和观察同余的验证算法,给出并证明了了τ-循环和τ-边消去定理,在应用任何弱互模拟观察同余验证算法之前,均可利用这些定理对所给符号迁移图进行化简。 相似文献
8.
9.
高分辨SAR图像中杂波的统计特性分析 总被引:4,自引:1,他引:3
为使SAR图像目标检测在复杂多变的地物杂波环境中获得最佳的性能,研究SAR图像中杂波的统计特性将是一件有意义的工作.在综合对比已有统计模型的基础上,从理论上重点分析了G0分布.运用实测SAR场景中表征不同地物类型的大量数据,从幅度直方图拟合、拟合精度检验等方面深入分析了杂波的统计特性.得出了在目前已有实用的统计模型中,C0分布最适合于描述SAR图像杂波统计特性,它是一种对于均匀、一般不均匀和极不均匀杂波区域建模的通用分布的新结论.因此,以C0分布为杂波模型的目标检测算法具有巨大的应用潜力. 相似文献
10.
尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展,使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列. 相似文献