排序方式: 共有98条查询结果,搜索用时 15 毫秒
1.
为了达到运用切片技术对构件模型进行状态空间压缩的目的,在构件之间接口的交互关系的基础上,提出了用测试驱动节点和扩展的构件节点建立构件系统的功能依赖图的具体方法和步骤,并通过基于模型检验的接口变异测试方法对三角形问题的Java Bean构件在切片前后的模型分别进行了测试。实验结果表明,该方法能够有效地压缩系统的状态空间,提高测试效率,同时也保证了对构件接口测试的全面性和正确性。 相似文献
2.
随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。 相似文献
3.
4.
5.
设计一种新型的磁悬浮式动力吸振器,与普通的机械式吸振器相比具有无机械接触,结构简单、使用寿命长等优点。首先分析磁悬浮式动力吸振器的吸振原理并建立了磁悬浮式动力吸振系统的理论模型,然后根据主系统的特性设计与之相匹配的磁悬浮式动力吸振器,最后通过仿真验证磁悬浮式动力吸振器的减振效果。仿真结果表明:当磁悬浮式动力吸振器的固有频率与外部干扰力的频率相一致时,主系统的振动减小了78.6%,且磁悬浮式动力吸振器吸振质量的振动可以满足机械结构的要求。 相似文献
6.
7.
8.
为研究岩石粗糙裂隙水力特性,建立了基于格子Boltzmann的压力模型。通过对3组不同试件(平板光滑裂隙、矩形非吻合裂隙、随机隙宽裂隙)的模拟,拟合出流量与平均隙宽的关系。研究结果表明,在所计算的10种工况中,3组裂隙中的水流都接近于层流。只有平行光滑裂隙中的水流的流量与平均隙宽近似成立方关系,矩形非吻合裂隙和随机隙宽裂隙中的流量与平均隙宽呈现超立方关系。改变平均隙宽和进出口压力都会导致流量与平均隙宽的关系变化。同时,进出口压力的改变也会造成两者之间产生次立方关系。 相似文献
9.