Source code

Last updated

Simple C-language source code example, a procedural programming language. The resulting program prints "hello, world" on the computer screen. This first known "Hello world" snippet from the seminal book The C Programming Language originates from Brian Kernighan in the Bell Laboratories in 1974. Hello world c.svg
Simple C-language source code example, a procedural programming language. The resulting program prints "hello, world" on the computer screen. This first known "Hello world" snippet from the seminal book The C Programming Language originates from Brian Kernighan in the Bell Laboratories in 1974.

In computing, source code, or simply code or source, is a plain text computer program written in a programming language. A programmer writes the human readable source code to control the behavior of a computer.

Contents

Since a computer, at base, only understands machine code, source code must be translated before a computer can execute it. The translation process can be implemented three ways. Source code can be converted into machine code by a compiler or an assembler. The resulting executable is machine code ready for the computer. Alternatively, source code can be executed without conversion via an interpreter. An interpreter loads the source code into memory. It simultaneously translates and executes each statement. A method that combines compilation and interpretation is to first produce bytecode. Bytecode is an intermediate representation of source code that is quickly interpreted.

Background

The first programmable computers, which appeared at the end of the 1940s, [2] were programmed in machine language (simple instructions that could be directly executed by the processor). Machine language was difficult to debug and was not portable between different computer systems. [3] Initially, hardware resources were scarce and expensive, while human resources were cheaper. [4] As programs grew more complex, programmer productivity became a bottleneck. This led to the introduction of high-level programming languages such as Fortran in the mid-1950s. These languages abstracted away the details of the hardware, instead being designed to express algorithms that could be understood more easily by humans. [5] [6] As instructions distinct from the underlying computer hardware, software is therefore relatively recent, dating to these early high-level programming languages such as Fortran, Lisp, and Cobol. [6] The invention of high-level programming languages was simultaneous with the compilers needed to translate the source code automatically into machine code that can be directly executed on the computer hardware. [7]

Source code is the form of code that is modified directly by humans, typically in a high-level programming language. Object code can be directly executed by the machine and is generated automatically from the source code, often via an intermediate step, assembly language. While object code will only work on a specific platform, source code can be ported to a different machine and recompiled there. For the same source code, object code can vary significantly—not only based on the machine for which it is compiled, but also based on performance optimization from the compiler. [8] [9]

Organization

Most programs do not contain all the resources needed to run them and rely on external libraries. Part of the compiler's function is to link these files in such a way that the program can be executed by the hardware. [10]

A more complex Java source code example. Written in object-oriented programming style, it demonstrates boilerplate code. With prologue comments indicated in red, inline comments indicated in green, and program statements indicated in blue. CodeCmmt002.svg
A more complex Java source code example. Written in object-oriented programming style, it demonstrates boilerplate code. With prologue comments indicated in red, inline comments indicated in green, and program statements indicated in blue.

Software developers often use configuration management to track changes to source code files (version control). The configuration management system also keeps track of which object code file corresponds to which version of the source code file. [11]

Purposes

Estimation

The number of lines of source code is often used as a metric when evaluating the productivity of computer programmers, the economic value of a code base, effort estimation for projects in development, and the ongoing cost of software maintenance after release. [12]

Communication

Source code is also used to communicate algorithms between people e.g., code snippets online or in books. [13]

Computer programmers may find it helpful to review existing source code to learn about programming techniques. [13] The sharing of source code between developers is frequently cited as a contributing factor to the maturation of their programming skills. [13] Some people consider source code an expressive artistic medium. [14]

Source code often contains comments—blocks of text marked for the compiler to ignore. This content is not part of the program logic, but is instead intended to help readers understand the program. [15]

Companies often keep the source code confidential in order to hide algorithms considered a trade secret. Proprietary, secret source code and algorithms are widely used for sensitive government applications such as criminal justice, which results in black box behavior with a lack of transparency into the algorithm's methodology. The result is avoidance of public scrutiny of issues such as bias. [16]

Modification

Access to the source code (not just the object code) is essential to modifying it. [17] Understanding existing code is necessary to understand how it works [17] and before modifying it. [18] The rate of understanding depends both on the code base as well as the skill of the programmer. [19] Experienced programmers have an easier time understanding what the code does at a high level. [20] Software visualization is sometimes used to speed up this process. [21]

Many software programmers use an integrated development environment (IDE) to improve their productivity. IDEs typically have several features built in, including a source-code editor that can alert the programmer to common errors. [22] Modification often includes code refactoring (improving the structure without changing functionality) and restructuring (improving structure and functionality at the same time). [23] Nearly every change to code will introduce new bugs or unexpected ripple effects, which require another round of fixes. [18]

Code reviews by other developers are often used to scrutinize new code added to a project. [24] The purpose of this phase is often to verify that the code meets style and maintainability standards and that it is a correct implementation of the software design. [25] According to some estimates, code review dramatically reduce the number of bugs persisting after software testing is complete. [24] Along with software testing that works by executing the code, static program analysis uses automated tools to detect problems with the source code. Many IDEs support code analysis tools, which might provide metrics on the clarity and maintainability of the code. [26] Debuggers are tools that often enable programmers to step through execution while keeping track of which source code corresponds to each change of state. [27]

Compilation and execution

Source code files in a high-level programming language must go through a stage of preprocessing into machine code before the instructions can be carried out. [7] After being compiled, the program can be saved as an object file and the loader (part of the operating system) can take this saved file and execute it as a process on the computer hardware. [10] Some programming languages use an interpreter instead of a compiler. An interpreter converts the program into machine code at run time, which makes them 10 to 100 times slower than compiled programming languages. [22] [28]

Quality

Software quality is an overarching term that can refer to a code's correct and efficient behavior, its reusability and portability, or the ease of modification. [29] It is usually more cost-effective to build quality into the product from the beginning rather than try to add it later in the development process. [30] Higher quality code will reduce lifetime cost to both suppliers and customers as it is more reliable and easier to maintain. [31] [32]

Maintainability is the quality of software enabling it to be easily modified without breaking existing functionality. [33] Following coding conventions such as using clear function and variable names that correspond to their purpose makes maintenance easier. [34] Use of conditional loop statements only if the code could execute more than once, and eliminating code that will never execute can also increase understandability. [35] Many software development organizations neglect maintainability during the development phase, even though it will increase long-term costs. [32] Technical debt is incurred when programmers, often out of laziness or urgency to meet a deadline, choose quick and dirty solutions rather than build maintainability into their code. [36] A common cause is underestimates in software development effort estimation, leading to insufficient resources allocated to development. [37] A challenge with maintainability is that many software engineering courses do not emphasize it. [38] Development engineers who know that they will not be responsible for maintaining the software do not have an incentive to build in maintainability. [18]

The situation varies worldwide, but in the United States before 1974, software and its source code was not copyrightable and therefore always public domain software. [39] In 1974, the US Commission on New Technological Uses of Copyrighted Works (CONTU) decided that "computer programs, to the extent that they embody an author's original creation, are proper subject matter of copyright". [40] [41]

Proprietary software is rarely distributed as source code. [42] Although the term open-source software literally refers to public access to the source code, [43] open-source software has additional requirements: free redistribution, permission to modify the source code and release derivative works under the same license, and nondiscrimination between different uses—including commercial use. [44] [45] The free reusability of open-source software can speed up development. [46]

See also

Related Research Articles

<span class="mw-page-title-main">Assembly language</span> Low-level programming language

In computer programming, assembly language, often referred to simply as assembly and commonly abbreviated as ASM or asm, is any low-level programming language with a very strong correspondence between the instructions in the language and the architecture's machine code instructions. Assembly language usually has one statement per machine instruction (1:1), but constants, comments, assembler directives, symbolic labels of, e.g., memory locations, registers, and macros are generally also supported.

<span class="mw-page-title-main">Software</span> Instructions a computer can execute

Software consists of computer programs that instruct the execution of a computer. Software also includes design documents and specifications.

Computer programming or coding is the composition of sequences of instructions, called programs, that computers can follow to perform tasks. It involves designing and implementing algorithms, step-by-step specifications of procedures, by writing code in one or more programming languages. Programmers typically use high-level programming languages that are more easily intelligible to humans than machine code, which is directly executed by the central processing unit. Proficient programming usually requires expertise in several different subjects, including knowledge of the application domain, details of programming languages and generic code libraries, specialized algorithms, and formal logic.

In computing, a compiler is a computer program that translates computer code written in one programming language into another language. The name "compiler" is primarily used for programs that translate source code from a high-level programming language to a low-level programming language to create an executable program.

<span class="mw-page-title-main">Computer program</span> Instructions a computer can execute

.

<span class="mw-page-title-main">Operating system</span> Software that manages computer hardware resources

An operating system (OS) is system software that manages computer hardware and software resources, and provides common services for computer programs.

<span class="mw-page-title-main">Programming language</span> Language for communicating instructions to a machine

A programming language is a system of notation for writing computer programs.

<span class="mw-page-title-main">Interpreter (computing)</span> Program that executes source code without a separate compilation step

In computer science, an interpreter is a computer program that directly executes instructions written in a programming or scripting language, without requiring them previously to have been compiled into a machine language program. An interpreter generally uses one of the following strategies for program execution:

  1. Parse the source code and perform its behavior directly;
  2. Translate source code into some efficient intermediate representation or object code and immediately execute that;
  3. Explicitly execute stored precompiled bytecode made by a compiler and matched with the interpreter's virtual machine.
<span class="mw-page-title-main">Library (computing)</span> Collection of resources used to develop a computer program

In computer science, a library is a collection of resources that is leveraged during software development to implement a computer program.

In computer science, a high-level programming language is a programming language with strong abstraction from the details of the computer. In contrast to low-level programming languages, it may use natural language elements, be easier to use, or may automate significant areas of computing systems, making the process of developing a program simpler and more understandable than when using a lower-level language. The amount of abstraction provided defines how "high-level" a programming language is.

A programming paradigm is a relatively high-level way to conceptualize and structure the implementation of a computer program. A programming language can be classified as supporting one or more paradigms.

In software systems, encapsulation refers to the bundling of data with the mechanisms or methods that operate on the data. It may also refer to the limiting of direct access to some of that data, such as an object's components. Essentially, encapsulation prevents external code from being concerned with the internal workings of an object.

Software development is the process of designing and implementing a software solution to satisfy a user. The process is more encompassing than programming, writing code, in that it includes conceiving the goal, evaluating feasibility, analyzing requirements, design, testing and release. The process is part of software engineering which also includes organizational management, project management, configuration management and other aspects.

An object file is a file that contains machine code or bytecode, as well as other data and metadata, generated by a compiler or assembler from source code during the compilation or assembly process. The machine code that is generated is known as object code.

A programming tool or software development tool is a computer program that software developers use to create, debug, maintain, or otherwise support other programs and applications. The term usually refers to relatively simple programs, that can be combined to accomplish a task, much as one might use multiple hands to fix a physical object. The most basic tools are a source code editor and a compiler or interpreter, which are used ubiquitously and continuously. Other tools are used more or less depending on the language, development methodology, and individual engineer, often used for a discrete task, like a debugger or profiler. Tools may be discrete programs, executed separately – often from the command line – or may be parts of a single large program, called an integrated development environment (IDE). In many cases, particularly for simpler use, simple ad hoc techniques are used instead of a tool, such as print debugging instead of using a debugger, manual timing instead of a profiler, or tracking bugs in a text file or spreadsheet instead of a bug tracking system.

Hardware abstractions are sets of routines in software that provide programs with access to hardware resources through programming interfaces. The programming interface allows all devices in a particular class C of hardware devices to be accessed through identical interfaces even though C may contain different subclasses of devices that each provide a different hardware interface.

Software maintenance is the modification of software after delivery.

<span class="mw-page-title-main">Systems architecture</span> Conceptual model of a system

A system architecture is the conceptual model that defines the structure, behavior, and more views of a system. An architecture description is a formal description and representation of a system, organized in a way that supports reasoning about the structures and behaviors of the system.

The following outline is provided as an overview of and topical guide to computer programming:

In computer programming, profile-guided optimization, also known as profile-directed feedback (PDF) or feedback-directed optimization (FDO), is the compiler optimization technique of using prior analyses of software artifacts or behaviors ("profiling") to improve the expected runtime performance of the program.

References

  1. Kernighan, Brian W. "Programming in C: A Tutorial" (PDF). Bell Laboratories, Murray Hill, N. J. Archived from the original (PDF) on 23 February 2015.
  2. Gabbrielli & Martini 2023, p. 519.
  3. Gabbrielli & Martini 2023, pp. 520–521.
  4. Gabbrielli & Martini 2023, p. 522.
  5. Gabbrielli & Martini 2023, p. 521.
  6. 1 2 Tracy 2021, p. 1.
  7. 1 2 Tracy 2021, p. 121.
  8. Lin et al. 2001, pp. 238–239.
  9. Katyal 2019, p. 1194.
  10. 1 2 Tracy 2021, pp. 122–123.
  11. O'Regan 2022, pp. 230–231, 233, 377.
  12. Foster 2014, pp. 249, 274, 280, 305.
  13. 1 2 3 Spinellis, D: Code Reading: The Open Source Perspective. Addison-Wesley Professional, 2003. ISBN   0-201-79940-5
  14. "Art and Computer Programming" ONLamp.com Archived 20 February 2018 at the Wayback Machine , (2005)
  15. Kaczmarek et al. 2018, p. 68.
  16. Katyal 2019, pp. 1186–1187.
  17. 1 2 Katyal 2019, p. 1195.
  18. 1 2 3 Offutt, Jeff (January 2018). "Overview of Software Maintenance and Evolution". George Mason University Department of Computer Science. Retrieved 5 May 2024.
  19. Tripathy & Naik 2014, p. 296.
  20. Tripathy & Naik 2014, p. 297.
  21. Tripathy & Naik 2014, pp. 318–319.
  22. 1 2 O'Regan 2022, p. 375.
  23. Tripathy & Naik 2014, p. 94.
  24. 1 2 Dooley 2017, p. 272.
  25. O'Regan 2022, pp. 18, 21.
  26. O'Regan 2022, p. 133.
  27. Kaczmarek et al. 2018, pp. 348–349.
  28. Sebesta 2012, p. 28.
  29. Galin 2018, p. 26.
  30. O'Regan 2022, pp. 68, 117.
  31. O'Regan 2022, pp. 3, 268.
  32. 1 2 Varga 2018, p. 12.
  33. Varga 2018, p. 5.
  34. Tripathy & Naik 2014, pp. 296–297.
  35. Tripathy & Naik 2014, p. 309.
  36. Varga 2018, pp. 6–7.
  37. Varga 2018, p. 7.
  38. Varga 2018, pp. 7–8.
  39. Liu, Joseph P.; Dogan, Stacey L. (2005). "Copyright Law and Subject Matter Specificity: The Case of Computer Software". New York University Annual Survey of American Law. 61 (2). Archived from the original on 25 June 2021.
  40. Apple Computer, Inc. v. Franklin Computer Corporation Puts the Byte Back into Copyright Protection for Computer Programs Archived 7 May 2017 at the Wayback Machine in Golden Gate University Law Review Volume 14, Issue 2, Article 3 by Jan L. Nussbaum (January 1984)
  41. Lemley, Menell, Merges and Samuelson. Software and Internet Law, p. 34.
  42. Boyle 2003, p. 45.
  43. Morin et al. 2012, Open Source versus Closed Source.
  44. Sen et al. 2008, p. 209.
  45. Morin et al. 2012, Free and Open Source Software (FOSS) Licensing.
  46. O'Regan 2022, p. 106.

Sources