Essays about: "static analyzer"

Showing result 1 - 5 of 10 essays containing the words static analyzer.

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oscar Backström; Annie Kihlert; [2023]
    Keywords : ;

    Abstract : 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. READ MORE

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

    University essay from Uppsala universitet/Signaler och system

    Author : Anton Lind; [2023]
    Keywords : 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;

    Abstract : 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). READ MORE

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

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

    Abstract : 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. READ MORE

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

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Kenneth Sterner; [2021]
    Keywords : ;

    Abstract : 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. READ MORE

  6. 5. Static and Dynamic Characterization of power semiconductors

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Alexandre Mejean; [2019]
    Keywords : Characterization; Semiconductors; Power Electronics; Power Switches; Test bench; Hard Switching; Soft Switching; Full bridge; Static characterization; Dynamic characterization; Power converter; Power loss; Probes; Measurement; High Current; Medium Voltage; Karakterisering; Halvledare; Kraftelektronik; Strömbrytare; Testbänk; Dynamisk karakterisering; Statisk karakterisering;

    Abstract : Characterizing  power  switches  is  an  indispensable  step  when  designing  a  converter.  This  thesisinvestigates ways to achieve static and dynamic characterization of semiconductors for high power applications such as power grid or train traction. The static characterization has been tested with a Keysight B1506A device analyzer. READ MORE