Mga Template ng Mga Plano at Pamantayan ng DO-178C

Talaan ng nilalaman

Mga Template ng Mga Plano at Pamantayan ng DO-178C

pagpapakilala

Ang DO-178C ay isang software standard na binuo ng Radio Technical Commission for Aeronautics (RTCA) na tumutukoy sa mga alituntunin para sa pagbuo ng safety-critical avionics software. Nagbibigay ito ng balangkas para sa sertipikasyon ng software na ginagamit sa mga airborne system, na tinitiyak na natutugunan ng mga ito ang mahigpit na mga kinakailangan sa kaligtasan at pagiging maaasahan. Ang isa sa mga pangunahing aspeto ng pagsunod sa DO-178C ay ang masusing pagsubok, kabilang ang pagsukat ng structural coverage. Sinasaliksik ng artikulong ito ang kahalagahan ng pagsubok at structural coverage sa konteksto ng DO-178C.

Pag-unawa sa DO-178C

Pangkalahatang-ideya ng DO-178C

Ang DO-178C, na pinamagatang "Mga Pagsasaalang-alang ng Software sa Airborne System at Sertipikasyon ng Kagamitan," ay ang kasalukuyang pamantayan para sa pagbuo at pagpapatunay ng software sa mga airborne system. Nagbibigay ito ng balangkas para sa pagtukoy sa kaligtasan, pagiging maaasahan, at pagsunod ng software na ginagamit sa mga sistema ng avionics. Pinapalitan ng DO-178C ang hinalinhan nito, ang DO-178B, at nagpapakilala ng ilang pagpapahusay at paglilinaw.

Ang Kahalagahan ng Pagsunod sa DO-178C

Ang pagsunod sa DO-178C ay mahalaga para matiyak ang airworthiness ng mga sistema ng avionics. Ang pamantayan ay nagbibigay-diin sa isang sistematiko at mahigpit na diskarte sa pagbuo ng software, pagpapatunay, at pagpapatunay. Ang pagsunod sa DO-178C ay hindi lamang nakakatulong na matukoy at mabawasan ang mga potensyal na depekto sa software ngunit nagtataguyod din ng komprehensibong pag-unawa sa gawi ng software, mga interface, at potensyal na mga mode ng pagkabigo.

Pagsubok sa DO-178C

Proseso ng Pag-verify

Binabalangkas ng DO-178C ang isang komprehensibong proseso ng pag-verify na kinabibilangan ng pagsubok na nakabatay sa mga kinakailangan, pagsubok sa pagsasama, at pagsubok sa system. Ang layunin ng pagsubok ay ipakita na ang software ay gumaganap ng mga nilalayon nitong function nang tama at mapagkakatiwalaan. Ang proseso ng pag-verify ay binubuo ng apat na natatanging antas, bawat gusali sa nauna: Antas A (ang pinaka-kritikal) hanggang sa Antas D (ang pinakakaunting kritikal). Anuman ang antas, ang pagsubok ay isang mahalagang bahagi ng proseso ng DO-178C. 

Mga Layunin ng Pagsubok

Ang mga pangunahing layunin ng pagsubok sa DO-178C ay:

  • Ipakita na ang software ay sumusunod sa mga tinukoy na kinakailangan.
  • Tukuyin at alisin ang mga depekto na maaaring makompromiso ang kaligtasan.
  • Magbigay ng ebidensya upang suportahan ang sertipikasyon ng software.

Mga Teknik sa Pagsubok

Ang DO-178C ay nagbibigay-daan para sa iba't ibang mga diskarte sa pagsubok, kabilang ang:

  • Pagganap na Pagsubok: Pag-verify sa pagiging tama ng paggana ng software sa pamamagitan ng pagsasagawa ng mga test case na gumagamit ng mga feature at kakayahan nito.
  • Pagsubok sa istruktura: Nakatuon sa panloob na istraktura ng software, sinusuri ang mga landas, sangay, at mga punto ng desisyon nito upang matiyak na ang lahat ng lohikal na resulta ay naisagawa.
  • Subukan ang performance: Pagsusuri sa pagganap ng software sa ilalim ng iba't ibang kondisyon ng pagkarga upang matiyak na nakakatugon ito sa mga tinukoy na kinakailangan.
  • Pagsubok ng Regression: Muling pagpapatakbo ng mga naunang naisagawang pagsubok upang matiyak na ang mga pagbabago o pagpapahusay ay hindi magpapakita ng mga bagong depekto.
  • Pagsubok sa Fault Injection: Sinasadyang mag-inject ng mga fault o error sa software upang masuri ang tibay nito at kakayahang pangasiwaan ang mga abnormal na kondisyon.

Structural Coverage sa DO-178C

Depinisyon

Ang structural coverage, na kilala rin bilang code coverage, ay tumutukoy sa pagsukat kung gaano karami ang code ng software na naisakatuparan sa panahon ng pagsubok. Nakakatulong ito sa pagtatasa ng kabuoan ng proseso ng pagsubok sa pamamagitan ng pagtukoy sa mga lugar na hindi pa naisasagawa. Ang istrukturang saklaw ay nagbibigay ng katibayan na ang software ay sapat na nasubok at tumutulong na matiyak na ang lahat ng posibleng resulta ng lohika ng software ay naikonsidera. 

Pamantayan sa Saklaw

Tinutukoy ng DO-178C ang ilang pamantayan sa saklaw na dapat matugunan sa panahon ng pagsubok. Kabilang sa mga pamantayang ito ang:

  • Saklaw ng Pahayag: Tinitiyak na ang bawat maipapatupad na pahayag sa software ay naisakatuparan nang hindi bababa sa isang beses sa panahon ng pagsubok.
  • Saklaw ng Desisyon: Bine-verify na ang bawat punto ng pagpapasya (hal., kung ang mga pahayag, lumipat ng mga pahayag) sa software ay ginamit na may parehong totoo at maling mga kinalabasan.
  • Saklaw ng Kundisyon: Tinitiyak na ang bawat kundisyon ng Boolean sa loob ng isang punto ng pagpapasya ay nasuri sa parehong totoo at maling mga halaga.
  • Binagong Kondisyon/Sakop ng Desisyon (MC/DC): Ito ay nagpapatunay na ang bawat kundisyon ay nakapag-iisa na nakakaapekto sa kinalabasan ng isang desisyon.

Mga Benepisyo ng Structural Coverage

Ang pagsukat sa istrukturang saklaw ay nag-aalok ng ilang benepisyo sa loob ng konteksto ng DO-178C:

  • Maagang Pagtukoy sa Hindi Nasubukan o Bahagyang Nasubok na Code: Tumutulong ang pagsusuri sa pagsaklaw sa istruktura na matukoy ang mga bahagi ng software na hindi pa naisasagawa ng mga kasalukuyang pagsubok, na nagbibigay-daan para sa mas naka-target na mga pagsusumikap sa pagsubok.
  • Pagbabawas ng panganib: Sa pamamagitan ng pagtiyak ng komprehensibong saklaw, ang posibilidad ng hindi natukoy na mga depekto sa software at mga pagkabigo na kritikal sa kaligtasan ay nababawasan.
  • Suporta sa Sertipikasyon: Ang mga sukatan ng pagsaklaw sa istruktura ay nagbibigay ng layunin na katibayan na ang mga aktibidad sa pagsubok ay isinagawa alinsunod sa mga alituntunin ng DO-178C, na nagpapadali sa proseso ng sertipikasyon.
  • Pinahusay na Kalidad ng Software: Sa pamamagitan ng paggamit ng lahat ng mga path ng code at mga punto ng desisyon, nakakatulong ang pagsubok sa saklaw ng istruktura na pahusayin ang pangkalahatang kalidad at pagiging maaasahan ng software.

Paggamit ng Mga Propesyonal na Tool Tulad ng Visure Solutions para sa DO-178C Testing and Coverage Process

Ang Visure Solutions ay isang nangungunang tool sa pamamahala ng mga kinakailangan na nagbibigay ng end-to-end na suporta para sa buong lifecycle ng software development. Nag-aalok ito ng collaborative at integrated platform para sa pamamahala ng mga kinakailangan, test case, traceability, at dokumentasyon. Ang Visure Solutions ay idinisenyo upang matugunan ang mahigpit na mga kinakailangan ng mga industriyang kritikal sa kaligtasan, kabilang ang aviation, kung saan ang pagsunod sa mga pamantayan tulad ng DO-178C ay napakahalaga.

Mga Pangunahing Tampok ng Visure Solutions para sa DO-178C Testing and Coverage

Nag-aalok ang Visure Solutions ng hanay ng mga feature na partikular na iniakma upang suportahan ang DO-178C testing at proseso ng coverage:

  • Pamamahala ng Mga Kinakailangan: Binibigyang-daan ng Visure Solutions ang pagkuha, organisasyon, at pamamahala ng mga kinakailangan sa software ayon sa mga alituntunin ng DO-178C. Nagbibigay ito ng mga feature ng traceability para magtatag at mapanatili ang mga link ng traceability sa pagitan ng mga kinakailangan, disenyo, test case, at code.
  • Pamamahala ng Test Case: Pinapadali ng tool ang paglikha, pamamahala, at pagpapatupad ng mga kaso ng pagsubok. Ang mga kaso ng pagsubok ay maaaring iugnay sa mga kinakailangan, na nagbibigay-daan para sa mahusay na pagsubaybay at pag-verify ng saklaw.
  • Pagsusuri ng Structural Coverage: Sinusuportahan ng Visure Solutions ang pagsusuri at pagtatasa ng mga sukatan ng pagsaklaw sa istruktura, kabilang ang saklaw ng pahayag, saklaw ng desisyon, at saklaw ng binagong kondisyon/pagpasya (MC/DC). Nagbibigay ito ng mga visual na representasyon ng data ng saklaw, na nagpapahintulot sa mga developer na tukuyin ang mga lugar na nangangailangan ng karagdagang pagsubok.
  • Pamamahala ng Traceability: Nag-aalok ang tool ng matatag na kakayahan sa pamamahala ng traceability, tinitiyak na ang bawat kinakailangan ay maayos na natunton sa mga kaso ng pagsubok at mga artifact ng code. Nakakatulong ang traceability na ito na ipakita ang pagsunod sa mga layunin ng DO-178C at mga tulong sa proseso ng certification.
  • Baguhin ang Pamamahala: Kasama sa Visure Solutions ang mga pagpapagana sa pamamahala ng pagbabago na nagpapadali sa pagsubaybay at pagkontrol sa mga pagbabago sa mga kinakailangan, kaso ng pagsubok, at iba pang artifact ng proyekto. Tinitiyak nito na ang mga pagbabago ay maayos na naidokumento, nasusuri, at naaprubahan, na pinapanatili ang pagsunod sa mga kinakailangan sa pamamahala ng configuration ng DO-178C.

Mga Benepisyo ng Paggamit ng Visure Solutions

  • Pinahusay na Kahusayan at Pakikipagtulungan – Pina-streamline ng Visure Solutions ang DO-178C testing and coverage process, na nagpapahusay sa kahusayan at pakikipagtulungan sa mga miyembro ng team. Nagbibigay ang tool ng isang sentralisadong platform para sa pamamahala ng mga kinakailangan, mga kaso ng pagsubok, at kakayahang masubaybayan, na binabawasan ang pagiging kumplikado at oras na ginugol sa mga manu-manong gawaing pang-administratibo.
  • Pinahusay na Visibility at Traceability – Sa pamamagitan ng paggamit ng Visure Solutions, ang mga development team ay nakakakuha ng pinahusay na visibility sa buong software development lifecycle. Ang tool ay nagbibigay-daan sa komprehensibong traceability sa pagitan ng mga kinakailangan, test case, at code, na tinitiyak na ang bawat kinakailangan ay sapat na nasubok at nagbibigay ng malinaw na audit trail para sa mga layunin ng pagsunod.
  • Pinabilis na Proseso ng Sertipikasyon - Tumutulong ang Visure Solutions na mapabilis ang proseso ng sertipikasyon ng software sa pamamagitan ng pagbibigay ng structured at organisadong dokumentasyon na sumusunod sa mga pamantayan ng DO-178C. Ang mga tampok ng traceability ng tool ay nagbibigay-daan sa mahusay at tumpak na pag-uulat ng saklaw ng mga kinakailangan at sukatan ng saklaw ng istruktura, na nagpapadali sa mga aktibidad sa sertipikasyon at pag-audit.
  • Pagsunod sa Mga Alituntunin ng DO-178C – Ang Visure Solutions ay partikular na idinisenyo upang tugunan ang mga kinakailangan ng DO-178C. Sa pamamagitan ng paggamit ng tool, matitiyak ng mga organisasyon na naaayon ang kanilang mga proseso sa pagbuo ng software sa mga alituntunin at layunin ng pamantayan. Nagbibigay ang Visure Solutions ng mga built-in na template, workflow, at functionality na iniakma upang matugunan ang mga kinakailangan sa pagsunod sa DO-178C.

Konklusyon

Ang pagsubok at structural coverage ay mga kritikal na elemento ng DO-178C standard para sa pagbuo at sertipikasyon ng safety-critical avionics software. Ang mahigpit na pagsubok, na sinamahan ng komprehensibong pagsusuri sa saklaw ng istruktura, ay tumutulong na matiyak na ang software ay nakakatugon sa mga tinukoy na kinakailangan at gumagana nang mapagkakatiwalaan sa nilalayong kapaligiran. Sa pamamagitan ng pagsunod sa mga alituntunin sa pagsubok ng DO-178C at pagkamit ng kasiya-siyang structural coverage, maipapakita ng mga developer ng aviation software ang kaligtasan at pagiging maaasahan ng kanilang mga system, na sa huli ay nag-aambag sa mas ligtas na paglalakbay sa himpapawid.

Sa konteksto ng pagsubok at saklaw ng DO-178C, ang paggamit ng mga propesyonal na tool tulad ng Visure Solutions ay nag-aalok ng mga makabuluhang pakinabang sa mga tuntunin ng kahusayan, pakikipagtulungan, visibility, at pagsunod. Ang mga espesyal na tampok ng tool para sa pamamahala ng mga kinakailangan, pamamahala sa kaso ng pagsubok, pagsusuri sa pagkakasakop sa istruktura, pamamahala sa kakayahang masubaybayan, at pamamahala ng pagbabago ay pinapadali ang buong proseso ng pagbuo ng software at pinapadali ang pagsunod sa mga alituntunin ng DO-178C. Gamitin ang Visure's 30-araw na libreng pagsubok upang mapahusay ang iyong mga kasanayan sa pagbuo ng software at makamit ang mas mataas na antas ng kumpiyansa sa pagiging maaasahan at kaligtasan ng kanilang mga sistema ng avionics.

Huwag kalimutang ibahagi ang post na ito!

chapters

Pumunta sa Market nang Mas Mabilis gamit ang Visure

Synergy sa Pagitan ng Model-Based Systems Engineering Approach at Proseso ng Pamamahala ng Mga Kinakailangan

Disyembre 17th, 2024

11 am EST | 5 pm CEST | 8 am PST

Fernando Valera

Fernando Valera

CTO, Visure Solutions

Pagtulay sa Gap mula sa Mga Kinakailangan hanggang sa Disenyo

Alamin kung paano i-bridge ang agwat sa pagitan ng MBSE at Proseso ng Pamamahala ng Mga Kinakailangan.