代声馨
- 作品数：13 被引量：23H指数：2
- 供职机构：四川大学更多>>
- 发文基金：四川省应用基础研究计划项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 多处理器实时系统可调度性分析的UPPAAL模型被引量：18
- 2015年
- 随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息.
- 代声馨洪玫郭兵杨秋辉黄蔚徐保平
- 关键词：可调度性UPPAAL时间自动机
- 基于动态插桩的程序分析工具的性能改进被引量：2
- 2013年
- 基于动态插桩的工具被广泛应用于程序分析中,但该类工具都面临着严重的性能问题。这类工具的性能开销主要由两部分组成,即插桩引擎的开销和用户定义的分析程序的开销。为降低用户定义的分析工具的开销,首先分析了基于动态插桩的工具的性能开销的组成,并通过实验分析了造成性能开销的几点原因及其对工具的性能影响;根据分析结论提出了使用离线分析方式来优化工具性能,最后通过并行数据收集来进一步提升工具性能。使用该方法能减少分析程序5%～15%的CPU占用时间。
- 代声馨洪玫郭鑫宇张鹏祁琳莹
- 关键词：离线分析
- 一种多处理器系统可调度性验证方法
- 本发明公开了一种多处理器系统可调度性验证方法，包括：对可调度性分析问题中的应用程序、运行平台、调度管理分别建立模型，形成可调度性分析模型；采用时间计算树逻辑TCTL描述系统可调度性的性质；完成对可调度性分析模型和性质的验...
- 洪玫代声馨何洋孙琳张琼宇杜伊
- 文献传递
- 一种嵌入式低功耗智能照明系统的控制方法和系统
- 本发明提出了一种嵌入式低功耗智能照明系统的控制方法和系统，涉及智能照明技术领域，本发明实施例通过遗传算法的适应度函数对基于目标历史照明数据搭建的LSTM长短时记忆网络进行优化，并基于优化后的目标LSTM长短时记忆网络训练...
- 郭兵汪思怡代声馨付念罗正代成
- 一种基于强化学习的嵌入式系统低功耗监控系统和方法
- 本发明实施例提供了一种基于强化学习的嵌入式系统低功耗监控系统和方法，涉及低功耗技术领域。本发明实施例通过监控模块检测环境状态，并通过功耗管理模块基于环境状态确定对应的目标执行动作，最终由执行模块将目标执行动作转化为功耗管...
- 郭兵付念代声馨汪思怡罗正代成
- 基于有界模型检测的C/C++程序内存泄露检测被引量：2
- 2016年
- C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。
- 黄蔚洪玫杨秋辉郭鑫宇代声馨徐保平高婉玲赵鹤
- 关键词：C/C++程序内存泄露有界模型检测
- 汽车自动驾驶系统的统计验证方法、系统、设备及介质
- 本发明实施例提供了一种汽车自动驾驶系统的统计验证方法、系统、设备及介质，涉及自动驾驶测试技术领域。该方法包括：根据汽车自动驾驶系统的安全性要求，确定测试工况描述和安全性约束；测试工况描述包括：场景描述和环境参数；基于场景...
- 杨秋辉陈洲宁代声馨罗正汪思怡付念
- 一种死锁检测验证方法
- 本发明公开了一种死锁检测验证方法，包括：提取出待测进程的状态、状态转移关系；建立不同的死锁检测模板；将进程的状态、状态转移关系以及建模属性按照类别分别写入XML配置文件；读取XML配置文件，选择相应的死锁检测模板进行模型...
- 杨秋辉代声馨张琼宇孙琳何洋杜伊
- 文献传递
- 基于深度学习的回归测试用例优先级排序方法
- 2024年
- 在回归测试中对测试用例排序可以更快地发现代码缺陷,节约测试时间和资源,提高测试效率。现有的测试用例排序方法没有同时考虑代码的变更信息以及测试用例的历史执行信息,也没有考虑不同测试用例执行历史长短的区别,因此排序效果不佳。针对这些问题,提出基于深度学习的回归测试用例优先级排序方法。首先分别构建基于代码变更信息和历史执行信息的分类模型;然后基于类间关系图识别受代码变更影响的类,对这些类的测试用例以及近期执行发现缺陷的测试用例进行分类,使用分类模型和启发式排序方法对测试用例分类进行排序;最后通过交替排序融合排序结果。在RTPTorrent数据集上选取6个项目进行实验,结果表明:1)在无时间约束时,所提方法在所有项目上都取得了不错的排序效果,在cloudify项目上的APFD指标达到0.972;2)在有时间约束时,所提方法的NAPFD指标超过了目前主流的排序方案。
- 张李政杨秋辉李兴佳代声馨
- 分布式自动化软件测试平台研究——测试工具集成策略研究被引量：1
- 2014年
- 随着软件的规模和复杂度日益增大,传统的软件开发过程从集中式的软件开发过程向全球化分布式软件开发过程过渡,传统的集中式软件测试方式受到时间、空间、测试成本的限制,导致测试效果不够理想。基于分布式自动化测试平台(DSAPT),对现有的测试工具集成策略进行研究。以测试即为服务(TAAS)思想为基础,提出一个基于SOA的测试工具集成框架,实现对各类测试工具松耦合的功能集成、数据集成和用户界面集成;最后通过FindBugs和Selenium的工具集成实验,对测试工具集成框架的有效性和可行性进行了验证。
- 詹聪洪玫周洪宇张光渝代声馨
- 关键词：软件质量
