李丽萍
- 作品数：19 被引量：38H指数：4
- 供职机构：上海第二工业大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程机械工程更多>>
- 基于Rational Rose测试用例的生成
- 针对Rational Rose对所建UML图测试支持不足这一问题,本文通过分析Rational Rose的保存文件（mdl文件）的格式,抽取其中的关键信息,存储为xml格式,再将其转换为有限状态机FSM,最后通过构建欧拉...
- 李丽萍何涛
- 关键词：UML状态图测试用例
- 基于过程模拟树的Web软件一致性检测方法被引量：1
- 2017年
- 随着大数据、云计算的发展,Web软件越来越复杂,人们对其质量要求也越来越严格。研究了一种Web软件一致性检测的方法。针对Web软件的独特性质,研究了Web软件创建可执行模型的方法,动态模拟系统运行。引入文法的概念,设计一个模拟器,在模拟过程中动态检测可执行模型在外部事件(文法描述的)触发下的执行是否存在不一致现象,整个过程以模拟树的方式呈现。该方法能在项目初期检测出模型的设计与需求的不一致,在一定程度上保证模型的一致性。
- 李丽萍王娜唐姗
- 关键词：WEB软件上下文无关文法
- 数据库多级安全模型的研究被引量：7
- 2006年
- 实现了强制访问控制的模型被称为多级安全模型。首先介绍了两种常用强制访问控制模型:Bell-LaPadula模型和Bibe模型。重点讨论了Bell-LaPadula模型,分析了该模型“下读上写”的安全访问策略,并针对其局限性,从数据库的保密性、完整性和可用性三方面对其进行了扩展和改进。
- 李丽萍何守才
- 关键词：强制访问控制数据库安全多级安全模型
- 基于复杂网络面向对象集成测试的研究被引量：8
- 2008年
- 软件测试是保证软件质量的重要手段。面向对象的方法给软件系统带来好处的同时,也为测试带来了挑战,传统的测试方法无法应用于许多面向对象的特性。研究表明,大型软件系统内部结构具有小世界效应(Small-World,SW)和无标度特性(Scale-Free,SF)。基于软件的复杂网络特性对面向对象的集成测试进行了研究,提出了一种通过分析类之间的交互复杂性和聚集复杂性来确定软件测试顺序的方法。利用该方法进行面向对象集成测试可以减少桩模块的数量,提高测试效率,且不降低原有测试覆盖度。
- 李丽萍缪淮扣钱忠胜
- 关键词：软件测试复杂网络小世界效应
- 基于UML的Web应用建模与测试方法被引量：2
- 2010年
- 针对Web应用的功能测试问题,提出一种基于用例和顺序图的Web应用建模与测试方法。使用统一建模语言(UML)将用例图分层地扩展为用例迁移模型(UCTM),利用顺序图自上而下描述UCTM中的每个用例,将顺序图自动转换为受限有向图(RDG)。为控制状态空间爆炸,提出约束消息覆盖准则(CMC)。结果表明,由RDG生成的测试用例能满足CMC,CMC可控制测试用例的数量。
- 李丽萍缪淮扣钱忠胜
- 关键词：WEB应用顺序图测试用例
- 基于Rational Rose测试用例的生成
- 针对Rational Rose对所建UML图测试支持不足这一问题,本文通过分析Rational Rose的保存文件（mdl文件）的格式,抽取其中的关键信息,存储为xml格式,再将其转换为有限状态机FSM,最后通过构建欧拉...
- 李丽萍何涛
- 关键词：UML状态图测试用例
- 文献传递
- 基于UML用况图和顺序图的Web应用建模与测试方法
- 本发明为基于UML用况图和顺序图的Web应用建模与测试方法，建立基于用况的Web应用的测试模型并从中自动生成测试场景。首先从外部用户的观点使用分层的UML扩展用况图为Web应用建模，该模型称为用况迁移模型(UseCase...
- 李丽萍
- 文献传递
- 基于复杂网络面向对象集成测试的方法
- 基于复杂网络面向对象集成测试的方法。1)采用统一建模语言创建被测软件的系统结构模型，并将UML类图表示为一个软件网络G＝(V，E)；2)遍历整个软件网络，统计每个类依赖的类以及该类的入度和出度，并且记载在一个四元组中；3...
- 李丽萍
- 文献传递
- 数据库安全加固技术的研究与实现
- 蒋川群张世明何守才杨寅春蒋文蓉徐晓林李丽萍
- 该系统以Windows 2000 Server 操作系统为基础，开发出一个Oracle 数据库系统的安全代理器，使得通过安全代理器对Oracle数据库的访问受到强制访问的检查，以提供B1级安全特性。具有安全代理器提供强制...
- 关键词：
- 关键词：数据库
- 基于模型的若干逻辑边界覆盖测试准则
- 2013年
- 鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,既满足相应的逻辑覆盖测试准则,又能检测系统的边界情况。
- 李丽萍李兴森
- 关键词：软件测试逻辑表达式测试用例
