កម្មវិធីធ្វើតេស្ត - ដំណើរការរកឃើញកំហុសនៅក្នុងផលិតផលកម្មវិធីនេះ

នៅក្នុងការអភិវឌ្ឍផ្នែកទន់ដែលជាផ្នែកមួយយ៉ាងសំខាន់នៃដំណើរការផលិតកម្មត្រូវបានផ្អែកលើការធ្វើតេស្តផ្នែកទន់។ តើវាជាអ្វីនិងរបៀបដែលសកម្មភាពបែបនេះនឹងពិភាក្សានៅក្នុងអត្ថបទនេះ។

តើអ្វីដែលត្រូវបានហៅថាការធ្វើតេស្តមួយ?

នេះសំដៅទៅលើដំណើរការដោយការរត់កម្មវិធីនេះដើម្បីរកឱ្យឃើញទីតាំងនៃការប្រតិបត្ដិការមិនត្រឹមត្រូវនៃកូដនេះ។ សម្រាប់លទ្ធផលល្អបំផុតដែលបានកសាងដោយចេតនាសំណុំលំបាកនៃការបញ្ចូលទិន្នន័យ។ គោលបំណងសំខាន់នៃការត្រួតពិនិត្យនេះគឺដើម្បីបង្កើតឱកាសល្អបំផុតសម្រាប់ការបរាជ័យ នៃកម្មវិធី។ ទោះបីជាពេលខ្លះការសាកល្បងកម្មវិធីអភិវឌ្ឍនេះអាចត្រូវបានសាមញ្ញទៅជាទម្លាប់មួយនៃសមត្ថភាពពិនិត្យធ្វើការនិងអនុវត្តមុខងារ។ នេះរក្សាទុកពេលវេលានោះទេប៉ុន្តែជាញឹកញាប់អមដោយមិនល្អនៃកម្មវិធី, ការមិនពេញចិត្តរបស់អ្នកប្រើនិងដូច្នេះនៅលើ។

ប្រសិទ្ធិភាព

តើធ្វើដូចម្តេចបានយ៉ាងល្អនិងយ៉ាងឆាប់រហ័សកំហុស, ឥទ្ធិពលសំខាន់ទៅលើការចំណាយនិងរយៈពេលនៃការអភិវឌ្ឍកម្មវិធីដែលមានគុណភាពដែលបានទាមទារមាន។ ដូច្នេះបើទោះបីជាការពិតដែលថាអ្នកសាកល្បងដែលទទួលបានប្រាក់ខែច្រើនដងតូចជាងអភិវឌ្ឍន៍មួយ, ការចំណាយនៃការផ្តល់សេវារបស់ពួកគេជាធម្មតាគឺមានរហូតដល់ទៅ 30 - 40% នៃការចំណាយនៃគម្រោងទាំងមូល។ នេះគឺដោយសារតែចំនួនបុគ្គលិក, ចាប់តាំងពីការស្វែងរកកំហុសនេះ - នេះគឺជាដំណើរការធម្មតានិងការលំបាកណាស់។ ប៉ុន្តែប្រសិនបើទោះបីជាកម្មវិធីនេះត្រូវបានអនុម័តមួយចំនួននៃការធ្វើតេស្តគោរពមិនមាន 100% ធានាថានឹងមិនមានកំហុសកើតឡើង។ គ្រាន់តែមិនដឹងថានៅពេលពួកគេបានកើតមានឡើង។ ដើម្បីលើកទឹកចិត្តឱ្យអ្នកសាកល្បងបានដើម្បីជ្រើសរើសយកប្រភេទនៃការធ្វើតេស្តដែលទំនងជាបន្ថែមទៀតដើម្បីស្វែងរកកំហុស, ឧបករណ៍ការលើកទឹកចិត្តផ្សេងគ្នាត្រូវបានប្រើ: ទាំងពីរខាងស្មារតីនិងសំភារៈ។

វិធីសាស្រ្តក្នុងការងារ

ល្អបំផុតនោះគឺនៅពេលដែលយន្ដការនានាដើម្បីអនុវត្តដើម្បីធានាថាកំហុសក្នុងកម្មវិធីនេះមិនបានពីការចាប់ផ្តើមនេះ។ ដើម្បីធ្វើដូចនេះអ្នកត្រូវតែយកចិត្តទុកដាក់នៃការរចនាស្ថាបត្យកម្មត្រឹមត្រូវ, លក្ខខណ្ឌយ៉ាងច្បាស់នៃសេចក្ដីយោងហើយវាជាការសំខាន់មិនមែនដើម្បីធ្វើឱ្យការលៃតម្រូវក្នុងការទំនាក់ទំនងនៅពេលដែលធ្វើការងារនៅលើគម្រោងនេះបានចាប់ផ្តើមរួចទៅហើយ។ ក្នុងករណីនេះអ្នកសាកល្បងទៅនឹងភារកិច្ចនៃការស្វែងរកនិងកំណត់អត្តសញ្ញាណមួយចំនួនតូចមួយកំហុសដែលស្ថិតនៅក្នុងលទ្ធផលចុងក្រោយនេះ។ នេះនឹងរក្សាទុកបានទាំងពេលវេលានិងប្រាក់។

ការធ្វើតេស្តនេះគឺជាអ្វី?

នេះគឺជាទិដ្ឋភាពសំខាន់នៃសកម្មភាពត្រួតពិនិត្យដែលគឺជាការចាំបាច់សម្រាប់ការរកឃើញទទួលបានជោគជ័យនៃពិការភាពនៃកូដ។ ពួកគេគឺជាការចាំបាច់ដើម្បីគ្រប់គ្រងកម្មវិធីត្រឹមត្រូវ។ តើអ្វីដែលត្រូវបានរួមបញ្ចូលនៅក្នុងការធ្វើតេស្តនេះ? វាមានទិន្នន័យនិងតម្លៃដំបូងរបស់ពួកគេគួរត្រូវបានទទួលបានដែលជាលទ្ឋផលនេះ (ឬមធ្យម) ។ នៅក្នុងគោលបំណងដើម្បីកំណត់អត្តសញ្ញាណដោយជោគជ័យបញ្ហានិងភាពពុំត្រឹមត្រូវ, ការធ្វើតេស្តគួរតែមានបន្ទាប់ពីក្បួនដោះស្រាយត្រូវបានបង្កើតឡើងប៉ុន្តែមិនបានចាប់ផ្តើមការសរសេរកម្មវិធី។ វាគឺជាការចង់បានក្នុងការប្រើវិធីសាស្រ្តជាច្រើនដើម្បីប៉ាន់ប្រមាណទិន្នន័យដែលបានទាមទារ។ ក្នុងករណីនេះការបង្កើនប្រូបាប៊ីលីតេនៃការរកឃើញកំហុសមួយព្រោះអ្នកអាចពិនិត្យមើលកូដពីទស្សនៈផ្សេងគ្នា។ ការធ្វើតេស្តស្មុគ្រស្មាញត្រូវតែផ្ដល់ការផ្ទៀងផ្ទាត់ផលប៉ះពាល់ខាងក្រៅនៃផលិតផលផ្នែកទន់បានបញ្ចប់ព្រមទាំងក្បួនដោះស្រាយការងាររបស់គាត់។ ចាប់អារម្មណ៍ជាពិសេសអន់ថយនិងផ្តល់ជូននូវករណីតិចតួច។ ដូច្នេះនៅក្នុងការអនុវត្តនៃកំហុសជាញឹកញាប់អាចបង្ហាញថាប្រតិបត្តិការនៅក្នុងវដ្តមួយឬច្រើនដងតិចជាងការគ្រោងទុក។ សំខាន់ផងដែរគឺជាការធ្វើតេស្តកុំព្យូទ័រ, តាមរយៈការដែលអ្នកអាចបញ្ជាក់ថាលទ្ធផលដែលអ្នកចង់បាននៅលើម៉ាស៊ីនផ្សេងគ្នា។ នេះគឺជាការចាំបាច់ដើម្បីធ្វើឱ្យប្រាកដថាកម្មវិធីនេះនឹងធ្វើនៅលើកុំព្យូទ័រទាំងអស់។ លើសពីនេះទៀតការធ្វើតេស្តកុំព្យូទ័ររបស់អ្នក, នៅលើដែលការអភិវឌ្ឍនេះនឹងត្រូវបានអនុវត្តក្នុងការបង្កើតគឺមានសារៈសំខាន់នៃការអភិវឌ្ឍពហុវេទិកានេះ។

សិល្បៈដោះស្រាយបញ្ហា

កម្មវិធីជាញឹកញាប់មានបំណងធ្វើការជាមួយសំណុំទិន្នន័យធំ។ វាគឺជាការចាំបាច់ដើម្បីបង្កើតទាំងស្រុង? លេខ ការរីករាលដាលបានទទួលការអនុវត្តន៍នៃ "តូច" នៃកម្មវិធីនេះ។ ក្នុងករណីនេះមានការកាត់បន្ថយបរិមាណសមរម្យបើប្រៀបធៀបជាមួយនឹងទិន្នន័យដែលនឹងត្រូវបានប្រើ។ សូមមើលឧទាហរណ៍មួយ: មានគឺជាកម្មវិធីមួយដែលបង្កើតម៉ាទ្រីសនៃ 50x50 ទំហំ។ នៅក្នុងពាក្យផ្សេងទៀត - អ្នកត្រូវតែបញ្ចូលតម្លៃ 2500 ដោយដៃ។ វាគឺពិតជាអាចធ្វើទៅបាន, ប៉ុន្តែវានឹងត្រូវការពេលវេលាយូរណាស់។ ប៉ុន្តែនៅក្នុងគោលបំណងដើម្បីសាកល្បងមុខងារកម្មវិធីនេះទទួលបានម៉ាទ្រីសដែលវិមាត្រគឺ 5x5 មួយ។ ដើម្បីធ្វើដូចនេះអ្នកត្រូវបញ្ចូលតម្លៃច្រើនជាង 25 ។ ប្រសិនបើក្នុងករណីនេះ, ប្រតិបត្តិការកំហុសធម្មតាវាមានន័យថាអ្វីគ្រប់យ៉ាងគឺស្ថិតនៅក្នុងលំដាប់។ ទោះបីជាមានចំនុចគ្រោះថ្នាក់ដែលបានកុហកនៅក្នុងការពិតដែលថាជាមួយនឹងស្ថានភាពតូចបានកើតឡើង, ជាលទ្ធផលនៅក្នុងការផ្លាស់ប្តូរក្លាយជាបណ្តោះអាសន្ននិងបាត់ទាំងស្រុងនោះទេ។ វាគឺជាការកម្រណាស់, ប៉ុន្តែនៅតែកើតមានឡើងគឺថាមានកំហុសថ្មី។

គោលបំណងអនុវត្ដបន្ដ

ការធ្វើតេស្តនេះគឺមិនមែនជាកិច្ចការងាយស្រួលដោយសារតែការពិតដែលថាដំណើរការនេះគឺជាការមិនអាចចរចាបានដើម្បី formalization ទាំងស្រុងរបស់ខ្លួន។ កម្មវិធីដែលមានទំហំធំស្ទើរតែមិនដែលមានគោលត្រឹមត្រូវចាំបាច់។ ដូច្នេះជាការណែនាំដោយការប្រើចំនួននៃទិន្នន័យដោយប្រយោល, ដែលទោះជាយ៉ាងណាមិនអាចឆ្លុះបញ្ចាំងពេញលេញលក្ខណៈនិងមុខងារនៃការអភិវឌ្ឍកម្មវិធីដែលបានបំបាត់កំហុសមួយ។ លើសពីនេះទៀតពួកគេគួរតែត្រូវបានជ្រើសដូច្នេះថាលទ្ធផលត្រឹមត្រូវបានគណនាពីមុនថាតើផលិតផលកម្មវិធីនេះនឹងត្រូវបានសាកល្បង។ ប្រសិនបើអ្នកមិនជំរុញវាត្រូវបានល្បួងឱ្យពិចារណាទាំងអស់អំពី, ហើយប្រសិនបើលទ្ធផលរបស់ម៉ាស៊ីននេះទទួលបាននៅក្នុងជួរដែលរំពឹងទុកនោះវានឹងត្រូវបានធ្វើឱ្យការសម្រេចចិត្តខុស, ថាអ្វីគ្រប់យ៉ាងគឺត្រឹមត្រូវ។

សូមពិនិត្យមើលនៅក្រោមលក្ខខណ្ឌផ្សេងគ្នា

តាមក្បួនមួយការធ្វើតេស្តកម្មវិធីបានកើតឡើងក្នុងបរិមាណដែលចាំបាច់សម្រាប់មុខងារធ្វើតេស្តអប្បបរមាដើម្បីវិសាលភាពកំណត់មួយ។ សកម្មភាពធ្វើឡើងជាមួយការផ្លាស់ប្តូរនៃប៉ារ៉ាម៉ែត្រព្រមទាំងលក្ខខណ្ឌការងាររបស់ពួកគេ។ ដំណើរការធ្វើតេស្តនេះអាចត្រូវបានបែងចែកជាបីដំណាក់កាល:

• សូមពិនិត្យមើលនៅក្រោមលក្ខខណ្ឌធម្មតា។ ក្នុងករណីនេះយើងសាកល្បងមុខងារជាមូលដ្ឋាននៃកម្មវិធីដែលបានបង្កើតនេះ។ លទ្ធផលនេះត្រូវតែទាក់ទងទៅនឹងការរំពឹងទុក។
• សូមពិនិត្យមើលក្នុងស្ថានភាពធ្ងន់ធ្ងរ។ នៅក្នុងករណីទាំងនេះដែលជាមានន័យដូចនឹងទិន្នន័យព្រំដែនដែលប៉ះនឹងប៉ះពាល់ដល់សមត្ថភាពនៃកម្មវិធីដែលបានបង្កើតឡើងនេះ។ ជាឧទាហរណ៍យើងធ្វើការជាមួយមួយចំនួនដែលមានទំហំធំឬតូចខ្លាំងណាស់សូម្បីតែអវត្តមានពេញលេញឬការពទទួល។
• ពិនិត្យមើលនៅក្នុងស្ថានភាពពិសេស។ វាពាក់ព័ន្ធនឹងការប្រើប្រាស់នៃទិន្នន័យដែលមានលើសពីការព្យាបាល។ នៅក្នុងស្ថានភាពបែបនេះវាគឺជាការអាក្រក់ណាស់នៅពេលដែលកម្មវិធីដែលបានដឹងពួកគេជាមានប្រយោជន៍ក្នុងការគណនានិងការផ្តល់នូវលទ្ធផលជឿទុកចិត្តបាន។ ការថែទាំត្រូវតែត្រូវបានយកថានៅក្នុងករណីបែបនេះគឺមានការបដិសេធនៃទិន្នន័យណាមួយដែលមិនអាចត្រូវបានដំណើរការបានយ៉ាងត្រឹមត្រូវមួយ។ វាគឺជាការចាំបាច់ផងដែរក្នុងការផ្តល់នូវការសម្រាប់ការជូនដំណឹងដល់អ្នកប្រើអំពីវា

ការធ្វើតេស្ត: ប្រភេទ

បង្កើតកម្មវិធីកុំព្យូទ័រដោយគ្មានកំហុសគឺមានការលំបាកខ្លាំងណាស់។ នេះតម្រូវឱ្យមានចំនួនទឹកប្រាក់សន្ធឹកសន្ធាប់នៃពេលវេលា។ ដើម្បីទទួលបានផលិតផលល្អត្រូវបានជាញឹកញាប់ត្រូវបានគេប្រើធ្វើតេស្តពីរប្រភេទ: "អាល់ហ្វា" និង "បេតា" ។ តើមានអ្វីខ្លះ? នៅពេលដែលមនុស្សនិយាយអំពីការធ្វើតេស្តអាល់ហ្វាវាមានន័យថាការពិនិត្យឡើងវិញដែលនឹងត្រូវបានធ្វើឡើងនៅក្នុងរដ្ឋដោយខ្លួនឯងអភិវឌ្ឍលក្ខខណ្ឌ "ពិសោធន៍" នេះ។ នេះជាដំណាក់កាលចុងក្រោយនៃការធ្វើតេស្តមុនពេលដែលកម្មវិធីនេះនឹងត្រូវបានផ្ទេរទៅឱ្យអ្នកប្រើប្រាស់។ ដូច្នេះអ្នកអភិវឌ្ឍន៍កំពុងព្យាយាមបើកនៅជុំវិញអតិបរមា។ សម្រាប់ភាពងាយស្រួលនៃការប្រតិបត្តិការ, ទិន្នន័យអាចត្រូវបានចូលទៅបង្កើតកាលប្បវត្តិនៃបញ្ហានិងដំណោះស្រាយរបស់ពួកគេ។ នៅក្រោមការធ្វើតេស្តបេតានេះដើម្បីយល់ដឹងពីការផ្គត់ផ្គង់នៃកម្មវិធីទៅមានចំនួនកំណត់នៃអ្នកប្រើប្រាស់, ដូច្នេះពួកគេអាចទាញយកកម្មវិធីនេះនិងការកំណត់អត្តសញ្ញាណកំហុសដែលអ្នកបានខកខាន។ លក្ខណៈពិសេសមួយក្នុងករណីនេះគឺជាការពិតដែលថាជាញឹកញាប់កម្មវិធីនេះមិនត្រូវបានប្រើសម្រាប់គោលបំណងរបស់ខ្លួន។ ដោយសារតែការបរាជ័យនេះនឹងត្រូវបានកំណត់អត្តសញ្ញាណដែលជាកន្លែងដែលមានអ្វីដែលគេមើលឃើញពីមុនមក។ នេះគឺជាការពិតជាព្រួយបារម្ភអំពីការធម្មតានិងវាគឺមិនចាំបាច់។

បញ្ចប់ការធ្វើតេស្ត

ប្រសិនបើមានជំហានមុនត្រូវបានបញ្ចប់ដោយជោគជ័យវានៅតែអនុវត្តការធ្វើតេស្តការទទួលយក។ លោកក្នុងករណីនេះបានក្លាយទៅជាការបង្គ្រប់កិច្ចប៉ុណ្ណោះ។ ក្នុងអំឡុងពេលធ្វើតេស្តនេះបានភ្ជាប់មកជាការបញ្ជាក់ថាមិនមានបញ្ហាបន្ថែមទៀតត្រូវបានរកឃើញនិងកម្មវិធីដែលអាចត្រូវបានចេញផ្សាយនៅលើទីផ្សារ។ អ្វីដែលសំខាន់បំផុតនឹងមានលទ្ធផលចុងបញ្ចប់នេះបន្ថែមទៀតយ៉ាងជិតស្និទ្ធវានឹងត្រូវបានផ្ទៀងផ្ទាត់។ ថែទាំគួរតែត្រូវបានយកដើម្បីធានាថាជំហានទាំងអស់ត្រូវបានបញ្ចប់ដោយជោគជ័យ។ ខាងក្រោមនេះគឺជាការធ្វើតេស្តនេះថាជាដំណើរការទាំងមូល។ ឥឡូវចូរយើងបច្ចេកទេសលម្អិតនិងការនិយាយអំពីឧបករណ៍មួយដែលមានសារៈប្រយោជន៍ដូចជា, ដូចជាកម្មវិធីធ្វើតេស្តនេះ។ អ្វីដែលពួកគេមានហើយនៅពេលដែលបានប្រើ?

ការធ្វើតេស្តកុំព្យូទ័រជួយ

កាលពីមុនវាត្រូវបានគេគិតថាការវិភាគថាមវន្តនៃកម្មវិធីដែលបានបង្កើត - វាគឺជាវិធីសាស្រ្តដែលបានប្រើផងដែរធ្ងន់ប្រសិទ្ធិភាពដើម្បីរកឱ្យឃើញពិការភាព។ ប៉ុន្តែដោយសារតែការកើនឡើងស្មុគស្មាញនិងទំហំនៃកម្មវិធីនេះបានបង្ហាញខ្លួនទិដ្ឋភាពផ្ទុយគ្នា។ ការធ្វើតេស្តដោយស្វ័យប្រវត្តិត្រូវបានប្រើជាកន្លែងដែលមានអាទិភាពសំខាន់បំផុតគឺមានប្រសិទ្ធិភាពនិងសុវត្ថិភាព។ ហើយពួកគេគួរតែត្រូវបានស្ថិតក្រោមការបញ្ចូលណាមួយ។ ជាឧទាហរណ៍កម្មវិធីដែលវាជាការសមរម្យដើម្បីធ្វើតេស្តបែបនេះរួមមានដូចខាងក្រោម: ពិធីការបណ្តាញ, ម៉ាស៊ីនបម្រើបណ្តាញ, sandboxing ។ យើងបន្តទៅមើលនៅគំរូមួយចំនួនដែលអាចត្រូវបានប្រើសម្រាប់សកម្មភាពបែបនេះ។ ប្រសិនបើអ្នកមានចំណាប់អារម្មណ៍នៅក្នុងកម្មវិធីការធ្វើតេស្តដោយឥតគិតថ្លៃដែលមានគុណភាពគឺជាការលំបាកក្នុងការស្វែងរកនៅក្នុងចំណោមពួកគេ។ ប៉ុន្តែមានត្រូវបានបង្ក្រាបកំណែ "លួច" នៃគម្រោងបង្កើតឡើងយ៉ាងល្អដូច្នេះអ្នកអាចយោងទៅសេវាកម្មរបស់ពួកគេ។

ផ្ទាំងទឹកកក

ឧបករណ៍នេះអាចជួយក្នុងការរកឃើញភាពមិនប្រក្រតីត្រូវបានសាកល្បងកម្មវិធីនៅក្នុងរបៀបវិភាគថាមវន្ត។ វាបានប្រមូលទិន្នន័យនិងការវិភាគពីការអនុវត្តនៃវត្ថុបទដែលបានរចនាឡើងនេះ។ អ្នកសាកល្បងនេះត្រូវបានផ្ដល់សំណុំនៃធាតុចូលដែលបានបណ្តាលឱ្យមានកំហុសឬចៀសវៀងសំណុំឧបសគ្គមួយដែលមានស្រាប់។ សូមអរគុណចំពោះការធ្វើតេស្តល្អនៃក្បួនដោះស្រាយដែលបានបង្កើតឡើងដោយមួយចំនួនធំនៃស្ថានភាពដែលអាចធ្វើបាន។ កម្មវិធីនេះបានទទួលសំណុំផ្សេងគ្នានៃការបញ្ចូលទិន្នន័យដែលបានអនុញ្ញាតឱ្យក្លែងធ្វើមួយចំនួនធំនៃស្ថានភាពនិងការបង្កើតលក្ខខណ្ឌដែលក្នុងនោះភាគច្រើនទំនងជាការកើតឡើងនៃការបរាជ័យមួយ។ អត្ថប្រយោជន៍សំខាន់នៃកម្មវិធីនេះគឺការប្រើប្រាស់កាលវិធានការណ៍ដែលស្រាវជ្រាវ។ ប្រសិនបើមានបញ្ហាជាមួយ, បន្ទាប់មកមានកំហុសកម្មវិធីនេះគឺទំនងជាខ្ពស់។ ប៉ុន្តែកម្មវិធីនេះគឺមានដែនកំណត់ដូចជាការតែមួយគត់ដែលបានសម្គាល់រន្ធបញ្ចូលពិនិត្យឬឯកសារ។ នៅពេលដែលការយកចេញពីប្រតិបត្ដិការដូចជាកម្មវិធីធ្វើតេស្តនឹងមានពលម្អិតអំពីបញ្ហានេះជាមួយនឹងព្រួញទទេនោះរង្វិលជុំមិនកំណត់អាសយដ្ឋានត្រឹមត្រូវឬមានបញ្ហាមិនប្រក្រតីដោយសារតែការប្រើប្រាស់នៃបណ្ណាល័យនេះ។ ជាការពិតណាស់នេះមិនមែនជាបញ្ជីពេញលេញនៃកំហុសដែលបានរកឃើញនិងឧទាហរណ៍ទូទៅតែប៉ុណ្ណោះរបស់ខ្លួន។ កង្វះកែគួរឱ្យសោកស្ដាយ, មានអ្នកអភិវឌ្ឍន៍ - មធ្យោបាយស្វ័យប្រវត្តិគឺមិនសមស្របសម្រាប់គោលបំណងទាំងនេះ។

KLEE

វាជាកម្មវិធីល្អសម្រាប់ការសាកល្បងអង្គចងចាំ។ វាអាចរារាំងការហៅទូរស័ព្ទប្រហែល 50 និងប្រព័ន្ធមួយចំនួនធំនៃដំណើរការនិម្មិតដូច្នេះប្រតិបត្តិស្របគ្នាឬដោយឡែកពីគ្នា។ ប៉ុន្តែនៅក្នុងទូទៅ, កម្មវិធីនេះគឺមិនត្រូវបានកំពុងតែស្វែងរកកន្លែងគួរឱ្យសង្ស័យមួយចំនួន, និងកែច្នៃចំនួនអតិបរមាដែលអាចធ្វើបាននៃការវិភាគត្រូវបានគេប្រើលេខកូដនិងផ្លូវទិន្នន័យ។ ដោយសារតែនេះជាកម្មវិធីធ្វើតេស្តនេះគឺអាស្រ័យលើទំហំនៃវត្ថុ។ ពេលពិនិត្យមើលការភ្នាល់នេះត្រូវបានដាក់នៅលើដំណើរការនិមិត្តសញ្ញា។ ពួកគេគឺជាវិធីមួយដែលអាចធ្វើបានដើម្បីអនុវត្តភារកិច្ចនៅក្នុងកម្មវិធីមួយដែលត្រូវបានសាកល្បងមួយ។ សូមអរគុណដល់ប្រតិបត្ដិការនេះគឺអាចធ្វើទៅបានស្របគ្នាដើម្បីវិភាគមួយចំនួនធំនៃវ៉ារ្យ៉ង់នៃការងាររបស់កម្មវិធីធ្វើតេស្តនេះ។ ផ្លូវគ្នានៃសំណុំទិន្នន័យដែលត្រូវបានរក្សាទុកបន្ទាប់ពីការបញ្ចូលការធ្វើតេស្តរបស់ខ្លួនដែលបានចាប់ផ្តើមជាមួយនឹងការធីក។ វាគួរតែត្រូវបានកត់សម្គាល់ថាការធ្វើតេស្តដោយប្រើប្រាស់ KLEE កម្មវិធីដើម្បីកំណត់អត្តសញ្ញាណបានជួយមួយចំនួនធំនៃការប្រែប្រួលដែលមិនគួរមាន។ វាអាចរកឃើញបញ្ហាសូម្បីតែនៅក្នុងកម្មវិធីដែលត្រូវបានបង្កើតឡើងសម្រាប់ទសវត្សរ៍មកហើយ។