测试用例自动生成

作品数：125被引量：382H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄翰赵瑞莲宫云战赵卫东陈鑫更多>>
相关机构：四川大学北京交通大学北京邮电大学北京化工大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向Solidity智能合约的测试用例自动生成与模糊测试框架研究
《电子产品可靠性与环境试验》2024年第6期1-7,共7页相里朋 包小敏 莫泳聪 周永长 
陕西省重点研发计划项目(2023-YBGY-216);国家重点研发计划项目(2022YFB2702600)资助。
智能合约是一种通过计算机指令实现传统合约自动化的程序,其在部署后不可修改,因此在部署前对其行为和约束条件进行全面测试至关重要。然而,现有测试方法难以适应复杂场景,或仅聚焦于发现导致合约崩溃的输入。为此,提出了一款名为C-Soli...
关键词：智能合约 区块链 基于搜索的软件测试 测试用例生成 模糊测试 
智能牵引变电所继电保护装置自动测试软件设计
《铁路计算机应用》2024年第12期47-54,共8页于杰 何顺江 彭建 高子然 张凯 
中国铁路成都局集团有限公司科研开发课题(CYZ202402)。
牵引变电所继电保护装置对于保证牵引供电系统的高安全性和高可靠性发挥着不可替代的关键作用,在投入使用之前必须进行完整、严格的测试。目前继电保护装置测试主要是手动方式,测试过程非常繁琐、耗时费力,对测试员专业能力要求较高,难...
关键词：智能牵引变电所 继电保护装置 计算机辅助测试(CAT) 自动测试软件 测试用例自动生成 测试报告自动生成 
基于有限状态机和功能块图的测试用例自动生成技术研究
《控制与信息技术》2024年第6期96-103,共8页李宁 熊艳 丁耀国 
软件测试是保证软件质量的重要手段,软件测试设计的主要方法是人工根据软件需求编写测试用例,效率低并且测试设计的质量难以保证。对此,文章提出了一种基于模型的测试设计方法,其使用有限状态机和功能块图两种方式建立测试模型;研究了...
关键词：软件测试 基于模型的测试 有限状态机 功能块图 
基于大模型的测试用例自动生成服务探索
《金融电子化》2024年第24期55-56,共2页辛治运 李立峰 杜瑞罡 张世同 李娴 黄丛珊 
软件测试是软件开发生命周期中的重要节点,功能测试作为确保软件满足其规定功能的核心方法,长期以来一直依赖于测试人员的专业知识和经验。随着软件系统规模的扩大和功能的日益复杂化,传统的功能测试方法正面临着巨大挑战;首先,手动创...
关键词：测试用例 软件测试 软件系统 软件开发生命周期 重要节点 功能测试 测试方法 测试人员 
基于有效状态覆盖的测试用例自动生成方法
《自动化与仪表》2024年第10期5-8,13,共5页王淼 青先国 刘宏春 孙诗炎 
为执行反应堆保护系统工厂测试阶段的确认测试,通常由测试工程师手动编写测试用例,耗费大量人力和时间成本,且可能出现错误、冗余或遗漏。该研究以保护系统确认测试中测试用例生成过程为研究对象,以功能图为依据,提出一种基于有效状态...
关键词：测试用例自动生成 自动测试 保护系统 可满足性模理论 
面向MC/DC覆盖的白盒单元测试用例自动生成技术
《科学技术与工程》2024年第30期13039-13047,共9页秦畅 陈赛 李坤 刘恒 杨柳 马征 
国家自然科学基金(U2268201)。
在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单...
关键词：白盒测试 单元测试 测试用例自动生成 修正条件判定覆盖 
基于自然语言需求的SCADE模型测试用例自动生成方法
《计算机科学》2024年第7期29-39,共11页邵温欣 杨志斌 李维 周勇 
国家自然科学基金(62072233);国防基础科研项目(JCKY2020205C006);航空科学基金(201919052002);南京航空航天大学科研与实践创新计划(xcxjh20221607)。
随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法...
关键词：安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测 
AIGC技术在软件测试中的应用探讨被引量：2
《工业控制计算机》2024年第4期82-84,共3页肖丰佳 
软件测试是软件研发过程中一个非常重要的环节,如何高效及时完成测试工作一直是软件测试领域的难题之一。随着ChatGPT的火爆发展,AIGC技术在软件测试领域得到了广泛的应用,甚至改变了传统的软件测试模式。系统介绍了AIGC在软件测试领域...
关键词：软件测试 AIGC 测试用例自动生成 代码生成 缺陷检测和修复 
基于众测操作记录的Web测试用例自动生成方法
《计算机技术与发展》2024年第1期83-90,共8页张清睿 黄松 孙乐乐 
国家重点研发计划基金项目(2018YFB1403400)。
众包测试是软件测试领域的一种新兴趋势,具有更加可靠、成本更低和效率更快的优点。但是由于众测工人专业水平不同,提交的测试用例报告缺乏规范性,为报告的审核、缺陷的复现都增加了困难。该文提出了一种通过众测工人的操作记录自动生...
关键词：众包测试 WEB测试 测试记录 文本测试用例 测试用例生成 
基于流形鸽群优化的智能合约重入性漏洞检测方法研究被引量：1
《中国科学：技术科学》2023年第11期1922-1938,共17页刘方青 黄翰 向毅 郝志峰 
国家自然科学基金项目(批准号:61772225,61876207);广州科技项目(编号:201802010007);广东省重点领域研发计划(编号:2018B010109003)资助。
重入性漏洞在智能合约中普遍存在,可能造成巨大的经济损失.现有的基于符号执行的静态分析工具通过预设的规则判断漏洞是否存在,然而预设规则不全面可能会导致重入性漏洞的误报.为了避免误报,本研究尝试从软件测试用例生成的动态分析角...
关键词：智能合约 重入性漏洞 鸽群算法 测试用例自动生成 路径覆盖 
全选清除导出
共13页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部