连小利
- 作品数：11 被引量：6H指数：1
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种隐私政策文档中伪模糊检测方法
- 本发明公开了一种隐私政策文档中伪模糊检测方法，所述方法包括：获取隐私政策样本集，并基于扎根理论对所述隐私政策样本集中支撑语句的支撑模式进行总结归类，以构建伪模糊检测模型；基于深度神经网络模型的模糊检测算法，获取待检测隐私...
- 连小利吕鹤阳黄丹张莉
- 文献传递
- 一种基于领域模型的需求缺失信息的推荐方法
- 本发明公开了一种基于领域模型的需求缺失信息的推荐方法，本发明通过从需求中提取概念术语，并通过知识模型、需求模型以及对齐模型来将所提取的需求补充到原始的领域模型中，得到补全后的领域模型，实现将所提取的概念术语映射在补全后的...
- 连小利赵子岩张莉
- 一种Java异常传播的静态结构抽取方法
- 本发明公开了一种Java异常传播的静态结构抽取方法，该方法以异常类型层次关系为依据，以方法调用关系为基础，结合Java异常传播过程中存在的异常抛出和捕获关系，从而能够较为完整地对Java异常传播的静态结构进行抽取。为了克...
- 张莉邱翔连小利
- 文献传递
- 面向软件产品线中特征选择的多目标优化算法被引量：5
- 2017年
- 软件产品线中,产品定制的核心是选择合适的特征集.由于多个非功能需求间往往相互制约甚至发生冲突,特征选择的本质是多目标优化过程.优化过程的搜索空间被特征间错综复杂的依赖和约束关系以及明确的功能需求大大限制.另外,有些非功能需求有明确的数值约束,而有些则仅要求尽可能地得到优化.多样的非功能需求约束类型也给优化选择过程带来极大的挑战.提出一种含修正算子的多目标优化算法MOOFs.首先,设计特征间依赖和约束关系描述语言DL-DCF来统一规范特征选择过程中必须遵守的规则,所有的非功能需求都转化为优化目标,相关的数值约束则作为优化过程中特征选择方案的过滤器.另外,设计了修正算子用于保证选择出的特征配置方案必满足产品线的特征规则约束.通过与4种常用的多目标优化算法在4个不同规模的特征模型上的运行结果进行对比,表明该方法能够更快地产生满足约束的优化解,且优化解具备更好的收敛性与多样性.
- 连小利张莉
- 关键词：软件产品线多目标优化算法非功能需求
- 一种Android应用程序隐私违规的检测方法及装置
- 本申请公开了一种Android应用程序隐私违规的检测方法及装置，包括：基于给定的Android应用程序，提取Android待检测的API文档，以及，提取Android应用程序的隐私政策文本；提取所述Android待检测的...
- 连小利姚子健张莉
- 一种基于启发式规则的软件需求描述模糊性检测方法
- 本发明公开了一种基于启发式规则的软件需求描述模糊性检测方法，以一个特定软件系统的需求描述集合为输入，综合利用多种NLP技术处理需求条目，提取出关键数据结构，基于启发式规则对需求集合中存在的模糊性进行检测。本发明方法简单、...
- 连小利王正达张莉李敏樊志强
- 一种检测软件需求间冲突的方法及计算机可读存储介质
- 本发明公开了一种检测软件需求间冲突的方法及计算机可读存储介质，本发明完善了需求冲突类型，扩展了需求冲突的范围，从而使得本发明不仅仅局限于一对需求之间的冲突，还包括了多个需求共同作用的冲突，另外，本发明还提出了一套需求间冲...
- 连小利樊志强张航张莉李华莹郭维泽赵子岩牛婵刘必欣李敏张捷
- 文献传递
- 一种Java异常传播的静态结构抽取方法
- 本发明公开了一种Java异常传播的静态结构抽取方法，该方法以异常类型层次关系为依据，以方法调用关系为基础，结合Java异常传播过程中存在的异常抛出和捕获关系，从而能够较为完整地对Java异常传播的静态结构进行抽取。为了克...
- 张莉邱翔连小利
- 文献传递
- 一种需求条目分割方法
- 本发明公开了一种需求条目分割方法，本发明设计了一个基于预训练的语言表征模型BERT和暹罗网络的需求分割Siamese学习框架，在该框架集成了语义相关性和句子连词来进行句子相关性度量，然后基于一组最小语义构成(MSC)规则...
- 连小利赵子岩张莉
- 基于时间自动机的AADL端到端流的延迟分析被引量：1
- 2015年
- 对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.
- 连小利张莉
- 关键词：实时性时间自动机
