Simulate v111003

Simulate is a web based analysis tool used to simulate the introduction of SV CV log events that have been previously inserted using the logevent tool. This can be used to build a map of expected log events with each new release of software. It is to be used in place of the actual target equipment for the purpose of surfacing all log events in a system. In addition to this report a simulation simulated logevents is also produced that can be input into the data reduction and analysis tool.

Other Analysis Reports . Original Source Code . Instrumented Source Code . Help

12/08/2003 15:51:18

Simulation Report

Instrumented Source result/source/pr-app/pr-app-FDP123/fdp-01.c
logevent 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030

Source Code Comments
1-100 1001 /* LE SV TOC-1401 this is a fdp-01.1.27 req to translate*/
1-141 1002 /* LE SV TOC-1402 this is a fdp-01.1.43 req to compare*/
1-290 1003 /* LE SV TOC-1403 this is a fdp-01.2.11 req to record*/
1-307 1004 /* LE SV TOC-1404 this is a fdp-01.2.16 req to translate*/
1-319 1005 /* LE SV TOC-1405 this is a fdp-01.2.20 req to translate*/
1-416 1006 /* LE SV TOC-1406 this is a fdp-01.3.4 req to check pSOS*/
1-565 1007 /* LE SV TOC-1407 this is a fdp-01.4.22 req to process*/
1-567 1008 /* LE SV TOC-1408 this is a fdp-01.4.23 req to check pSOS*/
1-630 1009 /* LE SV TOC-1409 this is a fdp-01.5.3 req to validate*/
1-724 1010 /* LE SV TOC-1410 this is a fdp-01.5.25 req to audit*/
1-779 1011 /* LE SV TOC-1411 this is a fdp-01.5.34 req to compare*/
1-782 1012 /* LE SV TOC-1412 this is a fdp-01.5.36 req to increment*/
1-786 1013 /* LE SV TOC-1413 this is a fdp-01.5.39 req to disable*/
1-852 1014 /* LE SV TOC-1414 this is a fdp-01.6.3 req to detect error*/
1-924 1015 /* LE SV TOC-1415 this is a fdp-01.7.2 req to call isr*/
1-1067 1016 /* LE SV TOC-1416 this is a fdp-01.7.46 req to reject*/
1-1121 1017 /* LE SV TOC-1417 this is a fdp-01.7.66 req to recover*/
1-1260 1018 /* LE SV TOC-1418 this is a fdp-01.9.10 req to call isr*/
1-1263 1019 /* LE SV TOC-1419 this is a fdp-01.9.12 req to enable*/
1-1271 1020 /* LE SV TOC-1420 this is a fdp-01.9.13 req to recover*/
1-1318 1021 /* LE SV TOC-1421 this is a fdp-01.9.28 req to set Real Time Clock*/
1-1394 1022 /* LE SV TOC-1422 this is a fdp-01.9.48 req to store*/
1-1419 1023 /* LE SV TOC-1423 this is a fdp-01.9.54 req to set RTC*/
1-1425 1024 /* LE SV TOC-1424 this is a fdp-01.9.59 req to fail*/
1-1524 1025 /* LE SV TOC-008 we really should log all error calls */
1-1566 1026 /* LE SV TOC-1425 this is a fdp-01.11.5 req to assign*/
1-1970 1027 /* LE SV TOC-1426 this is a fdp-01.12.41 req to set Real Time Clock*/
1-2087 1028 /* LE SV TOC-1427 this is a fdp-01.13.6 req to transform*/
1-2304 1029 /* LE SV TOC-1428 this is a fdp-01.13.69 req to check pSOS*/
1-2401 1030 /* LE SV TOC-1429 this is a fdp-01.14.12 req to reject*/

PUI TOC-1401 TOC-1402 TOC-1403 TOC-1404 TOC-1405 TOC-1406 TOC-1407 TOC-1408 TOC-1409 TOC-1410 TOC-1411 TOC-1412 TOC-1413 TOC-1414 TOC-1415 TOC-1416 TOC-1417 TOC-1418 TOC-1419 TOC-1420 TOC-1421 TOC-1422 TOC-1423 TOC-1424 TOC-008 TOC-1425 TOC-1426 TOC-1427 TOC-1428 TOC-1429

1 TOC-1401 $This req is about fdp-01.1.27 the system shall translate $FDP $TST $1.0
2 TOC-1402 $This req is about fdp-01.1.43 the system shall compare $FDP $TST $1.0
3 TOC-1403 $This req is about fdp-01.2.11 the system shall record $FDP $TST $1.0
4 TOC-1404 $This req is about fdp-01.2.16 the system shall translate $FDP $TST $1.0
5 TOC-1405 $This req is about fdp-01.2.20 the system shall translate $FDP $TST $1.0
6 TOC-1406 $This req is about fdp-01.3.4 the system shall check pSOS $FDP $TST $1.0
7 TOC-1407 $This req is about fdp-01.4.22 the system shall process $FDP $TST $1.0
8 TOC-1408 $This req is about fdp-01.4.23 the system shall check pSOS $FDP $TST $1.0
9 TOC-1409 $This req is about fdp-01.5.3 the system shall validate $FDP $TST $1.0
10 TOC-1410 $This req is about fdp-01.5.25 the system shall audit $FDP $TST $1.0
11 TOC-1411 $This req is about fdp-01.5.34 the system shall compare $FDP $TST $1.0
12 TOC-1412 $This req is about fdp-01.5.36 the system shall increment $FDP $TST $1.0
13 TOC-1413 $This req is about fdp-01.5.39 the system shall disable $FDP $TST $1.0
14 TOC-1414 $This req is about fdp-01.6.3 the system shall detect error $FDP $TST $1.0
15 TOC-1415 $This req is about fdp-01.7.2 the system shall call isr $FDP $TST $1.0
16 TOC-1416 $This req is about fdp-01.7.46 the system shall reject $FDP $TST $1.0
17 TOC-1417 $This req is about fdp-01.7.66 the system shall recover $FDP $TST $1.0
18 TOC-1418 $This req is about fdp-01.9.10 the system shall call isr $FDP $TST $1.0
19 TOC-1419 $This req is about fdp-01.9.12 the system shall enable $FDP $TST $1.0
20 TOC-1420 $This req is about fdp-01.9.13 the system shall recover $FDP $TST $1.0
21 TOC-1421 $This req is about fdp-01.9.28 the system shall set Real Time Clock $FDP $TST $1.0
22 TOC-1422 $This req is about fdp-01.9.48 the system shall store $FDP $TST $1.0
23 TOC-1423 $This req is about fdp-01.9.54 the system shall set RTC $FDP $TST $1.0
24 TOC-1424 $This req is about fdp-01.9.59 the system shall fail $FDP $TST $1.0
25 Not in current TOC baseline file TOC-008
26 TOC-1425 $This req is about fdp-01.11.5 the system shall assign $FDP $TST $1.0
27 TOC-1426 $This req is about fdp-01.12.41 the system shall set Real Time Clock $FDP $TST $1.0
28 TOC-1427 $This req is about fdp-01.13.6 the system shall transform $FDP $TST $1.0
29 TOC-1428 $This req is about fdp-01.13.69 the system shall check pSOS $FDP $TST $1.0
30 TOC-1429 $This req is about fdp-01.14.12 the system shall reject $FDP $TST $1.0

Instrumented Source result/source/pr-app/pr-app-FDP123/fdp-02.c
logevent 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045

Source Code Comments
2-193 1031 /* LE SV TOC-1430 this is a fdp-02.2.13 req to store*/
2-286 1032 /* LE SV TOC-1431 this is a fdp-02.2.31 req to check unix*/
2-539 1033 /* LE SV TOC-008 we really should log all error calls */
2-670 1034 /* LE SV TOC-1432 this is a fdp-02.5.22 req to update*/
2-691 1035 /* LE SV TOC-1433 this is a fdp-02.5.31 req to translate*/
2-755 1036 /* LE SV TOC-1434 this is a fdp-02.5.44 req to record*/
2-786 1037 /* LE SV TOC-1435 this is a fdp-02.5.55 req to increment*/
2-967 1038 /* LE SV TOC-1436 this is a fdp-02.7.13 req to update*/
2-1116 1039 /* LE SV TOC-1437 this is a fdp-02.7.68 req to check unix*/
2-1190 1040 /* LE SV TOC-1438 this is a fdp-02.8.11 req to detect error*/
2-1238 1041 /* LE SV TOC-1439 this is a fdp-02.8.22 req to set RTC*/
2-1366 1042 /* LE SV TOC-1440 this is a fdp-02.8.62 req to check pSOS*/
2-1450 1043 /* LE SV TOC-1441 this is a fdp-02.9.6 req to store*/
2-1458 1044 /* LE SV TOC-1442 this is a fdp-02.9.13 req to verify*/
2-1644 1045 /* LE SV TOC-1443 this is a fdp-02.10.48 req to convert*/

PUI TOC-1430 TOC-1431 TOC-008 TOC-1432 TOC-1433 TOC-1434 TOC-1435 TOC-1436 TOC-1437 TOC-1438 TOC-1439 TOC-1440 TOC-1441 TOC-1442 TOC-1443

1 TOC-1430 $This req is about fdp-02.2.13 the system shall store $FDP $TST $1.0
2 TOC-1431 $This req is about fdp-02.2.31 the system shall check unix $FDP $TST $1.0
3 Not in current TOC baseline file TOC-008
4 TOC-1432 $This req is about fdp-02.5.22 the system shall update $FDP $TST $1.0
5 TOC-1433 $This req is about fdp-02.5.31 the system shall translate $FDP $TST $1.0
6 TOC-1434 $This req is about fdp-02.5.44 the system shall record $FDP $TST $1.0
7 TOC-1435 $This req is about fdp-02.5.55 the system shall increment $FDP $TST $1.0
8 TOC-1436 $This req is about fdp-02.7.13 the system shall update $FDP $TST $1.0
9 TOC-1437 $This req is about fdp-02.7.68 the system shall check unix $FDP $TST $1.0
10 TOC-1438 $This req is about fdp-02.8.11 the system shall detect error $FDP $TST $1.0
11 TOC-1439 $This req is about fdp-02.8.22 the system shall set RTC $FDP $TST $1.0
12 TOC-1440 $This req is about fdp-02.8.62 the system shall check pSOS $FDP $TST $1.0
13 TOC-1441 $This req is about fdp-02.9.6 the system shall store $FDP $TST $1.0
14 TOC-1442 $This req is about fdp-02.9.13 the system shall verify $FDP $TST $1.0
15 TOC-1443 $This req is about fdp-02.10.48 the system shall convert $FDP $TST $1.0

Instrumented Source result/source/pr-app/pr-app-FDP123/fdp-03.c
logevent 1046 1047 1048 1049 1050 1051 1052

Source Code Comments
3-114 1046 /* LE SV TOC-1444 this is a fdp-03.2.9 req to recover*/
3-126 1047 /* LE SV TOC-1445 this is a fdp-03.2.19 req to call isr*/
3-234 1048 /* LE SV TOC-1446 this is a fdp-03.2.52 req to detect error*/
3-404 1049 /* LE SV TOC-1447 this is a fdp-03.3.42 req to audit*/
3-416 1050 /* LE SV TOC-1448 this is a fdp-03.3.47 req to detect error*/
3-429 1051 /* LE SV TOC-1449 this is a fdp-03.3.53 req to recover*/
3-472 1052 /* LE SV TOC-1450 this is a fdp-03.3.64 req to call admin*/

PUI TOC-1444 TOC-1445 TOC-1446 TOC-1447 TOC-1448 TOC-1449 TOC-1450

1 TOC-1444 $This req is about fdp-03.2.9 the system shall recover $FDP $TST $1.0
2 TOC-1445 $This req is about fdp-03.2.19 the system shall call isr $FDP $TST $1.0
3 TOC-1446 $This req is about fdp-03.2.52 the system shall detect error $FDP $TST $1.0
4 TOC-1447 $This req is about fdp-03.3.42 the system shall audit $FDP $TST $1.0
5 TOC-1448 $This req is about fdp-03.3.47 the system shall detect error $FDP $TST $1.0
6 TOC-1449 $This req is about fdp-03.3.53 the system shall recover $FDP $TST $1.0
7 TOC-1450 $This req is about fdp-03.3.64 the system shall call admin $FDP $TST $1.0

Instrumented Source result/source/pr-app/pr-app-FDP123/fdp-04.c
logevent 1053

Source Code Comments
4-71 1053 /* LE SV TOC-1451 this is a fdp-04.1.9 req to set RTC*/

PUI TOC-1451

1 TOC-1451 $This req is about fdp-04.1.9 the system shall set RTC $FDP $TST $1.0

Instrumented Source result/source/pr-app/pr-app-FDP123/p_fdp-06.c
logevent 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078

Source Code Comments
5-115 1054 /* LE SV TOC-1456 this is a p_fdp-06.1.17 req to translate*/
5-127 1055 /* LE SV TOC-1457 this is a p_fdp-06.1.22 req to set Real Time Clock*/
5-160 1056 /* LE SV TOC-1458 this is a p_fdp-06.2.5 req to compare*/
5-256 1057 /* LE SV TOC-1459 this is a p_fdp-06.3.15 req to detect error*/
5-325 1058 /* LE SV TOC-1460 this is a p_fdp-06.3.36 req to translate*/
5-327 1059 /* LE SV TOC-1461 this is a p_fdp-06.3.37 req to reject*/
5-600 1060 /* LE SV TOC-1462 this is a p_fdp-06.5.1 req to transform*/
5-603 1061 /* LE SV TOC-1463 this is a p_fdp-06.5.3 req to process*/
5-686 1062 /* LE SV TOC-1464 this is a p_fdp-06.6.14 req to check pSOS*/
5-688 1063 /* LE SV TOC-1465 this is a p_fdp-06.6.15 req to translate*/
5-697 1064 /* LE SV TOC-1466 this is a p_fdp-06.6.17 req to check unix*/
5-728 1065 /* LE SV TOC-1467 this is a p_fdp-06.6.27 req to set RTC*/
5-766 1066 /* LE SV TOC-1468 this is a p_fdp-06.6.37 req to convert*/
5-778 1067 /* LE SV TOC-1469 this is a p_fdp-06.6.41 req to increment*/
5-781 1068 /* LE SV TOC-1470 this is a p_fdp-06.6.43 req to halt*/
5-903 1069 /* LE SV TOC-1471 this is a p_fdp-06.8.4 req to translate*/
5-952 1070 /* LE SV TOC-1472 this is a p_fdp-06.8.16 req to check pSOS*/
5-982 1071 /* LE SV TOC-1473 this is a p_fdp-06.8.26 req to disable*/
5-1001 1072 /* LE SV TOC-1474 this is a p_fdp-06.8.38 req to record*/
5-1038 1073 /* LE SV TOC-1475 this is a p_fdp-06.8.48 req to increment*/
5-1187 1074 /* LE SV TOC-1476 this is a p_fdp-06.8.81 req to translate*/
5-1245 1075 /* LE SV TOC-1477 this is a p_fdp-06.9.3 req to enable*/
5-1286 1076 /* LE SV TOC-1478 this is a p_fdp-06.9.19 req to record*/
5-1349 1077 /* LE SV TOC-1479 this is a p_fdp-06.9.32 req to call isr*/
5-1536 1078 /* LE SV TOC-1480 this is a p_fdp-06.10.35 req to check pSOS*/

PUI TOC-1456 TOC-1457 TOC-1458 TOC-1459 TOC-1460 TOC-1461 TOC-1462 TOC-1463 TOC-1464 TOC-1465 TOC-1466 TOC-1467 TOC-1468 TOC-1469 TOC-1470 TOC-1471 TOC-1472 TOC-1473 TOC-1474 TOC-1475 TOC-1476 TOC-1477 TOC-1478 TOC-1479 TOC-1480

1 TOC-1456 $This req is about p_fdp-06.1.17 the system shall translate $FDP $TST $1.0
2 TOC-1457 $This req is about p_fdp-06.1.22 the system shall set Real Time Clock $FDP $TST $1.0
3 TOC-1458 $This req is about p_fdp-06.2.5 the system shall compare $FDP $TST $1.0
4 TOC-1459 $This req is about p_fdp-06.3.15 the system shall detect error $FDP $TST $1.0
5 TOC-1460 $This req is about p_fdp-06.3.36 the system shall translate $FDP $TST $1.0
6 TOC-1461 $This req is about p_fdp-06.3.37 the system shall reject $FDP $TST $1.0
7 TOC-1462 $This req is about p_fdp-06.5.1 the system shall transform $FDP $TST $1.0
8 TOC-1463 $This req is about p_fdp-06.5.3 the system shall process $FDP $TST $1.0
9 TOC-1464 $This req is about p_fdp-06.6.14 the system shall check pSOS $FDP $TST $1.0
10 TOC-1465 $This req is about p_fdp-06.6.15 the system shall translate $FDP $TST $1.0
11 TOC-1466 $This req is about p_fdp-06.6.17 the system shall check unix $FDP $TST $1.0
12 TOC-1467 $This req is about p_fdp-06.6.27 the system shall set RTC $FDP $TST $1.0
13 TOC-1468 $This req is about p_fdp-06.6.37 the system shall convert $FDP $TST $1.0
14 TOC-1469 $This req is about p_fdp-06.6.41 the system shall increment $FDP $TST $1.0
15 TOC-1470 $This req is about p_fdp-06.6.43 the system shall halt $FDP $TST $1.0
16 TOC-1471 $This req is about p_fdp-06.8.4 the system shall translate $FDP $TST $1.0
17 TOC-1472 $This req is about p_fdp-06.8.16 the system shall check pSOS $FDP $TST $1.0
18 TOC-1473 $This req is about p_fdp-06.8.26 the system shall disable $FDP $TST $1.0
19 TOC-1474 $This req is about p_fdp-06.8.38 the system shall record $FDP $TST $1.0
20 TOC-1475 $This req is about p_fdp-06.8.48 the system shall increment $FDP $TST $1.0
21 TOC-1476 $This req is about p_fdp-06.8.81 the system shall translate $FDP $TST $1.0
22 TOC-1477 $This req is about p_fdp-06.9.3 the system shall enable $FDP $TST $1.0
23 TOC-1478 $This req is about p_fdp-06.9.19 the system shall record $FDP $TST $1.0
24 TOC-1479 $This req is about p_fdp-06.9.32 the system shall call isr $FDP $TST $1.0
25 TOC-1480 $This req is about p_fdp-06.10.35 the system shall check pSOS $FDP $TST $1.0

Simdata Result: analysis/pr-app-FDP123/sim.dat

done