李晓丽
- 作品数：7 被引量：43H指数：5
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学军事更多>>
- 指挥控制软件的质量度量研究
- 嵌入式软件特别是基于DSP的软件系统的质量直接影响整个指挥系统质量目标的实现和作战效能的发挥，需要相关研究成果来考察、评价软件的质量水平。本文提出了对指控软件有直接影响的五个特性，围绕这些特性的子特性提出了指控软件质量度...
- 李晓丽刘冬懿
- 关键词：作战指挥指挥控制软件开发
- 文献传递
- Java源代码字节码剽窃检测方法及支持系统被引量：7
- 2010年
- 提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.
- 李虎刘超刘楠李晓丽
- 关键词：JAVA源代码JAVA字节码
- 关于加强装备信息资源建设的对策研究被引量：3
- 2009年
- 装备信息资源作为军队信息资源的重要组成部分，是打赢信息化战争和装备信息化建设不可或缺的战略资源。论述了装备信息资源建设的地位作用、顶层设计、基础工程、重点难点和运行机制等，提出了加强和推进军队装备信息资源建设的基本对策和措施。
- 杨长虹母晓峰李晓丽赵殷寅
- 关键词：装备信息化资源建设
- 《软件构件 产品质量》标准介绍被引量：7
- 2006年
- 在《软件构件产品质量》标准编制说明基础上,综合介绍了软件构件质量标准的制定背景、目标及内容等。此标准是信息产业部的第一个有关软件构件质量的电子行业标准,它对软件构件质量保证和评估提供了规范,对软件构件技术推广应用和产业发展具有指导和推进作用。
- 李晓丽刘超金茂忠高仲仪
- 关键词：可复用性
- UM L顺序图的形式化定义与特性分析被引量：6
- 2010年
- 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.
- 李晓丽龙翔包晓露李虎
- 关键词：统一建模语言顺序图形式化
- 军用软件测试现状及对策被引量：10
- 2008年
- 随着我军信息化建设深入发展,军用软件的规模和数量空前增长,军用软件的质量建设成为极端重要而紧迫的任务。软件测试是保证软件质量、提高软件可靠性的重要途径和必备手段,但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面,仍然存在着许多问题,软件测试工作形势依然严峻,急需得到改进和加强。在深入分析军用软件测试现状、存在的问题和原因的基础上,综合设计体系结构,研究提出对策措施,为整体推进软件测试工作提供了可行的解决方案。
- 李晓丽龙翔刘超李虎
- 关键词：军用软件软件测试
- 软件构件的可复用性质量度量被引量：11
- 2007年
- 依据国家信息产业部有关制定构件质量度量标准的要求,研究并提出了对软件构件可复用性有着直接影响的六个子特性(接口成熟性、独立性、易组装性、通用性、演化兼容性和可复用依从性)以及软件构件可复用性质量度量和构件可信度使用质量度量方案,并给出了它们相应的度量元素和量化方法。
- 李晓丽刘超金茂忠高仲仪
- 关键词：可复用性
