国家自然科学基金(61003016)
- 作品数：5 被引量：10H指数：2
- 相关作者：马世龙吕江花余丹叶钢李重文更多>>
- 相关机构：北京航空航天大学鹏城实验室更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 高阶类型化软件体系结构建模和验证及案例被引量：2
- 2019年
- 根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.
- 乌尼日其其格李小平马世龙吕江花吕江花
- 关键词：软件体系结构软件体系结构建模
- 一种基于Kolmogorov-Smirnov检验的缺陷定位方法被引量：4
- 2013年
- 现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov-Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov-Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率.
- 叶钢余丹李重文李先军尹杰吕江花马世龙
- 关键词：软件测试
- Design and Implementation of Spacecraft Automatic Test Language被引量：3
- 2011年
- 太空船自动测试系统，基于各种各样的太空船测试，说明作为太空船测试语言形式化的一个全面太空船测试信息系统，是一个重要工具改进测试效率。与中国的多太空船测试的新要求，太空船测试语言的学习为太空船测试地成为新挑战。在这篇文章，一种高顺序的太空船测试语言，中国太空测试和操作语言(CATOL ) ，被给与当前的测试要求联系了；同时，语言的结构被介绍。然后为描绘并且形式化太空船过程，句法和子语言之一的运作的语义， CATOL-PR，被定义。最后，这的原型系统建议语言被介绍。这种语言将在中国和太空船测试者的效率改进太空船测试工作的说明，并且在太空船支持发展自动测试。
- YU Dan MA Shilong
- 关键词：测试语言自动测试系统中国航天操作语言
- 基于非参数假设检验的程序缺陷定位方法
- 2012年
- 调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.
- 叶钢李重文余丹马世龙
- 关键词：软件测试
- 高阶类型化可验证应用系统体系结构建模及案例被引量：1
- 2020年
- 随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(VASAML)与可验证应用系统体系结构建模方法(VASAMM).VASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T1,T2)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.VASAMM方法给出了应用系统体系结构建模过程,包括构建Mbd(基本数据类型)、Mbti(基本接口类型)、Mdev(设备类型)和Mfrwk(应用系统框架)这4层,以及自动生成层内与层间类型之间关系对应的类型规则,同时定义了设备类型服务调用图(GDSI)用以刻画部署要求,定义了类型序列及其正确性用以刻画需求期望性质,并给出了相应的基于类型检查的验证算法.设计实现了基于该方法的原型工具系统VASAMS,其中,建模编辑环境支持应用系统部署方案的设计过程,验证环境支持设计是否满足需求的自动验证.通过一个实际案例完成了某行业较大规模应用系统体系结构的建模和验证.
- 李小平乌尼日其其格马世龙吕江花
