期刊文献+
共找到31篇文章
< 1 2 >
每页显示 20 50 100
高阶类型化软件体系结构建模和验证及案例 预览
1
作者 乌尼日其其格 李小平 +2 位作者 马世龙 张思卿 《软件学报》 EI CSCD 北大核心 2019年第7期1916-1938,共23页
根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流We... 根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证. 展开更多
关键词 类型规则 类型检查 软件体系结构 软件体系结构建模 软件体系结构验证
在线阅读 下载PDF
一种面向工业互联网的云存储方法
2
作者 孟祥曦 张凌 +4 位作者 郭皓明 郭黎敏 夏乾臣 马世龙 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2019年第1期130-140,共11页
工业互联网是工业信息化进程中最受关注的热点,海量异构数据管理是其中的重点之一。传统的关系数据库(RDB)对海量多源异构数据的读写和检索都存在性能瓶颈,而近年来兴起的云数据管理方法主要是针对'键-值'(K-V)模式,无法依靠主... 工业互联网是工业信息化进程中最受关注的热点,海量异构数据管理是其中的重点之一。传统的关系数据库(RDB)对海量多源异构数据的读写和检索都存在性能瓶颈,而近年来兴起的云数据管理方法主要是针对'键-值'(K-V)模式,无法依靠主键以外的数据属性对数据进行快速查找。提出了一种面向工业互联网的云存储方法——StoreCDB,在异构采样数据统一表达数据模型基础上,实现非结构化存储管理,同时,利用两级索引实现海量数据的快速检索。通过实验,在分布式集群实验平台上,采用海量高铁列车运行模拟数据,验证了StoreCDB具有良好的异构数据存储和检索性能,为工业互联网提供了一种新的数据管理方法。 展开更多
关键词 工业互联网 异构数据 海量数据管理 分布式文件系统 分级索引
航电系统并行检测过程与检测设备解耦方法
3
作者 刘艳芳 +1 位作者 马世龙 黎涛 《航空学报》 EI CAS CSCD 北大核心 2019年第8期161-174,共14页
航电系统在使用或升级改造过程中进行可靠性检测是必不可少的。特别是在当前批量航电系统大量投入使用的背景下,迫切需要能高效、快速、准确地对系统进行可靠性检测。由于航电系统安全性要求高,内置检测软件受限,需要外置检测设备通过... 航电系统在使用或升级改造过程中进行可靠性检测是必不可少的。特别是在当前批量航电系统大量投入使用的背景下,迫切需要能高效、快速、准确地对系统进行可靠性检测。由于航电系统安全性要求高,内置检测软件受限,需要外置检测设备通过航电系统指定接口进行检测,检测过程也不允许出现任何泄露等行为。检测设备与具体航电系统耦合,检测过程与具体检测设备耦合,难以实现批量航电系统并行检测。为此,通过引入逻辑检测设备,给出了一种航电系统并行检测分层框架,解决检测设备与被测系统耦合的问题,同时也保证了检测的安全性。通过逻辑检测设备、检测跳转机和被测主机上检测行为的描述,给出了一种面向通用航电系统并行检测的检测设备协同机制,解决检测过程与检测设备耦合的问题,从而支持多个航电系统并行检测。最后,实现了一个通用航电系统并行检测系统,并通过实际应用和实验对比验证所提方法的有效性。 展开更多
关键词 航电系统 并行检测 检测过程 检测设备 解耦合 设备协同
山东省青岛市黄岛区高级职业技术学校——校企一体,探索中职生“海尔式”实习就业服务 预览
4
作者 王守涛 《教育家》 2019年第22期78-79,共2页
实习就业指导工作是中职教育教学管理的重要组成部分,是实现职业教育'五个对接'、促进学生充分就业创业的重要举措。近年来,山东省青岛市黄岛区高级职业技术学校依据《职业学校学生实习管理规定》等文件,针对职校实习就业阶段... 实习就业指导工作是中职教育教学管理的重要组成部分,是实现职业教育'五个对接'、促进学生充分就业创业的重要举措。近年来,山东省青岛市黄岛区高级职业技术学校依据《职业学校学生实习管理规定》等文件,针对职校实习就业阶段普遍存在的跟踪管理松散、学校和企业管理沟通脱节等问题,把'海尔式'服务理念融入实习管理服务中,坚持精细化,注重可行性,突出以人为本,逐步打造形成学生受益、企业认可、社会称赞、主管部门推广的区域职教服务品牌——“ 海尔式”实习就业服务流程。 展开更多
关键词 实习就业 校企一体 职业技术学校 青岛市黄岛区 中职生 山东省
在线阅读 下载PDF
基于类型理论的领域数据建模和验证及案例 预览 被引量:1
5
作者 乌尼日其其格 李小平 +1 位作者 马世龙 《软件学报》 CSCD 北大核心 2018年第6期1647-1669,共23页
数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和... 数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t:T?.DDMM给出了领域数据建模的方法,即构建K1(原子类型)、K2(数据元)、K3(数据元目录)三层框架,生成表示K3层数据元目录之间关系的类型规则.在此基础上,给出了数据元目录序列的定义及其正确性判定算法.基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证. 展开更多
关键词 类型理论 类型检查 类型规则 领域数据建模 数据规范
在线阅读 下载PDF
面向航天器综合测试系统的Web缓存替换策略
6
作者 杜建海 +3 位作者 高世伟 李倩倩 李勤勇 马世龙 《北京航空航天大学学报》 CSCD 北大核心 2018年第8期1609-1619,共11页
航天器一般为复杂系统,其作为典型安全苛刻系统,在综合测试过程中会产生大量测试数据。在查询这些测试数据时,现有的B/S数据查询技术,每次查询时采用从数据库服务器中获取数据的方式,极大地消耗了数据库服务器的资源,占用了大量的网络带... 航天器一般为复杂系统,其作为典型安全苛刻系统,在综合测试过程中会产生大量测试数据。在查询这些测试数据时,现有的B/S数据查询技术,每次查询时采用从数据库服务器中获取数据的方式,极大地消耗了数据库服务器的资源,占用了大量的网络带宽,导致系统的整体性能下降,用户体验不佳。通过对安全苛刻系统综合测试数据特点和用户查询特征的分析,基于经典Web缓存替换算法GDSF,提出一种适用于B/S数据查询系统的Web缓存替换算法GDSF-STW。该算法是在GDSF算法的基础上,引入了数据流挖掘中的时间衰减模型,并采用滑动时间窗口的思想,提高缓存命中率,从而提高系统的性能,改善用户体验。通过GDSF-STW与LRU、LFU、LFU-DA、GDSF等经典算法进行实验对比,结果表明,GDSFSTW算法具有更好的缓存命中率。 展开更多
关键词 航天器综合测试数据 Web缓存替换算法 数据流挖掘 数据查询 安全苛刻系统
一种支持数据去冗和扩容的多媒体文件云存储系统实现 预览 被引量:6
7
作者 汪帅 +2 位作者 汪溁鹤 吴继芳 马世龙 《计算机研究与发展》 CSCD 北大核心 2018年第5期1034-1048,共15页
随着互联网的发展,存储多媒体文件的场景日益增多,云存储系统成为了业界焦点,很多云存储系统为应用程序提供数据存储、查询和计算服务.许多应用程序拥有大量重复的体积较小的多媒体文件,传统的分布式文件系统已不能满足多媒体文件对存... 随着互联网的发展,存储多媒体文件的场景日益增多,云存储系统成为了业界焦点,很多云存储系统为应用程序提供数据存储、查询和计算服务.许多应用程序拥有大量重复的体积较小的多媒体文件,传统的分布式文件系统已不能满足多媒体文件对存储性能的需求,它们通常会把多媒体文件分块存储在不同的存储服务器上,每次获取文件内容都需要从多个块结点把数据获取到,然后重构文件内容给应用程序,导致访问这类体积较小的多媒体文件会消耗更多的资源.为了解决数据冗余度高的应用程序在低存储成本条件下对多媒体文件进行分布式存储的问题,同时为了提高这类应用程序的运行效率,首先提出一种分布式存储目录建模方案,可以用来描述数据中心的存储目录逻辑结构;然后实现了一个多媒体文件云存储系统MFCSS,支持数据去冗和存储目录逻辑扩容.分析和实验结果表明:MFCSS系统在保存数据冗余度较高的多媒体文件时具有良好的性能,可以有效提高磁盘的存储效率,同时具备良好的扩展性,可以简化应用程序管理分布式存储环境中多媒体文件的过程. 展开更多
关键词 多媒体文件 云存储 存储目录建模 数据去冗 逻辑扩容
在线阅读 下载PDF
实时鲁棒的频域空间目标跟踪方法
8
作者 汪溁鹤 陈裕雄 +1 位作者 马世龙 《北京航空航天大学学报》 CSCD 北大核心 2017年第12期2457-2465,共9页
本文中实现了一种实时鲁棒的目标跟踪方法,提出了新颖的基于目标形状和外观的稠密循环采样方法、循环矩阵和频域空间的能量最小化目标跟踪方法。本文方法总体上减少了需要处理的数据量,尤其是加入了循环矩阵,极大地简化了计算过程,并将... 本文中实现了一种实时鲁棒的目标跟踪方法,提出了新颖的基于目标形状和外观的稠密循环采样方法、循环矩阵和频域空间的能量最小化目标跟踪方法。本文方法总体上减少了需要处理的数据量,尤其是加入了循环矩阵,极大地简化了计算过程,并将目标特征转换到高维频域空间进行了线性表示,最后用高频空间能量最小化的方法实现了更加快速和精准的目标跟踪。通过大量的对比实验表明,本文方法的总体效果较好,在目标朝向变化、场景光照变化、视频抖动、目标尺度模式变化、目标部分遮挡等环境下,较目前效果最好、最新的方法,本文方法在综合的跟踪精度和效率方面更能取得较好的效果。 展开更多
关键词 频域空间 稠密循环采样 能量最小化方法 目标跟踪 计算机视觉
面向地震应急响应的互联网信息处理 被引量:5
9
作者 宋建功 王之欣 +3 位作者 李勤勇 李雅婷 马世龙 《北京航空航天大学学报》 CSCD 北大核心 2017年第6期1155-1164,共10页
近年来国内外地震灾害给人类的生命财产造成了巨大损失。海量的互联网地震灾情信息可为应急响应和及时救援提供决策支持的依据,因此互联网灾情信息高效快速处理需求迫切。针对地震互联网灾情信息处理的研究,定义了地震事件模型、网页对... 近年来国内外地震灾害给人类的生命财产造成了巨大损失。海量的互联网地震灾情信息可为应急响应和及时救援提供决策支持的依据,因此互联网灾情信息高效快速处理需求迫切。针对地震互联网灾情信息处理的研究,定义了地震事件模型、网页对象模型等,用极限方法定义Web信息收敛性,刻画了互联网灾情信息传播特点。根据灾情信息时效性特点,提出了一种支持动态收敛性的Web信息抽取算法,完成互联网灾情信息提取。提出一种针对灾害信息随时间的变化进行时序统计的方法,形成信息统计报告,为制定救援决策提供依据。设计并实现了面向地震应急响应的互联网信息智能处理系统,并进行了工程实践验证。 展开更多
关键词 地震灾害 应急响应 信息提取 数据清洗 多文档摘要
面向地震应急响应的松耦合研判模型管理机制
10
作者 李勤勇 宋建功 +3 位作者 高世伟 杜建海 马世龙 《北京航空航天大学学报》 CSCD 北大核心 2017年第4期720-730,共11页
由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型... 由于面向地震应急响应系统(EERS)的研判模型有其自身特点,传统决策支持系统中模型管理方法并不能较好地满足其管理需求。提出一种面向地震应急响应的松耦合研判模型管理机制(LC-MM),包括3个部分:(1)研判资源建模环境,由研判模型描述/控制语言(MDCL)和数据源描述/控制语言(DSDCL)组成;(2)研判资源协同交互框架,该框架分为4层,主要包括应用环境上下文App_Context、模型调用者Model_Invoker和数据通道Data_Channel 3个Agent组件;(3)研判资源协同交互协议,该协议将研判任务、研判模型和数据源的紧耦合关系分解为上述Agent组件之间的协同交互关系。实际应用表明,LC-MM能够有效屏蔽研判资源的异构性,提高EERS的可扩展性、动态适应性以及平台无关性,能够较好地满足EERS中研判模型的管理需求。 展开更多
关键词 模型管理 数据源 决策支持系统 AGENT系统 地震应急响应
基于局部差别性分析的目标跟踪算法 预览 被引量:3
11
作者 田鹏 +1 位作者 马世龙 汪溁鹤 《电子与信息学报》 CSCD 北大核心 2017年第11期2635-2643,共9页
在复杂场景下,为了更好地提升跟踪的鲁棒性,基于局部的相似度测量得到了广泛应用。然而,局部遮挡,形变和光照变化等场景的复杂性,基于传统局部相似度测量的目标跟踪存在很大缺点,例如,在跟踪过程中,仅仅依靠目标和模板的匹配度容易造成... 在复杂场景下,为了更好地提升跟踪的鲁棒性,基于局部的相似度测量得到了广泛应用。然而,局部遮挡,形变和光照变化等场景的复杂性,基于传统局部相似度测量的目标跟踪存在很大缺点,例如,在跟踪过程中,仅仅依靠目标和模板的匹配度容易造成跟踪的偏移现象。鉴于此,该文提出一种基于局部差别性相似度测量的目标跟踪算法。首先,以目标-背景的差异性,形成相似性和差异性相结合的局部判别性相似度测量;其次,基于子块在视频序列中的差异性,对子块进行差异性学习,以提高跟踪的准确性。最后,在粒子滤波框架下,基于差别性局部区域测量构建了一种有效的目标跟踪算法。实验结果表明,在复杂图像序列中,该算法实现了目标的准确跟踪,并在光照变化、旋转、缩放和遮挡等方面具有较好的效果。 展开更多
关键词 目标跟踪 局部稀疏表示 相似度测量 判别性分析 差异性权重
在线阅读 免费下载
基于工作过程导向中职职业素养校企双元训练课程开发的研究与实践 预览 被引量:1
12
作者 《中国校外教育:下旬》 2017年第2期145-146,共2页
职业素养校企双元训练课程是融合在校学生职业道德教育及企业员工职业心态与意识及核心能力培养,学校与企业双元培养的“理论+活动”课程。就黄岛区高级职业技术学校职业素养课程开发的情况,从开发的背景、开发定位、教学内容设计、教... 职业素养校企双元训练课程是融合在校学生职业道德教育及企业员工职业心态与意识及核心能力培养,学校与企业双元培养的“理论+活动”课程。就黄岛区高级职业技术学校职业素养课程开发的情况,从开发的背景、开发定位、教学内容设计、教学手段、课程环境设计、评价模式等方面,阐述了该校职业素养课程建设的探索与实践。 展开更多
关键词 工作过程导向 中职 职业素养 校企双元
在线阅读 下载PDF
校企共建中职学生基本职业素养培养平台的研究与实践——以青岛市黄岛区高级职业技术学校为例 预览
13
作者 王守涛 崔焕勇 《职业》 2017年第7期124-126,共3页
本文从当下职业教育的需求出发,介绍了对中职学生的职业素养进行的调查,形成了具有指导意义的调查报告。本文根据调查结果搭建了一个基于现代学徒制培养模式的"中职学生基本职业素养培养平台",并做了大胆、积极的尝试,提升了学生的综... 本文从当下职业教育的需求出发,介绍了对中职学生的职业素养进行的调查,形成了具有指导意义的调查报告。本文根据调查结果搭建了一个基于现代学徒制培养模式的"中职学生基本职业素养培养平台",并做了大胆、积极的尝试,提升了学生的综合职业素养,取得了一系列丰硕的研究成果,成效显著。 展开更多
关键词 校企共建 中职学生 职业素养 培养平台
在线阅读 下载PDF
安全苛刻系统测试语言中的测试设备协同语句 预览 被引量:1
14
作者 高世伟 +2 位作者 马世龙 孙波 李先军 《软件学报》 EI CSCD 北大核心 2016年第3期562-579,共18页
安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发... 安全苛刻系统的可信性需求迫切,支持可信性评估的数据主要来自于测试.为了保证测试数据的可靠性和正确性,特别是对安全苛刻系统这类复杂系统,手工测试实际不可行.研发测试语言是实现自动化测试的有效途径,也是安全苛刻系统自动化测试发展的必然趋势.针对安全苛刻系统通用测试语言应独立于具体设备包括被测安全苛刻系统、测试设备的应用需求,对安全苛刻系统测试中的测试设备协同语句展开研究.针对安全苛刻系统测试中测试设备协同任务中的高阶性、实时性等特点,通过给出测试语言中测试设备协同相关类型、设备协同表达式,定义测试设备协同语句,并通过设备协同表达式求值定义设备协同语句的操作语义规则.最后,对语句的正确性给出相关证明,从而支持安全苛刻系统测试过程中测试设备协同过程的动态性和开放性,支持安全苛刻系统测试语言的通用性. 展开更多
关键词 可信性 自动化测试 测试设备协同 操作语义 安全苛刻系统
在线阅读 下载PDF
扩展断言知识检验一致的需求建模方法 预览 被引量:2
15
作者 郭新峰 马世龙 +1 位作者 李睿 《智能系统学报》 CSCD 北大核心 2015年第1期81-89,共9页
保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作... 保证需求完整一致是需求建模的关键,文中提出一种基于知识库推理检验一致性的需求建模方法,该方法在建模中引入本体以增强表达能力,并结合语义建立约束规则构建需求模型知识库,基于描述逻辑描述需求和检验需求一致性,将需求建模过程作为断言知识库的扩展过程,把需求完整性问题转化为需求一致性问题,并归结其为规则约束下的可满足问题。利用Tableau算法等实现需求一致性的检验,在整个建模活动中保证需求一致。应用实践中使用自行编制的ROB半自动建模软件进行需求建模与分析,验证了建模方法的需求一致性,并通过案例说明了扩展断言知识库检验一致的需求建模过程。 展开更多
关键词 需求模型 一致性 完整性 多视点 描述逻辑 知识库 可满足性 TABLEAU 需求工程
在线阅读 下载PDF
航天器测试需求描述及其自动生成 被引量:2
16
作者 高世伟 +2 位作者 乌尼日其其格 孟祥曦 马世龙 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第7期1275-1286,共12页
航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期... 航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性. 展开更多
关键词 安全苛刻系统 可信性 测试需求 测试任务流程 航天器
需求变更自动化管理模型与实现 预览 被引量:2
17
作者 郭新峰 马世龙 +2 位作者 武俊生 邵回祖 《计算机系统应用》 2015年第4期11-18,共8页
需求变更不可控,需求变更常对软件开发产生严重影响,需求变更管理是控制影响的直接途径.为易于理解沟通,基于资源、组织与业务的需求模型(简称ROB)用递归分解的方法分别从资源、组织与业务抽取需求,ROB全局统一的树形结构便于形式化... 需求变更不可控,需求变更常对软件开发产生严重影响,需求变更管理是控制影响的直接途径.为易于理解沟通,基于资源、组织与业务的需求模型(简称ROB)用递归分解的方法分别从资源、组织与业务抽取需求,ROB全局统一的树形结构便于形式化定义需求对象以实现在计算机中存储和管理;在规范需求变更管理组织、流程基础上,建立数据模型,设计数据操纵语言定义操纵接口,通过编辑修改对象模拟需求发生变更,在完整性、一致性规则约束下,自动完成由需求变更引发的完整操作模块.实践中应用ROB需求管理软件进行需求变更管理验证这种方法的有效性、自动化智能化等特点. 展开更多
关键词 需求建模 需求管理 需求变更 需求评审 需求跟踪 变更控制 CMMI
在线阅读 下载PDF
Balancing Frequencies and Fault Detection in the In-Parameter-Order Algorithm
18
作者 高世伟 +2 位作者 杜冰磊 Charles J. Colbourn 马世龙 《计算机科学技术学报:英文版》 SCIE EI CSCD 2015年第5期957-968,共12页
In-Parameter-Order (IPO ) 算法是广泛地使用的策略因为其目标是揭示差错的为组合测试的软件测试套房(CT ) 的构造在参数之中由相互作用被触发。IPO 的变体被显示了在经常不比知道的最小的测试套房大得多的时间的合理数量以内生产测试... In-Parameter-Order (IPO ) 算法是广泛地使用的策略因为其目标是揭示差错的为组合测试的软件测试套房(CT ) 的构造在参数之中由相互作用被触发。IPO 的变体被显示了在经常不比知道的最小的测试套房大得多的时间的合理数量以内生产测试套房。当一间全部测试套房被执行时,为一些从 t 方法相互作用产生的所有差错修理了 t 肯定被发现。当测试一次是执行的时,尽早检测一个差错不管多么是合乎需要的以便它能被修理。水平、垂直的生长地址的基本 IPO 策略测试套房尺寸,然而并非差错的早察觉。在这份报纸,在 IPO 的生长策略被修改试图均匀地越过测试散布每个参数的价值。和我们增加的改组策略,到 IPO 的这修正戏剧性地改进差错察觉的率(平均在 31% 改善了) 。而且,我们的修正总是减少产生时间(2 平均更快预定) 并且在一些,情况也减少测试套房尺寸。 展开更多
关键词 故障检测率 算法 断层相互作用 测试套件 频率 组合测试 测试执行 排序策略
安全苛刻系统自动化测试的形式化语义模型 预览 被引量:3
19
作者 马世龙 +1 位作者 李先军 高世伟 《软件学报》 EI CSCD 北大核心 2014年第3期489-505,共17页
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Amb... 安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型.为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范. 展开更多
关键词 安全苛刻系统 测试 自动化测试 设备协同 高阶演算 标记转换系统 实时
在线阅读 下载PDF
一种基于Kolmogorov—Smirnov检验的缺陷定位方法 预览 被引量:4
20
作者 叶钢 余丹 +4 位作者 李重文 李先军 尹杰 马世龙 《计算机研究与发展》 EI CSCD 北大核心 2013年第4期686-699,共14页
现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法... 现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov—Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov—Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率. 展开更多
关键词 软件测试 缺陷定位 Kolmogorov—Smirnov检验 程序谓词 评估偏差
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部 意见反馈