|
钻瓜专利网为您找到相关结果 282个,建议您 升级VIP下载更多相关专利
- [发明专利]一种Solidity编译器测试方法及系统-CN202310601256.7在审
-
田振洲;王凡凡;柯贤群;陈彦萍;谢晓燕
-
西安邮电大学
-
2023-05-25
-
2023-09-22
-
G06F11/36
- 本发明公开了一种Solidity编译器测试方法及系统,通过基于智能合约数据集和Transformer架构生成Solidity语言特性模型;从智能合约数据集随机抽取智能合约作为种子合约,并依据选取的智能合约生成策略,利用Solidity语言特性模型#imgabs0#初步生成智能合约,基于设定的突变策略集采取遗传算法对初步生成的智能合约实施启发式突变,对启发式突变后的Solidity智能合约作编译处理,自动捕捉并解析编译信息,如果识别出编译器内部错误类型标记,则记录错误信息,以及可触发该错误的智能合约,生成测试报告,本发明能够对快速迭代同时安全攸关的Solidity编译器进行缺陷测试,促进其快速且安全的发展迭代,并避免安全问题引起的经济损失,方法应用场景新颖独到。
- 一种solidity编译器测试方法系统
- [发明专利]一种雪峰乌骨鸡种鸡专用养殖舍-CN202011130205.3有效
-
谢晓燕
-
辰溪县畅通禽业有限公司
-
2020-10-21
-
2023-05-02
-
A01K31/00
- 本发明公布了一种雪峰乌骨鸡种鸡专用养殖舍,属于家禽养殖领域,一种雪峰乌骨鸡种鸡专用养殖舍,包括外壳,所述外壳内设置有若干个内腔,所述外壳的内腔分为上下两部分的第一空腔和第二空腔,且上下两部分的底部上都设置有便于收集粪便的收集机构,对种鸡进行保护,通过设置的第一封闭门和第二封闭门使种鸡直接快速的出入养殖舍,在第二封闭门打开之后,使位于第二空腔内的种鸡直接通过第二封闭门从养殖舍中走出,通过设置第一空腔和第二空腔,使同一个养殖设备的空间被增加,便于更多数量的养殖,减少其拥挤程度,通过推动推板,使第一空腔内较多的种鸡被驱赶至第二空腔内,减少第一空腔内的种鸡的拥挤程度。
- 一种雪峰乌骨鸡专用养殖
|