论文部分内容阅读
针对人工生成测试序列的不足，提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范，在UPPAAL环境下运用时间自动机对车载设备进行建模及验证，然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例，最后分析了自动生成的测试用例的正确性。
基于模型的车载设备测试用例自动生成研究
【摘 要】
：
针对人工生成测试序列的不足，提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范，在UPPAAL环境下运用时间自动机对车载设备进行建模及验证，然后将建立的模型导
【机 构】
：
北京交通大学轨道交通运行控制系统国家工程研究中心
【出 处】
：
西华大学学报：自然科学版
【发表日期】
：
2014年2期
【基金项目】
：
国家科技部“863”项目（2012AA112801）.
其他文献
利用响应面分析法对潲水油中胆固醇提取条件进行了优化，探讨了不同的提取剂、皂化温度、皂化时间以及KOH-乙醇浓度对油脂中包含的胆固醇提取效果的影响，以期最大限度地将油脂中
利用了Gerschgorin定理的推广Cassini卵形域，研究了非负矩阵Hadamard积的最大特征值的上界估计问题。在理论上，证明了本文获得的结果比相应的结果更加精确。同时，也通过数值例子
讨论三维空间中不带阻尼项和带阻尼项的不可压缩欧拉方程组的一类旋转解,研究解的整体存在性和爆破性质,改进并拓展了现有的相关结果。
用初等方法和解析方法研究类似于Smarandache减法补数的复合函数性质，获得了3个较强的均值公式，完善了加法补函数与减法补函数在数论中的研究和运用。
为研究复杂汊道汛期的水力特性,结合工程实例,采用平面二维数学模型模拟多汊河道的水流,从分流比、水位和流速3个方面计算天然和两种工况下的水力特性参数,同时比较分析两工
为提高微量SF6气体浓度的检测精度和扩大其测量范围,提出相对时差超声检测方法。该方法采用1组超声传感器,通过测得的空气和混合气体接收的脉冲时间差,计算出混合气体中SF6的
以多体系统建模理论和空间啮合原理为基础,研究数控机床各轴运动误差、刀具误差、工装误差等多项原始误差对平面二次包络环面蜗杆数控加工廓面精度的影响,推导出包含以上各误
Harris算子及其改进算子(如Harris-Laplace算子)是当前应用广泛的角点检测算法,然而它们都存在冗余点多和抗干扰能力差的缺点。基于此,提出一种新Harris算子改进算法。将图像进行高斯差分滤波,采用多层差分平均值增强稳定性和抗干扰性;对差分图像进行灰度形态学滤波,进一步去除小于结构元素的波谷,波峰值保持不变,这样不仅可以减少冗余点,还可以提高抗噪能力。实验表明,该方法在抗噪和去冗余点
研究一类带有局部化反应项的p-Laplace方程解的整体存在和有限时刻爆破的性质.利用积分技巧证明了当方程非线性项的幂指数在一定范围内时,方程只有整体解存在;利用上下解方法
回流吸附法制备的负载型12-钨磷酸(HPW/C)是合成乙酸乙酯的高效催化剂。最佳反应条件下乙醇转化率达96％,酯化选择性100％。催化剂的高活性是由于HPW在活性炭上高度分散,使活性位