Verification - aiwatar da validating software

The sharuddan "tabbaci" da "Ingancin" ne sau da yawa sosai amfani a cikin fasaha adabi da kuma suna da alaka da ingancin da bincike na da wani software. A kimiyya adabi akwai daban-daban fassarori daga wadannan Concepts. Saboda haka, kokarin duba a cikin al'amarin.

A mafi dace, a cikin ra'ayi, shi ne da wadannan definition. Ingancin da tabbaci - ne ayyukan da ake da nufin dauke da fitar da ingancin iko da da software don gane kurakurai a farkon matakai na shi. Zai ze cewa suna da manufa daya. Duk da haka, wadannan jinsunan da bambance-bambance a cikin kafofin da verifiable Properties, hani da ka'idoji, take hakkin wanda za a iya gani a kuskure.

Verification - wani rajistan shiga na kowane irin na software fasaha takardun bayar da bukatun jaddadawa, gine ko yankin model. A cikin "wajibi" da kalmar da aka hada da kwatanta lissafi hanyoyi don aiwatar da raya kasa, da dokoki da nagartacce.

Data tabbaci za a iya yi don saita wurin aiki na yarda shirin kafa matsayin, da bukatun, zane, da kuma mai amfani da takardun. A wannan yanayin, wani m pre-dubawa zai zama batu zuwa ga waɗanda takardun, wanda aka kwatanta da su yarda da matsayin da dokokin kafa a kasar inda software da aka sarrafa. Wajibi ne a yi la'akari da girmama duk jeruwar ayyukan yi.

A taron na wani kuskure ko aibi a cikin shirin ko kuma akwai wani rikici tsakanin muka ambata a sama takardun da na yanzu aiki na shirin yanke shawara a kan ya zabi na kayan aiki ga gyara ya zama da mafita ga wani musamman aiki.

Ba kamar tabbaci Ingancin ne alhakin don tabbatar da yarda da ci gaba ko kuma tare software bukatun ko da bukatun abokan ciniki ko masu amfani. Wadannan bukatun sukan ba rubuce a cikin kowane abuba. Wannan shi ne dalilin da ya sa Ingancin kasa dai da fiye da tabbaci. Wannan shi ne wani tsari a cikin abin da wakilan abokin ciniki, mai amfani, da kuma iya halartar wani mai sharhi ko wani gwani a kan batun yankin. A wasu kalmomin, da waɗanda za su iya bayyana da takamaiman bukatun da real bukatun masu ruwa da tsaki.

Verification - shi ne amsar tambayar "Shin da software yadda ya kamata ya yi?", Kuma Ingancin - "Za dama software?".

Lokacin da neman amsa ga wadannan tambayoyi, za ka iya samun cewa Ingancin (ko takardar shaida) abun ciki da aka kafa dan kadan fadi fiye da rajistan (tabbaci). Duk da haka, tabbaci ne da nasaba, da tabbatar da iko a kan software samfurin quality.

Alal misali, tabbaci da kwamfuta shirin samar da wani tsari a cikin abin da dalilin manufar ita ce tabbatar da cewa hadu da wadannan bukatun, musamman samu samfurin rayuwar sake zagayowar, zuwa ga waɗanda suke samu a baya mataki.

Idan muka magana game da model tabbaci, a nan za mu mayar da hankali a kan tabbaci na daidai nuni da kwamfuta model da ake bukata na ra'ayi ko ilmin lissafi model.

Lokacin da tabbaci tsarin code na nazarin tushen coding da mai gaskatãwa ta daidai da shirin bayanin.

A tabbaci tsari zai iya hada ayyukan hada da madadin lissafin. A kwatanta fasaha da kimiyya takardun da sabon aikin da ya dace da takardun na data kasance aikin, m gwaji, gwaji na sabon software samfurin da kuma nuna sakamakon.