Helix QAC - Helix QAC - Wikipedia

Helix QAC, avval QA · C reklama roligi statik kodni tahlil qilish Minneapolis, Minnesotada joylashgan dasturiy ta'minot sotuvchisi tomonidan ishlab chiqarilgan dasturiy ta'minot Perforce dasturi. Dastur 1986 yilda Buyuk Britaniyada joylashgan Programming Research Limited Uchun (PRQA) C tili. Perforce PRQA-ni 2018 yil may oyida sotib oldi.^[1]

C ni tayyorlash uchun spiral QAC ishlatilgan manba kodi kitobda berilgan o'lchovlar Xavfsiz C tomonidan Les Xetton.^[2]

HeliX QAC C manba kodini sifatini ta'minlash va kodlash kabi ko'rsatmalarga muvofiqligini tekshirish uchun ishlatilishi mumkin. MISRA C. Boshqa funktsiyalarga kodni hisoblash qobiliyati kiradi ko'rsatkichlar katta kod bazalariga ega loyihalar uchun.

Asboblar an orqali ishlaydi birlashgan rivojlanish muhiti (IDE) eski va yangi kodlarni saqlash va tushunishga yordam berish uchun ishlab chiqilgan bo'lib, ular o'zaro faoliyat ma'lumotnomalar va turli xil grafik ko'rinishlarni qo'llaydi, bu vositalar buyruq satri interfeysi bilan ishlatilishi mumkin va natijada grafik IDE chaqirilishi mumkin.^{[iqtibos kerak ]}

Shuningdek qarang

Statik kodni tahlil qilish uchun vositalar ro'yxati

Adabiyotlar

^ "Clearlake tomonidan qo'llab-quvvatlanadigan Perforce Software dasturiy tadqiqotlarni sotib oldi". pehub.com. 2018-05-02. Olingan 2018-07-09.
^ Xatton, Les (1995). Xavfsiz S: yuqori darajadagi yaxlitlik va xavfsizlik uchun muhim tizimlarda dasturiy ta'minotni ishlab chiqish. McGraw-Hill. ISBN 0-07-707640-0.

Tashqi havolalar

[1] "Clearlake tomonidan qo'llab-quvvatlanadigan Perforce Software dasturiy tadqiqotlarni sotib oldi". pehub.com. 2018-05-02. Olingan 2018-07-09.

[2] Xatton, Les (1995). Xavfsiz S: yuqori darajadagi yaxlitlik va xavfsizlik uchun muhim tizimlarda dasturiy ta'minotni ishlab chiqish. McGraw-Hill. ISBN 0-07-707640-0.

[1]

[2]