FuzzAug:探索模糊测试作为神经网络测试生成的数据增强
记录了生成测试用例的准确性、编译率、通过率和分支覆盖率,综合评估FuzzAug对测试生成性能的提升。研究结果实验结果显示,FuzzAug显著提升了生成测试用例的准确性和单元测试的实用性。与基线模型相比,使用FuzzAug训练的模型在测试用例准确率上提高了11%。此外,FuzzCoder在生成的单元测试函数中达到了更高的分支覆盖率...
干货| 物流集成系统的测试与验收
软件测试是一个非常复杂的过程,在测试开始前,软件供应者或系统集成商应提交一份根据设计蓝图制作的软件测试指南,详细列出需要测试的科目和细节,由集成商和用户审定。并由此制定测试计划和准备测试用例。具体测试前,软件要搭建一个测试环境,这个环境的配置与未来实际应用环境是一致的,所有测试用例也要由实际的作业流程和...
漫谈测试策略
阿里妹导读本文以团队内约定俗成的测试策略概念为主题,总结了一些个人经验和思考结论,可能对其他业务/团队而言,存在术语定义不一致,希望对大家有参考意义,欢迎探讨,感谢理解。一、测试策略是什么?引自查字典:策略:基本含义:指为达到某种目的而制定的行动方案或计
10 年程序员经验缩水 5 倍,AI 走上研发岗后,一线从业者生态或迎大...
我们目前正在使用RAG模型来实现需求到测试用例的翻译。我们还在探索代码调试问题。虽然正确代码的生成很重要,但bug的修复方法因人而异。我们希望AI技术能够生成因果链,帮助开发者理解错误发生的原因,并构建从错误发生点到输出位置的路径。这样,开发者可以根据AI提供的因果链来决定如何修复bug。目前,我们正...
【好文推荐】基于关键场景的预期功能安全双闭环测试验证方法
(2)SOTIF触发条件提取:触发条件本质上是对场景要素和系统危害行为进行因果推断,可以通过归纳方法从研发或运行过程采集的大量数据中识别归纳触发条件,或通过演绎方法,从系统功能属性出发推演危害行为并获取触发条件。(3)封闭验证测试用例的构建:封闭验证将已知场景构建为有限资源条件下最优测试用例集合,本质上是将运行条...
新鲜来袭!东方国信幕僚产品体系隆重发布
为运营商提供经分、客服、数仓等智能化支撑;在教育领域,部署教培一体机、论文助手;在金融领域,提供金融风险管理、投资策略分析、智能数仓/集市等建设服务;为政务领域提供政策知识库,辅助政策解读;为司法领域提供法律条文解读、司法鉴定辅助、法律咨询等智能支撑;为软件工程生成智能测试用例,提供代码生成助手及代码审核等...
陈伟 向珉希|生成式人工智能背景下犯罪主观评价的异变与应对
以ChatGPT为例,其基于大规模预训练,遵循提示词(Prompt)生成补全提示词的句子、遵循给定任务的几个示例,为新的测试用例生成解决方案,学习训练的根本逻辑即在于“推理能力”。人类主体仅是为生成式人工智能的推理预设了“方法论”、提供了部分可供推理的基础数据,至于生成式人工智能将生成何种推理结果、如何生成推理结果...
GB/T 43267-2023英文版翻译 道路车辆预期功能安全
第10章(已知场景的评估)和第11章(未知场景的评估)旨在基于验证和确认策略导出相应的验证和确认测试用例.且测试用例对ODD的覆盖度足够高。第12章(预期功能安全实现的评估)旨在评估SOTIF活动的结果是否充分.足以论证实现了SO??TIFo第13章(运行阶段的活动)旨在定义在运行阶段识别和解决可能出现的SOTIF现场...
涵盖500多项研究、50多个模型,代码大模型综述来了
GitHubCopilot可以说是最流行的AI编程助理之一,其具备非常多功能,包括代码生成、漏洞检测和证书管理,而CodeFuse也将代码生成、代码转译、代码注释和测试用例生成整合成了单一的IDE插件,但是,随着代码语言模型越来越大,它们的客户端部署和实时性能也遭遇了新的挑战。
大模型推理速度飙升3.6倍,美杜莎来了,最优雅加速推理方案之一
在实验部分,研究者主要关注批大小为1的场景,这代表了LLM本地托管以供个人使用的用例。他们在不同大小和训练设置下测试了MEDUSA,包括Vicuna-7B和13B(使用公共数据集训练)、Vicuna-33B(使用私有数据集训练)、Zephyr-7B(使用监督微调和对齐训练)。