软件特征模型与测试应用研究

来源 :中国科学院研究生院(空间科学与应用研究中心) | 被引量 : 6次 | 上传用户:CYQWWL
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件规模和复杂度的迅速提高,测试成为保障软件质量的主要技术手段和促进软件开发的重要方法。目前测试主要依赖需求、设计规约,这就带来以下问题:首先,软件缺陷大量出现于需求至设计的转换阶段,而它们之间的可追踪性不佳,难以测试设计实现是否满足需求目标;第二,测试依赖规约的最终稳定,难以与开发并行;第三,测试的主要成本在于审核,如何缩减测试集获得用于最终审核的有效测试子集亟待解决。基于此,本文提出软件特征模型及依据特征分类并缩减测试集的方法。该模型以特征贯穿项目始终,增强了不同开发阶段的联系性,并在各阶段建立可理解、可追踪的抽象拓扑结构,从而有助于项目人员检验软件目标的前后一致性。软件特征模型能够提高系统的可测试性,为测试设计及测试用例优化提供辅助依据,并为软件开发的顺利进行提供参考。本文的主要工作如下:1、调研测试研究现状,发现当前的测试存在测试依据不充分、测试收益不高等问题。本文深入分析缺陷成因及测试本质,指出研究软件特征模型,并以之在软件生命周期各阶段指导测试及优化的必要性。2、建立需求特征模型。该模型以需求特征为基本要素,通过抽象层次结构组织特征集,利用特征元模型表达语义,并通过逻辑运算描述特征约束。模型与需求同步建立,项目人员可利用可变性特征作为检验需求本身正确性的参考,并依据模型的用例部分设计测试集。3、建立设计特征模型。该模型的基本要素是特征构件,构件通过语义与需求特征及其关系建立连接。模型的建立过程用责任-分配的方式,以自顶向下或自底向上的方法实现,从而在模型构建上与需求特征模型建立连接。利用设计特征模型,项目人员可与开发同步直观地检验设计正确性,将特征构件的可变性作为检验设计正确性的参考,并可根据设计特征模型拓扑结构得到测试路径。4、提出基于特征的测试集缩减方法。本文以测试执行路径元素表征系统的动态运行,聚类分析元素数据从而将测试集合依据特征分类,使用失效跟踪抽样的方法得到测试子集。实验表明,表征执行路径的元素越能刻画缺陷,则得到的测试子集失效发现率越高。5、提出测试集缩减方法的一个实现方案。利用多维标度法辅助聚类缩减回归测试子集,并开发测试子集获取的实验工具原型TeChoose。利用多维标度法的安全降维性质,将测试集的聚类情况等效为二维空间的点图形式,便于测试人员参与分类选择,以得到更合适的测试子集。实验表明该方法得到的测试子集有较高的失效发现率。通过实验工具原型TeChoose的开发实践证明,本文提出的软件特征模型能够与开发并行,辅助追踪需求至设计的转换。利用TeChoose获得的实验结果证明,依据特征分类并缩减测试集的方法,能够有效提高测试效益。
其他文献
密态数据库技术是密码学[Stallings W,2001;Atul Kahate,2005]与数据库[Chaudhuri S.,2001;Haraty,2003;Preston Carole,2002;Bettino Elisa,2002]技术的融合,在这个结合的技术中,人们在
地处东南亚的婆罗洲,是世界上著名的热带雨林区之一,其浩瀚与辽阔的程度,仅次于我们熟悉的亚马逊河雨林.这片号称地球肺部之一的热带雨林,虽然与中国仍有相当的距离,但这片雨
灰鹤当灰鹤发现死亡的同类,便会久久地在尸体上空盘旋徘徊.然后由首领带着大队飞落地面,默默地绕着尸体团团转,悲伤地"瞻仰"死者的遗容.最后,停立在尸体跟前,发出凄楚的叫声,
长时间使用电脑的人要注意:1.要注意用眼卫生。眼睛与文稿,眼睛与电脑屏幕的距离应保持在50cm以上,最好采用光下视20°的视角。
感知哈希是由多媒体数据集到感知摘要集的单向映射,它将具有相同感知内容的多媒体数字表示唯一地映射为一段数字摘要。感知哈希兼具对内容保持操作的鲁棒性和对内容篡改的区
分析程序是现代风险导向审计中的重要方法,它能够帮助审计人员更有效地了解被审计单位,识别出可能存在的重大错报风险的领域,减少审计不足和审计过量情况,避免盲目审计。但分
就市场经济必然要求工会工作社会化的思考,分析了工会工作如何社会化的问题。
本文首先分析我国软件产业和软件人才培养的现状,利用调研数据说明我国地方本科院校专业建设基础差、底子薄,最后指出通过校企协同、产教融合、建立多元评价机制加强专业建设,提
瑞典皇家学院2005年10月13日宣布,英国剧作家哈罗德·品特(Harold Pinter)获得2005年诺贝尔文学奖.瑞典皇家科学院在颁奖公告中说,授予哈罗德·品特诺贝尔文学奖的理
随着高新技术的快速发展,文章论述了电视机本身的更新换代以及在技术层上电视节目质量的提高。