王璐璐 作品数:7 被引量:48 H指数:3 供职机构: 东南大学计算机科学与工程学院 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 江苏省自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
Case studies on testing with compositional metamorphic relations 被引量:1 2008年 Some metamorphic relations (MR) are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR (CMR) based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR's performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used. 董国伟 徐宝文 陈林 陈林 聂长海过程间循环路径剖析方法 被引量:1 2013年 该文在过程内剖析技术的基础上提出了一种新的过程间路径剖析方法PIP,能够精确地编码过程间路径和方法级执行序列.为了有效地处理方法间多态等复杂调用,文中提出了一种新的剖析模型PCCG(Polymorphic Cluster Call Graph),能够精确描述多态信息,并且支持以"方法集簇"的方式对多个被调用方法统一处理,简化调用结构,减少剖析耗费.基于PCCG模型,PIP方法能够精确地进行过程间路径剖析,并可采用多种方法集簇策略来优化剖析效率.理论分析和实验结果表明,PIP方法具有较高的精确性和循环处理能力,且各种集簇策略能够适应不同的应用情况,有效地提升效率. 王璐璐 李必信关键词:多态 软件测试 软件工程导论课程思政教学改革探索 被引量:2 2023年 针对软件工程专业软件工程导论课的特点,提出课程思政教学改革思路,从教学案例和课程实践的角度探讨如何进行思政教育,阐述课程思政教学案例的设计和基于思政的实验设计,通过调查分析,指出该教学改革对学生的社会主义核心价值观培养有积极引导作用。 廖力 王璐璐关键词:软件工程导论 教学改革 蜕变测试技术综述 被引量:22 2009年 软件测试是一种重要的、不可缺少的软件质量保证技术,用于发现和纠正软件中存在的缺陷和错误,但在很多情况下待测程序的预期输出难以确定。蜕变测试技术通过检查程序的多个执行结果之间的关系来测试程序,可以有效地解决上述问题。经过近十年的研究,蜕变测试技术已经在测试过程的优化、与其他验证或测试方法的结合等方面取得了巨大的进展,并被广泛地应用于各个领域中。对当前蜕变测试技术的研究进行了综述,针对已有方法的不足之处,对未来的研究方向进行了展望,包括蜕变测试充分性研究、实用蜕变关系构造技术、实用原始测试用例选取技术、新型软件中蜕变测试技术的研究、蜕变测试工具的开发等。 董国伟 徐宝文 陈林 聂长海 王璐璐关键词:软件测试 一种面向有环兴趣路径的过程内剖析方法 被引量:2 2014年 路径剖析技术用于获取和分析程序中各条路径的执行次数.路径剖析采用在待剖析程序中插装探针的方式以跟踪执行,并使用对路径进行编码的方式以高效地获取剖析结果.选择性剖析是针对用户感兴趣的一部分路径,在非选择性剖析技术的基础上进行优化,以尽可能低的耗费来完成剖析.现有的选择性剖析技术采用的优化措施局限于减少探针数目和压缩路径编码空间,而且其允许的用户兴趣路径局限于无环路径.文中提出了一种新的选择性剖析方法 PSP(Profiling Selected Paths),可以精确的剖析带有循环的兴趣路径,并使用了在执行过程中对非兴趣路径进行检测和提前终止的技术来降低耗费.理论分析和实验评估表明PSP方法能够精确地剖析兴趣路径,并使用兴趣路径来提升剖析效率. 王璐璐 李必信关键词:软件测试 全路径剖析方法 被引量:3 2012年 路径剖析是动态分析的一项重要技术,通过获取和分析程序中各条路径的执行次数,在编译优化、软件调试和测试等诸多方面发挥重要作用.针对现有技术剖析能力不足的情况(即只能或者剖析非循环路径,或者首先界定循环体执行次数的上限、然后对于执行循环体不多于该次数的路径进行剖析),对使用单个探针变量剖析过程内路径的方法进行了改进,提出了全路径剖析PAP方法,利用探针插装和回溯过程获取路径的执行次数,可以剖析过程内包含任意有限长度的路径;进一步地,针对PAP方法所需探针数目多于EPP方法的问题,通过对控制流图中包含的可规约无环子图实施EPP方法,可以减少PAP方法所需探针的数目.另外,作为PAP方法的一个典型应用,还讨论了如何通过在方法调用图中添加返回边,再利用PAP方法获取方法层次的执行序列的基本思想,满足了某些方法级动态影响分析技术的需要.实验和实例分析表明,PAP在处理循环路径剖析的问题上是有效的,并有很好的效率. 王璐璐 李必信 周晓宇软件生态系统研究综述 被引量:20 2020年 软件生态系统加速软件产业的垂直分工和水平整合,改变了软件产业的商业生态.自2003年提出以来,软件生态系统吸引工业界和学术界的广泛关注.国内外知名IT企业深耕软件生态系统,形成许多具有广泛影响的软件生态系统.近年来,在云计算、移动应用开发、信息物理系统、区块链等新兴信息技术快速发展和软件生态系统应用领域不断拓展的双重作用下,软件生态系统新泛型不断涌现.人们对软件生态系统的认识与理解,随着研究深度和应用广度的不断变化而改变.直至2016年,学术界和工业界才对软件生态系统的定义趋于一致.软件生态系统是在特定的技术环境中软件企业、开发者、技术社区等涉众以软件产品、服务、数据和知识为媒介相互作用而形成的复杂系统.通常,研究人员使用2003年提出的软件生态系统研究内容七分类法把相关文献归类到过程与技术、定性分析、结构化分析模型、实证研究、工具及表示法、行业应用、技术报告等七大类中.由于软件生态系统的领域边界、关键特征较之2003年的情境已发生巨变,原有的七分类法有待修订.本文类比自然生态系统,建立软件生态系统元模型来描述软件生态的结构及特征.在软件生态系统研究内容七分类法的基础上,将“定性分析”和“结构化分析模型”整合为“分析方法与框架”,把“行业应用”和“实证研究”合并为“实证研究”,形成软件生态系统研究内容五分类法.然后,对2015~2017年软件生态系统的研究现状进行文献综述,从技术报告、分析方法与框架、过程与技术、实证研究、工具及表示法五个方面总结软件生态系统的研究现状,并展望研究趋势及发现面临的挑战.软件生态系统的需求工程、架构建模、模型驱动开发、能量机理、关键特征分析、信息量抽取与建模、生态网络分析、缺陷/代码坏味 董瑞志 李必信 李必信 王璐璐 李宏伟 TAN Jack关键词:生态系统结构 元模型