Sökning: "static analyzer"

Visar resultat 1 - 5 av 11 uppsatser innehållade orden static analyzer.

  1. 1. Code Quality and Large Language Models in Computer Science Education : Enhancing student-written code through ChatGPT

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oscar Backström; Annie Kihlert; [2023]
    Nyckelord :;

    Sammanfattning : The increased digitization amplifies the significance of code quality in software development. Yet, it is often difficult for novice programmers to understand and produce high-quality code. This study aims to explore the effects of large language models (LLMs), more precisely ChatGPT, on the code quality exhibited by computer science students. LÄS MER

  3. 2. Modeling, Simulation, and Injection of Camera Images/Video to Automotive Embedded ECU : Image Injection Solution for Hardware-in-the-Loop Testing

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Signaler och system

    Författare :Anton Lind; [2023]
    Nyckelord :ADAS; AD; ADS; HIL; Hardware in the loop; Hardware-in-the-loop; ECU; VCU; Automotive; Embedded; System; Systems; Camera; Image; Video; Injection; FPGA; MPSoC; Vivado; Vitis; VHDL; Volvo; Cars; FMC; HPC; LPC; MIPI CSI2; GMSL2; AMBA AXI4; Xilinx; RTL; Implementation; Synthesis; Intelectual Property; IP; Vehicle computing unit; Electronic control unit; TEB0911; TEF0007; TEF0010; CSI2 Tx; CSI2 Tx Subsystem; Zynq; SerDes; AXI4; AXI4-Lite; Programmable Logic; PL; Processor System; PS; C; C ; Video test pattern generator; VTPG; Axi traffic generator; ATG; Ultrascale ; Virtual input output; VIO; Integrated logic analyzer; ILA; Interface Unit;

    Sammanfattning : Testing, verification and validation of sensors, components and systems is vital in the early-stage development of new cars with computer-in-the-car architecture. This can be done with the help of the existing technique, hardware-in-the-loop (HIL) testing which, in the close loop testing case, consists of four main parts: Real-Time Simulation Platform, Sensor Simulation PC, Interface Unit (IU), and unit under test which is, for instance, a Vehicle Computing Unit (VCU). LÄS MER

  4. 3. Flaskhalsanalys med händelsestyrd simulering vid produktion mot beställning

    Uppsats för yrkesexamina på grundnivå, Uppsala universitet/Industriell teknik

    Författare :Nils Gunnarsson; Martin Bevemyr; [2022]
    Nyckelord :facts-analyzer; bottleneck analysis; multi-objective optimization; dicrete event simulation; production management; score-method; shifting bottlenecks.; facts-analyzer; flaskhalsanalys; flermålsoptimering; händelsestyrd simulering; produktionsledning; score-metoden; skiftande flaskhalsar.;

    Sammanfattning : När ett tillverkande företag vill öka sin marknadsandel behöver de i allmänhet öka sin produktion. För att kunna göra detta på ett kostnadseffektivt sätt är det viktigt att veta vilka faktorer som begränsar produktionssystemet, dessa benämns ofta som flaskhalsar. LÄS MER

  5. 4. Contributions to the usability of Sorald for repairing static analysis violations

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Henry Luong Phu; [2021]
    Nyckelord :Software quality; static analysis; rule violation; automated repair; Kvalitetssäkring; statiskt analys; regelbrott; automatisk reparation;

    Sammanfattning : Automated static analysis tools are important in modern software quality assurance. These tools scan the input source or binary code for a set of rules to detect functional or maintainability problems and then warn developers about the found rule violations. LÄS MER

  7. 5. Automated checking of programming assignments using static analysis

    Kandidat-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Kenneth Sterner; [2021]
    Nyckelord :;

    Sammanfattning : Computer science and software engineering education usually contain programming courses that require writing code that is graded. These assignments are corrected through manual code review by teachers or course assistants. The large amount of assignments motivates us to find ways to automatically correct certain parts of the assignments. LÄS MER