基于UML模型的软件测试综述

来源 :全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会 | 被引量 : 0次 | 上传用户:modlong
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于模型的软件测试是在基于模型的软件需求分析与设计中生成一套测试用例的技术.针对被测试软件的不同特征和不同测试目的,研究人员提出了多种模型,主要有文法模型、状态机模型、马尔可夫链模型、UML模型.随着基于UML模型的软件开发技术的广泛应用,基于UML模型的软件测试逐渐成为软件测试的发展趋势和主流.本文重点阐述了基于UML模型的软件测试研究的现状与趋势.
其他文献
知觉归类是一种进行基于内容的图像检索(Content-based Image Retrieval,CBIR)方法.本文则着重介绍了一种应用知觉归类提取图像中感兴趣区(Region of Interest,ROI)的新方法.
20多年来一直使用丙烷、甲烷低压渗碳,但当零件形状复杂或工件堆积密集时,很难做到均匀渗碳,而且也容易产生碳黑和焦油,得不到光亮表面.使用乙炔低压渗碳完全克服了上述缺点,
本文介绍抗渗碳耐火纤维在无马弗渗碳炉中应用效果,并阐述纤维炉衬结构、成型工艺与炉衬强度寿命的内在联系,该炉衬经近五年使用验证,不仅有效地解决了纤维抗渗碳性,而且成功
本文阐述了工业加热炉强辐射传热节能新技术的机理及技术措施.强辐射元件是本技术的核心,该元件将炉内漫射状的热射线调控为指向工件的射线束,提高了热射线的到位率和辐照度.
为推广使用聚合物淬火剂,本试验对德润宝公司生产的Aquatensid BW聚合物淬火剂进行了工艺试验.测定冷却曲线,电导率,机械性能,冶金性能等,为正确使用聚合物淬火剂提供了依据.
本文重点介绍了BH快速催渗剂的催渗原理及车轴承渗碳淬水过程中的应用和研究.经过2年的生实践,提高了轴承的质量.
本文阐述了燃气(台车式)热处理炉特点及发展趋势,并提出燃气是当今乃至未来最重要的能源.大连万通公司、南京年达公司及大连重工公司三个单位共同研制四种规格燃气台车式热处
采用金相和断口分析方法,分析了燃烧室机匣壳体爆裂原因。分析表明,壳体爆裂系由疲劳破坏引起,而疲劳源产生于焊趾缺陷。在现有焊接工艺条件下,焊址裂纹的产生与焊趾曲率半径大小
该文研究了在循环温度下18Cr2W及3Cr两种合金白口铸铁的力学行为及热疲劳抗力,结果表明:在热循环过程中合金白口铸铁的基体组织发生动态回复和动态再结晶,材料产生循环软化;在外约束条件下