Тестирование программного обеспечения встроенных систем

реклама
(
)*
1.
.
(
.
.
)
–
,
–
,
,
,
.
,
,
,
.
DO-178B
[3]
:
,
,
;
,
,
;
,
;
,
.
2.
ARINC-653.
ARINC-653 [1] — “Avionics Application Software Standard Interface” —
ARINC (Aeronautical Radio, Inc.) 1997 .
APEX (Application/Executive)
.
(
)
.
ARINC-653
(Part 3 – Conformity Test Specification),
ARINC-653.
,
56
.
ARINC-653 Part 1,
.
– Extended services.
ARINC-653 Part 1.
.
,
ARINC-653 Part 3.
*
250
,
,
,
,
,
ARINC-653 Part 1,
.
,
API.
API
.
:
,
ARINC-653
Part
3
(
,
ARINC-653 Part 3);
,
POSIX;
Interpartition Communication, Intrapartition
Communication
Health Monitoring.
370
,
,
.
.
653 Part 3
ARINC-
:
;
;
.
(
)
API
,
API
.
,
ARINC-653 Part 3.
.
(
)
.
«
» [4].
,
,
ARINC-653 Part 3.
3.
POSIX.
,
POSIX (Portable Operating System interface for unIX) [2].
–
.
IEEE 1003.1
ISO/IEC 9945-1:1990.
: 1003.1a (OS Definition), 1003.1b (Realtime Extensions)
1003.1c (Threads).
POSIX (
POSIX.
,
Open POSIX Test Suite)
:
:
,
Open Group
,
;
:
,
;
«
»
(
,
).
,
POSIX,
,
,
–
.
.
10
,
POSIX.
916
60
POSIX
.
172
.
OLVER (Open
Linux VERification) [5].
Linux.
glibc
Linux,
,
,
.
,
.
4.
DO-178B.
DO-178B “Software Consideration in Airborne Systems and Equipment Certification”
RTCA (Radio Technical Commission for Aeronautics)
.
ED-12B —
DO-178B,
EUROCAE (The European organisation for civil aviation equipment).
2003
51904-2002 «
:
»,
DO-178B.
,
,
,
,
.
,
DO-178B,
«
»
.
,
:
;
[3]
(normal range test cases)
cases).
UniTESK[6]
(robustness test
FOREST [7]
,
:
.
;
.
.
,
.
1.
POSIX
.)
(ARINC-653 Part 1
,
.
2,
,
,
, ,
,
.
.
2.
.
.
,
,
,
,
,
.
.
3.
.
.
,
.
4.
.
,
,
.
UniTESK.
,
,
.
,
,
,
.
,
.
UniTESK
FOREST
DO-178B
.
5.
.
1. ARINC. ARINC Specification 653-2: Avionics Application Software Standard Interface Part 1 Required Services. Aeronautical Radio INC, Maryland, USA, 2005.
2. IEEE Std 1003.1, 2004 Edition. The Open Group Technical Standard. Base Specification, Issue 6.
3. RTCA/DO-178B, "Software Considerations in Airborne Systems and Equipment Certification".
http://www.rtca.org
4.
2000. http://www.niisi.ru/intro1.htm
5. http://www.linuxtesting.ru
6. http://www.unitesk.ru
7.
,
,
,
,
«
».
N.13. .:
, 2006.
Скачать