DLCS18.HS.9
Demonstrate the ability to verify the correctness of a program.
Demonstrate the ability to verify the correctness of a program.
UP:DLCS18.HS.9
Vocabulary
- compile
- program
- syntax
Knowledge
- proper syntax and formatting for a coding language.
- how to identify coding errors in a programming language.
- programs must be tested to verify that the desired task is executed properly.
- testing a program requires a scenario where you can easily verify that the result of the program is correct/accurate.
- a program can contain one of the following properties, but not be an appropriate program: correctness, efficiency, scalability and readability
- it is important to have others review your code.
- that to be a quality program, code must be correct, efficient, scalable and readable.
Skills
- analyze code for proper syntax and formatting.
- create a test case with verifiable results.
- execute a program with the created test case to verify program performance.
- locate errors in programming by executing test cases.
- work with others to review their code for correctness, efficiency, scalability and readability.
Understanding
- programming languages each have their own required formatting which must be adhered to for a program to run correctly.
- errors in programming languages prevent the program from executing its task.
- each language has its own syntax and method for identifying potential errors.
- code can be formatted correctly and a program can still produce unintended results.
- a test case is vital to verifying that a program is executing a task as intended.
- to be a quality program, code must be correct, efficient, scalable and readable.
- it is important to have others proofread your code.