一种软件体系结构级路径覆盖方法

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:nmgbmm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段.提出一种新的软件体系结构级路径覆盖方法,用Wright描述软件体系结构并将体系结构配置行为转换成改进的配置行为图表示构件内部计算及外部迁移信息,根据构件连接路径覆盖准则C_CPC和构件连接路径覆盖生成算法FindC_CPaths,生成相应的测试路径.基于此设想实现了工具WTPT,通过实验及其分析表明了算法的正确性和有效性.最后对构件连接路径覆盖准则进行评估,评估结果为应用该覆盖准则提供了理论依据.
其他文献
针对在判断群体系统的稳定性时没有一般的方法和程序构造Lyapunov函数这个难点,利用矩阵范数,孤立子系统的矩阵指数函数与比较原理提出了一类线性时变群体系统平凡解一致稳定
期刊
期刊
分析了一种永磁吸附履带式船舶爬壁机器人结构及工作原理。通过交流伺服电机驱动的永磁吸附履带机构使机器人能完成垂向爬壁的运动功能。为提高机器人的负载能力和越障能力,结
稻纵卷叶螟幼虫结苞取食水稻叶肉,氮肥施用量大或生长嫩绿的稻田危害严重,每年发生5代。 Larvae of rice leafroller larvae feed on the mesophyll leaves of rice leaves.
使用线性系统理论分析了粒子群算法(Particle Swarm Optimization,PSO)陷入局部极值的原因.为使粒子种群跳出局部极值粒子重新获得活性,借鉴了鱼群算法中拥挤度因子的概念,提
轴流风机是一种提供压缩气体的透平机械设备,其中静叶调节机构是整个调节系统的关键。以轴流风机静叶调节电液伺服系统为研究对象,针对传统液压伺服系统易受油质污染、故障率高
针对RSSI测距定位技术在室内环境中受到的随机干扰大,干扰变化情况不确定,定位结果误差较大的问题,提出了一种基于无线传感器网络节点相似度的室内定位算法。首先通过无线传感器网络的连通特性确定位于网络盲节点周围的几个信标节点,利用数据拟合的方法确定节点工作电压对RSSI距离测量的影响,然后根据拟合结果对不同工作电压下测得的RSSI值进行修正,利用修正后得到的RSSI值计算得到网络节点之间的相似度值,并
在社会城镇化建设步伐不断推进的时代背景下,现代建筑设计不仅要具有高度创新性,还要能体现城市未来发展的主体方向。因此,文章以现代建筑设计与传统建筑设计的差异性为切入点,在