1 |
Teoretiska och praktiska studier av kodtäckningsverktyg med utvärdering / Theoretic studies and assessment of tools for testing of softwareLindskog, Viktor January 2014 (has links)
No description available.
|
2 |
Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos / Study and Definition of a Methodology for Software Testing in the Context of Critical Embedded SystemsBARBOSA, Jacson Rodrigues 28 July 2011 (has links)
Made available in DSpace on 2014-07-29T14:57:49Z (GMT). No. of bitstreams: 1
Jacson Rodrigues.pdf: 1414026 bytes, checksum: a4679b63023d053723ea70b3a0eac3f1 (MD5)
Previous issue date: 2011-07-28 / Computing is becoming increasingly critical in the embedded applications space and
depending on the software, its malfunction may result in a severe financial loss to the loss
of human life. Considering this scenario, we presented a systematic literature review in
order to investigate the evolution of work-related activity test critical embedded software
in order to evaluate the level of compliance found in the work to the standard DO-
178B (Software Considerations in Airborne Systems and Equipment Certification). This
research, in addition to conducting a systematic review of publications about this issue,
has resulted in the composition of primary studies to define a process of quality testing
and including the requirements of DO-178B at their different levels of criticality. / A computação ganha cada vez mais espaço em aplicações embarcadas críticas e, dependendo
do software, seu mau funcionamento pode provocar desde um grave prejuízo financeiro
até a perda de vidas humanas. Considerando este cenário, é apresentado uma
revisão sistemática com o objetivo de investigar a evolução dos trabalhos relacionados a
atividade de teste de software embarcado crítico visando avaliar o nível de aderência dos
trabalhos encontrados em relação à norma DO-178B (Software Considerations in Airborne
Systems and Equipment Certification). Esta pesquisa, além de realizar a revisão
sistemática dos trabalhos relacionados ao tema, apresenta como resultado a composição
de estudos primários para definição de um processo de teste de qualidade e que contemple
as exigências da DO-178B em seus diferentes níveis de criticalidade.
|
3 |
Problematika testování a verifikace softwaru pro leteckou techniku / Methods of Software Testing and Verification for Airborne SystemsMačišák, Lukáš January 2011 (has links)
This Master's Thesis describes methods of software certification and development of airborne systems, focusing on software testing and verification during project's life cycle. Thesis includes also designed software verification plan for concrete application according to RTCA/DO-178B. Another part of thesis illustrates the exemplary realization of tests according to designed verification plan. At the close we describe the options of applying the designed verification plan and evaluation of its results.
|
Page generated in 0.0315 seconds