ການວິເຄາະຄໍາຫມັ້ນສັນຍາແລະດຶງຄໍາຮ້ອງຂໍໃນ Travis CI, Buddy ແລະ AppVeyor ໂດຍໃຊ້ PVS-Studio

ໃນຕົວວິເຄາະ PVS-Studio ສໍາລັບພາສາ C ແລະ C ++ ໃນ Linux ແລະ macOS, ເລີ່ມຕົ້ນຈາກຮຸ່ນ 7.04, ຕົວເລືອກການທົດສອບໄດ້ປາກົດຂຶ້ນເພື່ອກວດເບິ່ງບັນຊີລາຍຊື່ຂອງໄຟລ໌ທີ່ລະບຸໄວ້. ການ​ນໍາ​ໃຊ້​ຮູບ​ແບບ​ໃຫມ່​, ທ່ານ​ສາ​ມາດ​ກໍາ​ນົດ​ຄ່າ​ເຄື່ອງ​ວິ​ເຄາະ​ເພື່ອ​ກວດ​ກາ​ເບິ່ງ commits ແລະ​ດຶງ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ​. ບົດຄວາມນີ້ຈະບອກທ່ານກ່ຽວກັບວິທີຕັ້ງຄ່າການກວດສອບໄຟລ໌ທີ່ມີການປ່ຽນແປງຂອງໂຄງການ GitHub ໃນລະບົບ CI (Continuous Integration) ທີ່ນິຍົມເຊັ່ນ Travis CI, Buddy ແລະ AppVeyor.

ຮູບແບບການກວດສອບລາຍການໄຟລ໌

PVS Studio ເປັນເຄື່ອງມືສໍາລັບການກໍານົດຄວາມຜິດພາດແລະຈຸດອ່ອນທີ່ອາດມີຢູ່ໃນລະຫັດແຫຼ່ງຂອງບັນດາໂຄງການທີ່ຂຽນໃນ C, C ++, C # ແລະ Java. ເຮັດວຽກຢູ່ໃນລະບົບ 64-bit ໃນ Windows, Linux ແລະ macOS.

ໃນເວີຊັ່ນ PVS-Studio 7.04 ສໍາລັບ Linux ແລະ macOS, ຮູບແບບການກວດສອບລາຍການໄຟລ໌ຕົ້ນສະບັບໄດ້ປະກົດຂຶ້ນ. ນີ້ເຮັດວຽກສໍາລັບໂຄງການທີ່ລະບົບການກໍ່ສ້າງອະນຸຍາດໃຫ້ທ່ານສ້າງໄຟລ໌ compile_commands.json. ມັນເປັນສິ່ງຈໍາເປັນສໍາລັບນັກວິເຄາະເພື່ອສະກັດຂໍ້ມູນກ່ຽວກັບການລວບລວມໄຟລ໌ທີ່ລະບຸໄວ້. ຖ້າລະບົບການກໍ່ສ້າງຂອງທ່ານບໍ່ສະຫນັບສະຫນູນການສ້າງໄຟລ໌ compile_commands.json, ທ່ານສາມາດພະຍາຍາມສ້າງໄຟລ໌ດັ່ງກ່າວໂດຍໃຊ້ປະໂຫຍດ. ຮັບຜິດຊອບ.

ນອກຈາກນີ້, ຮູບແບບການກວດສອບລາຍການໄຟລ໌ສາມາດຖືກນໍາໃຊ້ຮ່ວມກັນກັບບັນທຶກການຕິດຕາມ strace ຂອງການເປີດຕົວ compiler (pvs-studio-analyzer trace). ເພື່ອເຮັດສິ່ງນີ້, ທ່ານຈໍາເປັນຕ້ອງໄດ້ດໍາເນີນການສ້າງໂຄງການຢ່າງເຕັມທີ່ແລະຕິດຕາມມັນເພື່ອໃຫ້ຜູ້ວິເຄາະເກັບກໍາຂໍ້ມູນຄົບຖ້ວນສົມບູນກ່ຽວກັບຕົວກໍານົດການລວບລວມຂອງໄຟລ໌ທັງຫມົດທີ່ຖືກກວດສອບ.

ຢ່າງໃດກໍຕາມ, ທາງເລືອກນີ້ມີຂໍ້ບົກຜ່ອງທີ່ສໍາຄັນ - ທ່ານກໍ່ຈະຕ້ອງປະຕິບັດການຕິດຕາມການກໍ່ສ້າງທັງຫມົດຂອງໂຄງການທັງຫມົດທຸກຄັ້ງທີ່ທ່ານດໍາເນີນການ, ເຊິ່ງໃນຕົວຂອງມັນເອງກົງກັນຂ້າມກັບຄວາມຄິດຂອງການກວດສອບໄວ. ຫຼື, ຖ້າທ່ານ cache ຜົນ trace ຕົວມັນເອງ, ການແລ່ນຕໍ່ໄປຂອງການວິເຄາະອາດຈະບໍ່ຄົບຖ້ວນສົມບູນຖ້າໂຄງສ້າງການເພິ່ງພາອາໄສຂອງໄຟລ໌ແຫຼ່ງມີການປ່ຽນແປງຫຼັງຈາກການຕິດຕາມ (ຕົວຢ່າງ, #include ໃຫມ່ຖືກເພີ່ມໃສ່ຫນຶ່ງໃນໄຟລ໌ແຫຼ່ງ).

ດັ່ງນັ້ນ, ພວກເຮົາບໍ່ແນະນໍາໃຫ້ໃຊ້ໂຫມດການກວດສອບລາຍການໄຟລ໌ທີ່ມີບັນທຶກການຕິດຕາມເພື່ອກວດເບິ່ງຄໍາຮ້ອງຂໍຫຼືດຶງຄໍາຮ້ອງຂໍ. ໃນ​ກໍ​ລະ​ນີ​ທີ່​ທ່ານ​ສາ​ມາດ​ເຮັດ​ໄດ້ incremental build ໃນ​ເວ​ລາ​ທີ່​ການ​ກວດ​ສອບ​ຄໍາ​ຫມັ້ນ​ສັນ​ຍາ​, ພິ​ຈາ​ລະ​ນາ​ການ​ນໍາ​ໃຊ້​ຮູບ​ແບບ​ການ​ ການ​ວິ​ເຄາະ​ເພີ່ມ​ເຕີມ​.

ບັນຊີລາຍຊື່ຂອງໄຟລ໌ແຫຼ່ງສໍາລັບການວິເຄາະແມ່ນຖືກບັນທຶກໄວ້ໃນໄຟລ໌ຂໍ້ຄວາມແລະຖືກສົ່ງໄປຫາຜູ້ວິເຄາະໂດຍໃຊ້ພາລາມິເຕີ -S:

pvs-studio-analyzer analyze ... -f build/compile_commands.json -S check-list.txt

ໄຟລ໌ນີ້ລະບຸເສັ້ນທາງທີ່ກ່ຽວຂ້ອງ ຫຼືຢ່າງແທ້ຈິງໄປຫາໄຟລ໌, ແລະແຕ່ລະໄຟລ໌ໃໝ່ຈະຕ້ອງຢູ່ໃນແຖວໃໝ່. ມັນເປັນທີ່ຍອມຮັບທີ່ຈະລະບຸບໍ່ພຽງແຕ່ຊື່ໄຟລ໌ສໍາລັບການວິເຄາະ, ແຕ່ຍັງຂໍ້ຄວາມຕ່າງໆ. ນັກວິເຄາະຈະເຫັນວ່ານີ້ບໍ່ແມ່ນໄຟລ໌ແລະຈະບໍ່ສົນໃຈສາຍ. ນີ້ສາມາດເປັນປະໂຫຍດສໍາລັບການສະແດງຄວາມຄິດເຫັນຖ້າໄຟລ໌ຖືກລະບຸດ້ວຍຕົນເອງ. ຢ່າງໃດກໍຕາມ, ເລື້ອຍໆບັນຊີລາຍຊື່ຂອງໄຟລ໌ຈະຖືກສ້າງຂື້ນໃນລະຫວ່າງການວິເຄາະໃນ CI, ສໍາລັບຕົວຢ່າງ, ເຫຼົ່ານີ້ອາດຈະເປັນໄຟລ໌ທີ່ມາຈາກຄໍາຮ້ອງຂໍຫຼືດຶງ.

ໃນປັດຈຸບັນ, ການນໍາໃຊ້ຮູບແບບນີ້, ທ່ານສາມາດກວດສອບລະຫັດໃຫມ່ຢ່າງໄວວາກ່ອນທີ່ມັນຈະເຂົ້າໄປໃນສາຂາການພັດທະນາຕົ້ນຕໍ. ເພື່ອຮັບປະກັນວ່າລະບົບການສະແກນຕອບສະຫນອງຕໍ່ການເຕືອນຂອງການວິເຄາະ, ຜົນປະໂຫຍດ ຕົວແປງສັນຍານ ເພີ່ມທຸງແລ້ວ -- ຊີ້ບອກ-ເຕືອນ:

plog-converter ... --indicate-warnings ... -o /path/to/report.tasks ...

ດ້ວຍທຸງນີ້, ຕົວແປງສັນຍານຈະສົ່ງຄືນລະຫັດທີ່ບໍ່ແມ່ນສູນຖ້າມີຄໍາເຕືອນໃນບົດລາຍງານການວິເຄາະ. ການນໍາໃຊ້ລະຫັດການສົ່ງຄືນ, ທ່ານສາມາດບລັອກການຮ້ອງຂໍ precommit, commit, ຫຼືດຶງ, ແລະບົດລາຍງານການວິເຄາະທີ່ສ້າງຂຶ້ນສາມາດສະແດງ, ແບ່ງປັນ, ຫຼືສົ່ງທາງອີເມລ໌.

ຫມາຍ​ເຫດ​. ໃນເວລາທີ່ທ່ານທໍາອິດເລີ່ມຕົ້ນການວິເຄາະບັນຊີລາຍຊື່ຂອງໄຟລ໌, ໂຄງການທັງຫມົດຈະຖືກວິເຄາະ, ເພາະວ່າ ການວິເຄາະຕ້ອງສ້າງໄຟລ໌ທີ່ຂຶ້ນກັບໄຟລ໌ແຫຼ່ງໂຄງການຢູ່ໃນໄຟລ໌ header. ນີ້ແມ່ນຄຸນສົມບັດຂອງການວິເຄາະໄຟລ໌ C ແລະ C ++. ໃນອະນາຄົດ, ໄຟລ໌ dependency ສາມາດຖືກເກັບໄວ້ໃນຖານຄວາມຈໍາແລະມັນຈະຖືກປັບປຸງໂດຍອັດຕະໂນມັດໂດຍເຄື່ອງວິເຄາະ. ປະໂຫຍດຂອງການກວດສອບ commits ໃນເວລາທີ່ນໍາໃຊ້ຮູບແບບການກວດສອບບັນຊີລາຍຊື່ໄຟລ໌ໃນໄລຍະການນໍາໃຊ້ຮູບແບບການວິເຄາະ incremental ແມ່ນວ່າທ່ານພຽງແຕ່ຕ້ອງການ cache ໄຟລ໌ນັ້ນແລະບໍ່ແມ່ນໄຟລ໌ວັດຖຸ.

ຫຼັກການທົ່ວໄປຂອງການວິເຄາະການຮ້ອງຂໍດຶງ

ການວິເຄາະໂຄງການທັງຫມົດໃຊ້ເວລາຫຼາຍ, ສະນັ້ນມັນເຮັດໃຫ້ຄວາມຮູ້ສຶກທີ່ຈະກວດສອບພຽງແຕ່ບາງສ່ວນຂອງມັນ. ບັນຫາແມ່ນວ່າທ່ານຕ້ອງການແຍກໄຟລ໌ໃຫມ່ຈາກສ່ວນທີ່ເຫຼືອຂອງໄຟລ໌ໂຄງການ.

ຂໍໃຫ້ເບິ່ງຕົວຢ່າງຂອງຕົ້ນໄມ້ທີ່ມີສອງສາຂາ:

ຂໍ​ໃຫ້​ນຶກ​ພາບ​ເຖິງ​ຄຳ​ໝັ້ນ​ສັນຍາ​ນັ້ນ A1 ປະກອບມີຈໍານວນລະຫັດຂະຫນາດໃຫຍ່ພໍສົມຄວນທີ່ໄດ້ຮັບການທົດສອບແລ້ວ. ກ່ອນ​ໜ້າ​ນັ້ນ​ໜ້ອຍ​ໜຶ່ງ​ພວກ​ເຮົາ​ໄດ້​ສ້າງ​ສາຂາ​ຈາກ​ຄຳ​ໝັ້ນ​ສັນຍາ A1 ແລະປ່ຽນບາງໄຟລ໌.

ທ່ານ, ແນ່ນອນ, ສັງເກດເຫັນວ່າຫຼັງຈາກນັ້ນ A1 ສອງຄໍາຫມັ້ນສັນຍາເພີ່ມເຕີມໄດ້ເກີດຂຶ້ນ, ແຕ່ເຫຼົ່ານີ້ແມ່ນການລວມຕົວຂອງສາຂາອື່ນໆ, ເພາະວ່າພວກເຮົາບໍ່ຫມັ້ນສັນຍາ. ຕົ້ນສະບັບ. ແລະດຽວນີ້ເຖິງເວລາແລ້ວ hotfix ພ້ອມ. ນັ້ນແມ່ນເຫດຜົນທີ່ວ່າຄໍາຮ້ອງຂໍດຶງສໍາລັບການລວມຕົວໄດ້ປາກົດຂຶ້ນ B3 и A3.

ແນ່ນອນ, ມັນເປັນໄປໄດ້ທີ່ຈະກວດເບິ່ງຜົນໄດ້ຮັບທັງຫມົດຂອງການລວມຕົວຂອງພວກເຂົາ, ແຕ່ນີ້ຈະເປັນການໃຊ້ເວລາຫຼາຍເກີນໄປແລະບໍ່ສົມເຫດສົມຜົນ, ເພາະວ່າມີພຽງແຕ່ໄຟລ໌ຈໍານວນຫນ້ອຍທີ່ມີການປ່ຽນແປງ. ດັ່ງນັ້ນ, ມັນມີປະສິດທິພາບຫຼາຍໃນການວິເຄາະພຽງແຕ່ສິ່ງທີ່ມີການປ່ຽນແປງ.

ເພື່ອເຮັດສິ່ງນີ້, ພວກເຮົາໄດ້ຮັບຄວາມແຕກຕ່າງລະຫວ່າງສາຂາ, ຢູ່ໃນຫົວຂອງສາຂາທີ່ພວກເຮົາຕ້ອງການທີ່ຈະລວມເຂົ້າເປັນແມ່ບົດ:

git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list

$MERGE_BASE ພວກເຮົາຈະເບິ່ງມັນໃນລາຍລະອຽດຕໍ່ມາ. ຄວາມຈິງແມ່ນວ່າບໍ່ແມ່ນທຸກໆບໍລິການ CI ສະຫນອງຂໍ້ມູນທີ່ຈໍາເປັນກ່ຽວກັບຖານຂໍ້ມູນສໍາລັບການລວມຕົວ, ດັ່ງນັ້ນແຕ່ລະຄັ້ງທີ່ເຈົ້າຕ້ອງມາກັບວິທີການໃຫມ່ເພື່ອໃຫ້ໄດ້ຂໍ້ມູນນີ້. ນີ້ຈະຖືກອະທິບາຍລາຍລະອຽດຂ້າງລຸ່ມນີ້ໃນແຕ່ລະການບໍລິການເວັບທີ່ອະທິບາຍ.

ດັ່ງນັ້ນ, ພວກເຮົາໄດ້ຮັບຄວາມແຕກຕ່າງລະຫວ່າງສາຂາ, ຫຼືແທນທີ່ຈະ, ບັນຊີລາຍຊື່ຂອງຊື່ໄຟລ໌ທີ່ມີການປ່ຽນແປງ. ໃນປັດຈຸບັນພວກເຮົາຈໍາເປັນຕ້ອງໃຫ້ໄຟລ໌ .pvs-pr.list (ພວກ​ເຮົາ​ໄດ້​ນໍາ​ທິດ​ຜົນ​ຜະ​ລິດ​ຂ້າງ​ເທິງ​ກັບ​ມັນ​) ກັບ​ການ​ວິ​ເຄາະ​:

pvs-studio-analyzer analyze -j8 
                            -o PVS-Studio.log 
                            -S .pvs-pr.list

ຫຼັງຈາກການວິເຄາະ, ພວກເຮົາຈໍາເປັນຕ້ອງໄດ້ປ່ຽນໄຟລ໌ບັນທຶກ (PVS-Studio.log) ເຂົ້າໄປໃນຮູບແບບທີ່ງ່າຍຕໍ່ການອ່ານ:

plog-converter -t errorfile PVS-Studio.log --cerr -w

ຄໍາສັ່ງນີ້ຈະສະແດງຂໍ້ຜິດພາດໃນ stderr (ຜົນ​ຜະ​ລິດ​ຂໍ້​ຄວາມ​ຜິດ​ພາດ​ມາດ​ຕະ​ຖານ​)​.

ພຽງແຕ່ໃນປັດຈຸບັນພວກເຮົາຈໍາເປັນຕ້ອງບໍ່ພຽງແຕ່ສະແດງຂໍ້ຜິດພາດ, ແຕ່ຍັງແຈ້ງການບໍລິການຂອງພວກເຮົາສໍາລັບການປະກອບແລະການທົດສອບກ່ຽວກັບການປະກົດຕົວຂອງບັນຫາ. ສໍາລັບຈຸດປະສົງນີ້, ທຸງຖືກເພີ່ມໃສ່ຕົວແປງສັນຍານ -W (-- ຊີ້ບອກ-ເຕືອນ). ຖ້າມີຢ່າງຫນ້ອຍຫນຶ່ງຄໍາເຕືອນຂອງການວິເຄາະ, ລະຫັດກັບຄືນຜົນປະໂຫຍດ ຕົວແປງສັນຍານ ຈະປ່ຽນເປັນ 2, ເຊິ່ງໃນນັ້ນຈະແຈ້ງໃຫ້ບໍລິການ CI ກ່ຽວກັບການປະກົດຕົວຂອງຄວາມຜິດພາດທີ່ອາດຈະເກີດຂຶ້ນໃນໄຟລ໌ຄໍາຮ້ອງຂໍການດຶງ.

Travis C.I.

ການຕັ້ງຄ່າແມ່ນເຮັດເປັນໄຟລ໌ .travis.yml. ເພື່ອຄວາມສະດວກ, ຂ້າພະເຈົ້າແນະນໍາໃຫ້ທ່ານເອົາທຸກສິ່ງທຸກຢ່າງເຂົ້າໄປໃນ script bash ແຍກຕ່າງຫາກທີ່ມີຫນ້າທີ່ຈະຖືກເອີ້ນຈາກໄຟລ໌. .travis.yml (bash script_name.sh function_name).

ພວກເຮົາຈະເພີ່ມລະຫັດທີ່ຈໍາເປັນໃຫ້ກັບ script ຢູ່ bash, ດ້ວຍວິທີນີ້, ພວກເຮົາຈະໄດ້ຮັບຫນ້າທີ່ເພີ່ມເຕີມ. ໃນພາກ ການຕິດຕັ້ງ ໃຫ້ຂຽນຕໍ່ໄປນີ້:

install:
  - bash .travis.sh travis_install

ຖ້າທ່ານມີຄໍາແນະນໍາໃດໆ, ທ່ານສາມາດໂອນພວກມັນເຂົ້າໄປໃນສະຄິບ, ຖອນການຍັບຍັ້ງອອກ.

ໃຫ້ເປີດໄຟລ໌ .travis.sh ແລະເພີ່ມການຕັ້ງຄ່າຕົວວິເຄາະໃສ່ຫນ້າທີ່ travis_install():

travis_install() {
  wget -q -O - https://files.viva64.com/etc/pubkey.txt 
    | sudo apt-key add -
  sudo wget -O /etc/apt/sources.list.d/viva64.list 
    https://files.viva64.com/etc/viva64.list
  
  sudo apt-get update -qq
  sudo apt-get install -qq pvs-studio 
}

ຕອນນີ້ໃຫ້ຕື່ມໃສ່ສ່ວນ script ດໍາເນີນການວິເຄາະ:

script:
  - bash .travis.sh travis_script

ແລະໃນ bash script:

travis_script() {
  pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY
  
  if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
    git diff --name-only origin/HEAD > .pvs-pr.list
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                -S .pvs-pr.list 
                                --disableLicenseExpirationCheck
  else
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                --disableLicenseExpirationCheck
  fi
  
  plog-converter -t errorfile PVS-Studio.log --cerr -w
}

ລະຫັດນີ້ຈໍາເປັນຕ້ອງດໍາເນີນການຫຼັງຈາກການກໍ່ສ້າງໂຄງການ, ຕົວຢ່າງ, ຖ້າທ່ານມີການກໍ່ສ້າງໃນ CMake:

travis_script() {
  CMAKE_ARGS="-DCMAKE_EXPORT_COMPILE_COMMANDS=On ${CMAKE_ARGS}"
  cmake $CMAKE_ARGS CMakeLists.txt
  make -j8
}

ມັນຈະເປັນແບບນີ້:

travis_script() {
  CMAKE_ARGS="-DCMAKE_EXPORT_COMPILE_COMMANDS=On ${CMAKE_ARGS}"
  cmake $CMAKE_ARGS CMakeLists.txt
  make -j8
  
  pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY
  
  if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then
    git diff --name-only origin/HEAD > .pvs-pr.list
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                -S .pvs-pr.list 
                                --disableLicenseExpirationCheck
  else
    pvs-studio-analyzer analyze -j8 
                                -o PVS-Studio.log 
                                --disableLicenseExpirationCheck
  fi
  
  plog-converter -t errorfile PVS-Studio.log --cerr -w
}

ທ່ານອາດຈະໄດ້ສັງເກດເຫັນຕົວແປສະພາບແວດລ້ອມເຫຼົ່ານີ້ແລ້ວ $TRAVIS_PULL_REQUEST и $TRAVIS_BRANCH. Travis CI ປະກາດໃຫ້ເຂົາເຈົ້າເປັນເອກະລາດ:

• $TRAVIS_PULL_REQUEST ເກັບຮັກສາຈໍານວນການຮ້ອງຂໍດຶງຫຼື ທີ່ບໍ່ຖືກຕ້ອງ, ຖ້ານີ້ແມ່ນສາຂາປົກກະຕິ;
• $TRAVIS_REPO_SLUG ເກັບຮັກສາຊື່ຂອງ repository ໂຄງການ.

ສູດການຄິດໄລ່ສໍາລັບຟັງຊັນນີ້:

Travis CI ຕອບກັບລະຫັດກັບຄືນ, ດັ່ງນັ້ນການປະກົດຕົວຂອງຄໍາເຕືອນຈະບອກການບໍລິການໃຫ້ຫມາຍຄໍາຫມັ້ນສັນຍາວ່າມີຂໍ້ຜິດພາດ.

ຕອນນີ້ໃຫ້ເຮົາພິຈາລະນາເບິ່ງລະຫັດເສັ້ນນີ້ໃຫ້ລະອຽດ:

git diff --name-only origin/HEAD > .pvs-pr.list

ຄວາມຈິງແລ້ວແມ່ນວ່າ Travis CI ອັດຕະໂນມັດຈະລວມສາຂາໃນຂະນະທີ່ການວິເຄາະການຮ້ອງຂໍດຶງ:

ດັ່ງນັ້ນພວກເຮົາວິເຄາະ A4ແລະບໍ່ B3->A3. ເນື່ອງຈາກວ່າຄຸນນະສົມບັດນີ້, ພວກເຮົາຈໍາເປັນຕ້ອງໄດ້ຄິດໄລ່ຄວາມແຕກຕ່າງກັບ A3, ຊຶ່ງເປັນທີ່ຊັດເຈນເທິງຂອງສາຂາຈາກ ຕົ້ນກໍາເນີດ.

ມີລາຍລະອຽດທີ່ສໍາຄັນອັນຫນຶ່ງທີ່ຍັງເຫຼືອ - ການເກັບຂໍ້ມູນການຂຶ້ນກັບຂອງໄຟລ໌ header ໃນຫນ່ວຍງານການແປທີ່ລວບລວມ (*.c, *.cc, *.cpp, ແລະອື່ນໆ). ການວິເຄາະການຄິດໄລ່ການເພິ່ງພາອາໄສເຫຼົ່ານີ້ເມື່ອມັນຖືກເປີດຕົວຄັ້ງທໍາອິດໃນຮູບແບບຂອງການກວດສອບບັນຊີລາຍຊື່ຂອງໄຟລ໌ແລະຫຼັງຈາກນັ້ນບັນທຶກພວກມັນໄວ້ໃນໄດເລກະທໍລີ .PVS-Studio. Travis CI ອະນຸຍາດໃຫ້ທ່ານສາມາດ cache ໂຟນເດີ, ດັ່ງນັ້ນພວກເຮົາຈະບັນທຶກຂໍ້ມູນໄດເລກະທໍລີ .PVS-Studio/:

cache:
  directories:
    - .PVS-Studio/

ລະຫັດນີ້ຕ້ອງໄດ້ຮັບການເພີ່ມໃສ່ໄຟລ໌ .travis.yml. ໄດເລກະທໍລີນີ້ເກັບຮັກສາຂໍ້ມູນຕ່າງໆທີ່ເກັບກໍາຫຼັງຈາກການວິເຄາະ, ເຊິ່ງຈະຊ່ວຍເພີ່ມຄວາມໄວໃນການວິເຄາະລາຍຊື່ໄຟລ໌ຫຼືການວິເຄາະເພີ່ມຂຶ້ນຢ່າງຫຼວງຫຼາຍ. ຖ້າຫາກວ່ານີ້ບໍ່ໄດ້ເຮັດ, ຫຼັງຈາກນັ້ນນັກວິເຄາະຕົວຈິງຈະວິເຄາະໄຟລ໌ທັງຫມົດທຸກຄັ້ງ.

Buddy

ເຊັ່ນດຽວກັນກັບ Travis CI, Buddy ສະຫນອງຄວາມສາມາດໃນການສ້າງແລະທົດສອບໂຄງການທີ່ເກັບໄວ້ໃນ GitHub ໂດຍອັດຕະໂນມັດ. ບໍ່ເຫມືອນກັບ Travis CI, ມັນຖືກຕັ້ງຄ່າໃນການໂຕ້ຕອບເວັບ (ການສະຫນັບສະຫນູນ bash ແມ່ນມີຢູ່), ດັ່ງນັ້ນບໍ່ຈໍາເປັນຕ້ອງເກັບຮັກສາໄຟລ໌ການຕັ້ງຄ່າໃນໂຄງການ.

ກ່ອນອື່ນ ໝົດ, ພວກເຮົາ ຈຳ ເປັນຕ້ອງເພີ່ມການກະ ທຳ ໃໝ່ ໃສ່ສາຍປະກອບ:

ໃຫ້ເຮົາຊີ້ບອກຕົວສັງລວມທີ່ຖືກນໍາໃຊ້ເພື່ອສ້າງໂຄງການ. ສັງເກດເຫັນ docker container ທີ່ຕິດຕັ້ງຢູ່ໃນການປະຕິບັດນີ້. ຕົວຢ່າງ, ມີຖັງພິເສດສໍາລັບ GCC:

ຕອນນີ້ໃຫ້ຕິດຕັ້ງ PVS-Studio ແລະເຄື່ອງໃຊ້ທີ່ຈໍາເປັນ:

ມາເພີ່ມແຖວຕໍ່ໄປນີ້ໃສ່ຕົວແກ້ໄຂ:

apt-get update && apt-get -y install wget gnupg jq

wget -q -O - https://files.viva64.com/etc/pubkey.txt | apt-key add -
wget -O /etc/apt/sources.list.d/viva64.list 
  https://files.viva64.com/etc/viva64.list

apt-get update && apt-get -y install pvs-studio

ຕອນນີ້ໃຫ້ໄປທີ່ແຖບ Run (ໄອຄອນທຳອິດ) ແລະເພີ່ມລະຫັດຕໍ່ໄປນີ້ໃສ່ຊ່ອງບັນນາທິການທີ່ສອດຄ້ອງກັນ:

pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY

if [ "$BUDDY_EXECUTION_PULL_REQUEST_NO" != '' ]; then
  PULL_REQUEST_ID="pulls/$BUDDY_EXECUTION_PULL_REQUEST_NO"
  MERGE_BASE=`wget -qO - 
    https://api.github.com/repos/${BUDDY_REPO_SLUG}/${PULL_REQUEST_ID} 
    | jq -r ".base.ref"`

  git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck 
                              -S .pvs-pr.list
else
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck
fi

plog-converter -t errorfile PVS-Studio.log --cerr -w

ຖ້າທ່ານອ່ານພາກສ່ວນກ່ຽວກັບ Travs-CI, ລະຫັດນີ້ແມ່ນຄຸ້ນເຄີຍກັບທ່ານແລ້ວ, ຢ່າງໃດກໍຕາມ, ຕອນນີ້ມີຂັ້ນຕອນໃຫມ່:

ຄວາມ​ຈິງ​ແລ້ວ​ແມ່ນ​ວ່າ​ໃນ​ປັດ​ຈຸ​ບັນ​ພວກ​ເຮົາ​ວິ​ເຄາະ​ບໍ່​ແມ່ນ​ຜົນ​ຂອງ​ການ​ລວມ​, ແຕ່​ຫົວ​ຫນ້າ​ຂອງ​ສາ​ຂາ​ທີ່​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ​ດຶງ​ແມ່ນ​ເຮັດ​ໄດ້​:

ດັ່ງນັ້ນພວກເຮົາຢູ່ໃນຄໍາຫມັ້ນສັນຍາທີ່ມີເງື່ອນໄຂ B3 ແລະພວກເຮົາຈໍາເປັນຕ້ອງໄດ້ຮັບຄວາມແຕກຕ່າງຈາກ A3:

PULL_REQUEST_ID="pulls/$BUDDY_EXECUTION_PULL_REQUEST_NO"
  MERGE_BASE=`wget -qO - 
    https://api.github.com/repos/${BUDDY_REPO_SLUG}/${PULL_REQUEST_ID} 
    | jq -r ".base.ref"`
git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list

ສຳ ລັບການ ກຳ ນົດ A3 ມາໃຊ້ GitHub API:

https://api.github.com/repos/${USERNAME}/${REPO}/pulls/${PULL_REQUEST_ID}

ພວກເຮົາໄດ້ໃຊ້ຕົວແປຕໍ່ໄປນີ້ທີ່ Buddy ໃຫ້:

• $BUDDY_EXECUTION_PULL_REQEUST_NO - ດຶງ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ​;
• $BUDDY_REPO_SLUG — ການ​ປະ​ສົມ​ຂອງ​ຊື່​ຜູ້​ໃຊ້​ແລະ repository (ສໍາ​ລັບ​ຕົວ​ຢ່າງ​ສູງ​ສຸດ / ການ​ທົດ​ສອບ​)​.

ຕອນນີ້ໃຫ້ພວກເຮົາບັນທຶກການປ່ຽນແປງໂດຍໃຊ້ປຸ່ມຂ້າງລຸ່ມນີ້ແລະເປີດໃຊ້ການວິເຄາະຄໍາຮ້ອງຂໍດຶງ:

ບໍ່ເຫມືອນກັບ Travis CI, ພວກເຮົາບໍ່ຈໍາເປັນຕ້ອງລະບຸ .pvs-studio ສໍາລັບຖານຄວາມຈໍາ, ເນື່ອງຈາກວ່າ Buddy ອັດຕະໂນມັດ cache ໄຟລ໌ທັງຫມົດສໍາລັບການເປີດຕົວຕໍ່ໄປ. ດັ່ງນັ້ນ, ສິ່ງສຸດທ້າຍທີ່ເຫລືອໄວ້ແມ່ນເພື່ອບັນທຶກການເຂົ້າສູ່ລະບົບແລະລະຫັດຜ່ານສໍາລັບ PVS-Studio ໃນ Buddy. ຫຼັງຈາກບັນທຶກການປ່ຽນແປງ, ພວກເຮົາຈະຖືກນໍາກັບຄືນໄປທໍ່. ພວກເຮົາຈໍາເປັນຕ້ອງໄດ້ກ້າວໄປສູ່ການຕັ້ງຄ່າຕົວແປແລະເພີ່ມການເຂົ້າສູ່ລະບົບແລະລະຫັດສໍາລັບ PVS-Studio:

ຫຼັງຈາກນີ້, ຮູບລັກສະນະຂອງຄໍາຮ້ອງຂໍດຶງໃຫມ່ຫຼືຄໍາຫມັ້ນສັນຍາຈະເຮັດໃຫ້ເກີດການທົບທວນຄືນ. ຖ້າຄໍາຫມັ້ນສັນຍາມີຂໍ້ຜິດພາດ, Buddy ຈະຊີ້ບອກນີ້ຢູ່ໃນຫນ້າການຮ້ອງຂໍການດຶງ.

AppVeyor

ການຕັ້ງຄ່າ AppVeyor ແມ່ນຄ້າຍຄືກັນກັບ Buddy, ນັບຕັ້ງແຕ່ທຸກສິ່ງທຸກຢ່າງເກີດຂື້ນໃນການໂຕ້ຕອບຂອງເວັບແລະບໍ່ຈໍາເປັນຕ້ອງເພີ່ມໄຟລ໌ *.yml ເຂົ້າໄປໃນບ່ອນເກັບຂໍ້ມູນໂຄງການ.

ໃຫ້ໄປທີ່ແຖບການຕັ້ງຄ່າໃນພາບລວມຂອງໂຄງການ:

ໃຫ້ເລື່ອນລົງຫນ້ານີ້ແລະເປີດໃຊ້ການປະຫຍັດ cache ສໍາລັບການລວບລວມຄໍາຮ້ອງຂໍດຶງ:

ຕອນນີ້ໃຫ້ໄປທີ່ແຖບສະພາບແວດລ້ອມ, ບ່ອນທີ່ພວກເຮົາລະບຸຮູບພາບສໍາລັບການປະກອບແລະຕົວແປສະພາບແວດລ້ອມທີ່ຈໍາເປັນ:

ຖ້າທ່ານໄດ້ອ່ານພາກກ່ອນ, ທ່ານຈະຄຸ້ນເຄີຍກັບສອງຕົວແປນີ້ − PVS_KEY и PVS_USERNAME. ຖ້າບໍ່, ໃຫ້ຂ້ອຍເຕືອນເຈົ້າວ່າພວກເຂົາຈໍາເປັນຕ້ອງກວດສອບໃບອະນຸຍາດຂອງເຄື່ອງວິເຄາະ PVS-Studio. ພວກເຮົາຈະເຫັນພວກມັນອີກຄັ້ງໃນສະຄຣິບ Bash ໃນອະນາຄົດ.

ໃນຫນ້າດຽວກັນຂ້າງລຸ່ມນີ້ພວກເຮົາຊີ້ບອກໂຟນເດີສໍາລັບການເກັບຮັກສາໄວ້:

ຖ້າພວກເຮົາບໍ່ເຮັດແນວນີ້, ພວກເຮົາຈະວິເຄາະໂຄງການທັງຫມົດແທນທີ່ຈະເປັນສອງໄຟລ໌, ແຕ່ພວກເຮົາຈະໄດ້ຮັບຜົນຜະລິດຈາກໄຟລ໌ທີ່ກໍານົດ. ດັ່ງນັ້ນ, ມັນເປັນສິ່ງສໍາຄັນທີ່ຈະໃສ່ຊື່ໄດເລກະທໍລີທີ່ຖືກຕ້ອງ.

ໃນປັດຈຸບັນມັນເຖິງເວລາສໍາລັບ script ທີ່ຈະທົດສອບ. ເປີດແຖບທົດສອບ ແລະເລືອກ Script:

ທ່ານຕ້ອງວາງລະຫັດຕໍ່ໄປນີ້ໃສ່ແບບຟອມນີ້:

sudo apt-get update && sudo apt-get -y install jq

wget -q -O - https://files.viva64.com/etc/pubkey.txt 
  | sudo apt-key add -
sudo wget -O /etc/apt/sources.list.d/viva64.list 
  https://files.viva64.com/etc/viva64.list

sudo apt-get update && sudo apt-get -y install pvs-studio

pvs-studio-analyzer credentials $PVS_USERNAME $PVS_KEY

PWD=$(pwd -L)
if [ "$APPVEYOR_PULL_REQUEST_NUMBER" != '' ]; then
  PULL_REQUEST_ID="pulls/$APPVEYOR_PULL_REQUEST_NUMBER"
  MERGE_BASE=`wget -qO - 
    https://api.github.com/repos/${APPVEYOR_REPO_NAME}/${PULL_REQUEST_ID} 
    | jq -r ".base.ref"`

  git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck 
                              --dump-files --dump-log pvs-dump.log 
                              -S .pvs-pr.list
else
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck
fi

plog-converter -t errorfile PVS-Studio.log --cerr -w

ໃຫ້ເອົາໃຈໃສ່ກັບສ່ວນຕໍ່ໄປນີ້ຂອງລະຫັດ:

PWD=$(pwd -L)
if [ "$APPVEYOR_PULL_REQUEST_NUMBER" != '' ]; then
  PULL_REQUEST_ID="pulls/$APPVEYOR_PULL_REQUEST_NUMBER"
  MERGE_BASE=`wget -qO - 
   https://api.github.com/repos/${APPVEYOR_REPO_NAME}/${PULL_REQUEST_ID} 
   | jq -r ".base.ref"`

  git diff --name-only HEAD origin/$MERGE_BASE > .pvs-pr.list
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck 
                              --dump-files --dump-log pvs-dump.log 
                              -S .pvs-pr.list
else
  pvs-studio-analyzer analyze -j8 
                              -o PVS-Studio.log 
                              --disableLicenseExpirationCheck
fi

ການມອບຫມາຍສະເພາະຂອງຄ່າຂອງຄໍາສັ່ງ pwd ໃຫ້ກັບຕົວແປທີ່ຄວນເກັບຮັກສາຄ່າເລີ່ມຕົ້ນນີ້ເບິ່ງຄືວ່າແປກຢູ່ glance ທໍາອິດ, ຢ່າງໃດກໍຕາມ, ຂ້າພະເຈົ້າຈະອະທິບາຍທຸກສິ່ງທຸກຢ່າງໃນປັດຈຸບັນ.

ໃນຂະນະທີ່ຕັ້ງເຄື່ອງວິເຄາະໃນ AppVeyor, ຂ້າພະເຈົ້າໄດ້ພົບກັບພຶດຕິກໍາທີ່ແປກປະຫລາດທີ່ສຸດຂອງນັກວິເຄາະ. ໃນດ້ານຫນຶ່ງ, ທຸກສິ່ງທຸກຢ່າງເຮັດວຽກຢ່າງຖືກຕ້ອງ, ແຕ່ການວິເຄາະບໍ່ໄດ້ເລີ່ມຕົ້ນ. ຂ້ອຍໃຊ້ເວລາຫຼາຍທີ່ສັງເກດເຫັນວ່າພວກເຮົາຢູ່ໃນ /home/appveyor/projects/testcalc/ directory, ແລະນັກວິເຄາະແນ່ໃຈວ່າພວກເຮົາຢູ່ໃນ /opt/appveyor/build-agent/. ຫຼັງຈາກນັ້ນ, ຂ້າພະເຈົ້າຮູ້ວ່າຕົວແປ $PWD ແມ່ນນອນເລັກນ້ອຍ. ສໍາລັບເຫດຜົນນີ້, ຂ້າພະເຈົ້າໄດ້ປັບປຸງມູນຄ່າຂອງມັນດ້ວຍຕົນເອງກ່ອນທີ່ຈະເລີ່ມການວິເຄາະ.

ແລະ​ຫຼັງ​ຈາກ​ນັ້ນ​ທຸກ​ສິ່ງ​ທຸກ​ຢ່າງ​ຄື​ກ່ອນ​ທີ່​ຈະ​:

ຕອນນີ້ພິຈາລະນາຊິ້ນສ່ວນຕໍ່ໄປນີ້:

PULL_REQUEST_ID="pulls/$APPVEYOR_PULL_REQUEST_NUMBER"
MERGE_BASE=`wget -qO - 
  https://api.github.com/repos/${APPVEYOR_REPO_NAME}/${PULL_REQUEST_ID} 
  | jq -r ".base.ref"`

ໃນມັນພວກເຮົາໄດ້ຮັບຄວາມແຕກຕ່າງລະຫວ່າງສາຂາທີ່ຄໍາຮ້ອງຂໍດຶງໄດ້ຖືກປະກາດ. ເພື່ອເຮັດສິ່ງນີ້, ພວກເຮົາຕ້ອງການຕົວແປສະພາບແວດລ້ອມຕໍ່ໄປນີ້:

• $APPVEYOR_PULL_REQUEST_NUMBER — ດຶງໝາຍເລກການຮ້ອງຂໍ;
• $APPVEYOR_REPO_NAME - ຊື່ຜູ້ໃຊ້ ແລະບ່ອນເກັບຂໍ້ມູນໂຄງການ.

ສະຫລຸບ

ແນ່ນອນ, ພວກເຮົາຍັງບໍ່ໄດ້ພິຈາລະນາທັງຫມົດຂອງການບໍລິການປະສົມປະສານຢ່າງຕໍ່ເນື່ອງທີ່ເປັນໄປໄດ້, ແນວໃດກໍ່ຕາມ, ພວກເຂົາທັງຫມົດມີສະເພາະປະຕິບັດງານທີ່ຄ້າຍຄືກັນທີ່ສຸດເຊິ່ງກັນແລະກັນ. ມີຂໍ້ຍົກເວັ້ນຂອງ caching, ແຕ່ລະບໍລິການເຮັດໃຫ້ "ລົດຖີບ" ຂອງຕົນເອງ, ສະນັ້ນທຸກສິ່ງທຸກຢ່າງແມ່ນແຕກຕ່າງກັນສະເຫມີ.

ບາງບ່ອນ, ເຊັ່ນໃນ Travis-CI, ສອງເສັ້ນຂອງລະຫັດແລະຖານຄວາມຈໍາເຮັດວຽກ flawlessly; ບາງບ່ອນ, ເຊັ່ນໃນ AppVeyor, ທ່ານພຽງແຕ່ຕ້ອງການລະບຸໂຟນເດີໃນການຕັ້ງຄ່າ; ແຕ່ບາງບ່ອນທີ່ທ່ານຕ້ອງການສ້າງກະແຈທີ່ເປັນເອກະລັກແລະພະຍາຍາມຊັກຊວນລະບົບເພື່ອໃຫ້ເຈົ້າມີໂອກາດທີ່ຈະຂຽນທັບຊິ້ນສ່ວນທີ່ເກັບໄວ້ໃນຖານຄວາມຈໍາ. ດັ່ງນັ້ນ, ຖ້າທ່ານຕ້ອງການຕັ້ງຄ່າການວິເຄາະການຮ້ອງຂໍການດຶງໃນການບໍລິການປະສົມປະສານຢ່າງຕໍ່ເນື່ອງທີ່ບໍ່ໄດ້ສົນທະນາຂ້າງເທິງ, ຫຼັງຈາກນັ້ນທໍາອິດໃຫ້ແນ່ໃຈວ່າທ່ານຈະບໍ່ມີບັນຫາກັບຖານຄວາມຈໍາ.

ຂອບໃຈສໍາລັບຄວາມສົນໃຈຂອງທ່ານ. ຖ້າ​ຫາກ​ວ່າ​ບາງ​ສິ່ງ​ບາງ​ຢ່າງ​ບໍ່​ໄດ້​ອອກ​, ກະ​ລຸ​ນາ​ຂຽນ​ຫາ​ພວກ​ເຮົາ​ໄດ້​ທີ່​ ສະຫນັບສະຫນູນ. ພວກເຮົາຈະໃຫ້ຄໍາແນະນໍາແລະການຊ່ວຍເຫຼືອ.

ຖ້າທ່ານຕ້ອງການແບ່ງປັນບົດຄວາມນີ້ກັບຜູ້ຊົມທີ່ເວົ້າພາສາອັງກິດ, ກະລຸນາໃຊ້ການເຊື່ອມຕໍ່ການແປພາສາ: Maxim Zvyagintsev. ການວິເຄາະຄໍາຫມັ້ນສັນຍາແລະດຶງຄໍາຮ້ອງຂໍໃນ Travis CI, Buddy ແລະ AppVeyor ໂດຍໃຊ້ PVS-Studio.

ແຫຼ່ງຂໍ້ມູນ: www.habr.com