• Software Testing Dictionary
  • Home

Correctness


Advertisements

What is Correctness?

Correctness from software engineering perspective can be defined as the adherence to the specifications that determine how users can interact with the software and how the software should behave when it is used correctly.

If the software behaves incorrectly, it might take considerable amount of time to achieve the task or sometimes it is impossible to achieve it.

Important rules:

Below are some of the important rules for effective programming which are consequences of the program correctness theory.

  • Defining the problem completely.

  • Develop the algorithm and then the program logic.

  • Reuse the proved models as much as possible.

  • Prove the correctness of algorithms during the design phase.

  • Developers should pay attention to the clarity and simplicity of your program.

  • Verifying each part of a program as soon as it is developed.

Useful Video Courses


Video

Software Engineering Basics

80 Lectures 7.5 hours

Arnab Chakraborty

Video

The Perfect Open Broadcaster Software Recording Studio

10 Lectures 1 hours

Zach Miller

Video

SEO Keyword Research Made Easy + FREE Research Software

17 Lectures 1.5 hours

Zach Miller

Video

How To Startup Your Own SaaS (Software As a Service) Company

60 Lectures 5 hours

John Shea

Video

Software development in Python: A practical approach

99 Lectures 10 hours

Daniel IT

Video

Software Development Processes (SDLC Models)

62 Lectures 5 hours

GlobalETraining

Advertisements