1 Star 2 Fork 0

Liyi / llmtcg-linux-kernel

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
克隆/下载
贡献代码
同步代码
取消
提示: 由于 Git 不支持空文件夾,创建文件夹后会生成空的 .keep 文件
Loading...
README
BSD-3-Clause

LLM-Generated Linux-Kernel Testcases

The repository contains a set of test cases that are:

  1. Aimed to consistency testing between linux-compatible kernels,
  2. Automatically generated using large language models.

All the test case in this repository are current generated by the tool llmtcg.

Cost Statistics

Tested Subsystems Test Scenes Test Cases Generated Rate
syscalls 4604 3897 84.6%

Evaluation On Capabilities of LLMs

Tested Subsystems Test Scenes claude3-haiku llama-3-8b deepseek-v2-chat
syscalls 4604 2227 (48.37%) 2504 (54.39%) 2835 (62.58%)

History

  • 2024.4.26 Initial version, use the claude3-haiku model to extract test scenes from linux kernel's manpages
    • 4604 test scenes generated, where for 2227 scenes we successfully generated runnable (and passed) test cases
    • 38,057,211 input tokens used, 10,715,788 output tokens used
    • 22.91$ costed
  • 2024.4.29 use moonshot-v1-32k model to make further attempt on previously failed test scenes
    • tried on 457 test scenes, where we succesfully generated test code for 170 scenes
    • 3,203,882 input tokens used, 736,716 output tokens used
    • 94.57 rmb costed
  • 2024.5.2 use locally deployed llama3-8b-instruct model to re-generate all test scenes on syscalls
    • tried on 4604 test scenes, 2504 of them succeeded
    • using a single Nvidia RTX 4090
    • 30 rmb costed (electric cost ;)
  • 2024.5.7 use deepseek-v2 model to re-generate all test scenes on syscalls
    • tried on 4604 test scenes, 2835 of them succeeded
    • 55 rmb costed
BSD 3-Clause License Copyright (c) 2024, Liyi All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. * Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

简介

linux kernel compatibility testing based on large language models 展开 收起
C
BSD-3-Clause
取消

发行版

暂无发行版

贡献者

全部

近期动态

加载更多
不能加载更多了
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
C
1
https://gitee.com/liyifm/llmtcg-linux-kernel.git
git@gitee.com:liyifm/llmtcg-linux-kernel.git
liyifm
llmtcg-linux-kernel
llmtcg-linux-kernel
master

搜索帮助

344bd9b3 5694891 D2dac590 5694891