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 16:14:10

Simulation Report

Instrumented Source result/source/pr-app/pr-app-RDP123/rdp-01.c
logevent 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019

Source Code Comments
1-69 1001 /* LE SV TOC-2601 this is a rdp-01.1.5 req to disable*/
1-106 1002 /* LE SV TOC-2602 this is a rdp-01.2.3 req to recover*/
1-137 1003 /* LE SV TOC-2603 this is a rdp-01.2.9 req to enable*/
1-140 1004 /* LE SV TOC-2604 this is a rdp-01.2.10 req to record*/
1-263 1005 /* LE SV TOC-2605 this is a rdp-01.2.41 req to process*/
1-274 1006 /* LE SV TOC-2606 this is a rdp-01.2.45 req to record*/
1-318 1007 /* LE SV TOC-2607 this is a rdp-01.2.54 req to disable*/
1-407 1008 /* LE SV TOC-2608 this is a rdp-01.3.2 req to check pSOS*/
1-451 1009 /* LE SV TOC-2609 this is a rdp-01.3.14 req to verify*/
1-453 1010 /* LE SV TOC-2610 this is a rdp-01.3.15 req to increment*/
1-518 1011 /* LE SV TOC-2611 this is a rdp-01.3.25 req to reject*/
1-593 1012 /* LE SV TOC-2612 this is a rdp-01.3.39 req to reject*/
1-690 1013 /* LE SV TOC-2613 this is a rdp-01.3.61 req to set RTC*/
1-765 1014 /* LE SV TOC-2614 this is a rdp-01.3.81 req to translate*/
1-813 1015 /* LE SV TOC-2615 this is a rdp-01.3.98 req to convert*/
1-882 1016 /* LE SV TOC-2616 this is a rdp-01.4.16 req to detect error*/
1-955 1017 /* LE SV TOC-2617 this is a rdp-01.5.2 req to assign*/
1-957 1018 /* LE SV TOC-2618 this is a rdp-01.5.3 req to process*/
1-982 1019 /* LE SV TOC-2619 this is a rdp-01.5.15 req to store*/

PUI TOC-2601 TOC-2602 TOC-2603 TOC-2604 TOC-2605 TOC-2606 TOC-2607 TOC-2608 TOC-2609 TOC-2610 TOC-2611 TOC-2612 TOC-2613 TOC-2614 TOC-2615 TOC-2616 TOC-2617 TOC-2618 TOC-2619

1 TOC-2601 $This req is about rdp-01.1.5 the system shall disable $RDP $TST $1.0
2 TOC-2602 $This req is about rdp-01.2.3 the system shall recover $RDP $TST $1.0
3 TOC-2603 $This req is about rdp-01.2.9 the system shall enable $RDP $TST $1.0
4 TOC-2604 $This req is about rdp-01.2.10 the system shall record $RDP $TST $1.0
5 TOC-2605 $This req is about rdp-01.2.41 the system shall process $RDP $TST $1.0
6 TOC-2606 $This req is about rdp-01.2.45 the system shall record $RDP $TST $1.0
7 TOC-2607 $This req is about rdp-01.2.54 the system shall disable $RDP $TST $1.0
8 TOC-2608 $This req is about rdp-01.3.2 the system shall check pSOS $RDP $TST $1.0
9 TOC-2609 $This req is about rdp-01.3.14 the system shall verify $RDP $TST $1.0
10 TOC-2610 $This req is about rdp-01.3.15 the system shall increment $RDP $TST $1.0
11 TOC-2611 $This req is about rdp-01.3.25 the system shall reject $RDP $TST $1.0
12 TOC-2612 $This req is about rdp-01.3.39 the system shall reject $RDP $TST $1.0
13 TOC-2613 $This req is about rdp-01.3.61 the system shall set RTC $RDP $TST $1.0
14 TOC-2614 $This req is about rdp-01.3.81 the system shall translate $RDP $TST $1.0
15 TOC-2615 $This req is about rdp-01.3.98 the system shall convert $RDP $TST $1.0
16 TOC-2616 $This req is about rdp-01.4.16 the system shall detect error $RDP $TST $1.0
17 TOC-2617 $This req is about rdp-01.5.2 the system shall assign $RDP $TST $1.0
18 TOC-2618 $This req is about rdp-01.5.3 the system shall process $RDP $TST $1.0
19 TOC-2619 $This req is about rdp-01.5.15 the system shall store $RDP $TST $1.0

Instrumented Source result/source/pr-app/pr-app-RDP123/rdp-02.c
logevent 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039

Source Code Comments
2-69 1020 /* LE SV TOC-2620 this is a rdp-02.1.13 req to check pSOS*/
2-80 1021 /* LE SV TOC-2621 this is a rdp-02.1.17 req to reject*/
2-88 1022 /* LE SV TOC-2622 this is a rdp-02.1.18 req to check unix*/
2-95 1023 /* LE SV TOC-2623 this is a rdp-02.1.23 req to update*/
2-147 1024 /* LE SV TOC-2624 this is a rdp-02.1.41 req to compare*/
2-244 1025 /* LE SV TOC-2625 this is a rdp-02.2.14 req to process*/
2-268 1026 /* LE SV TOC-2626 this is a rdp-02.2.19 req to audit*/
2-468 1027 /* LE SV TOC-2627 this is a rdp-02.5.3 req to set Real Time Clock*/
2-500 1028 /* LE SV TOC-2628 this is a rdp-02.5.15 req to translate*/
2-583 1029 /* LE SV TOC-2629 this is a rdp-02.5.31 req to inhibit*/
2-600 1030 /* LE SV TOC-2630 this is a rdp-02.5.35 req to call isr*/
2-636 1031 /* LE SV TOC-2631 this is a rdp-02.5.40 req to assign*/
2-846 1032 /* LE SV TOC-2632 this is a rdp-02.6.31 req to convert*/
2-906 1033 /* LE SV TOC-2633 this is a rdp-02.6.48 req to compare*/
2-1059 1034 /* LE SV TOC-2634 this is a rdp-02.7.51 req to convert*/
2-1075 1035 /* LE SV TOC-2635 this is a rdp-02.7.54 req to assign*/
2-1087 1036 /* LE SV TOC-2636 this is a rdp-02.7.59 req to disable*/
2-1209 1037 /* LE SV TOC-2637 this is a rdp-02.8.17 req to compare*/
2-1269 1038 /* LE SV TOC-2638 this is a rdp-02.8.32 req to disable*/
2-1353 1039 /* LE SV TOC-2639 this is a rdp-02.9.6 req to recover*/

PUI TOC-2620 TOC-2621 TOC-2622 TOC-2623 TOC-2624 TOC-2625 TOC-2626 TOC-2627 TOC-2628 TOC-2629 TOC-2630 TOC-2631 TOC-2632 TOC-2633 TOC-2634 TOC-2635 TOC-2636 TOC-2637 TOC-2638 TOC-2639

1 TOC-2620 $This req is about rdp-02.1.13 the system shall check pSOS $RDP $TST $1.0
2 TOC-2621 $This req is about rdp-02.1.17 the system shall reject $RDP $TST $1.0
3 TOC-2622 $This req is about rdp-02.1.18 the system shall check unix $RDP $TST $1.0
4 TOC-2623 $This req is about rdp-02.1.23 the system shall update $RDP $TST $1.0
5 TOC-2624 $This req is about rdp-02.1.41 the system shall compare $RDP $TST $1.0
6 TOC-2625 $This req is about rdp-02.2.14 the system shall process $RDP $TST $1.0
7 TOC-2626 $This req is about rdp-02.2.19 the system shall audit $RDP $TST $1.0
8 TOC-2627 $This req is about rdp-02.5.3 the system shall set Real Time Clock $RDP $TST $1.0
9 TOC-2628 $This req is about rdp-02.5.15 the system shall translate $RDP $TST $1.0
10 TOC-2629 $This req is about rdp-02.5.31 the system shall inhibit $RDP $TST $1.0
11 TOC-2630 $This req is about rdp-02.5.35 the system shall call isr $RDP $TST $1.0
12 TOC-2631 $This req is about rdp-02.5.40 the system shall assign $RDP $TST $1.0
13 TOC-2632 $This req is about rdp-02.6.31 the system shall convert $RDP $TST $1.0
14 TOC-2633 $This req is about rdp-02.6.48 the system shall compare $RDP $TST $1.0
15 TOC-2634 $This req is about rdp-02.7.51 the system shall convert $RDP $TST $1.0
16 TOC-2635 $This req is about rdp-02.7.54 the system shall assign $RDP $TST $1.0
17 TOC-2636 $This req is about rdp-02.7.59 the system shall disable $RDP $TST $1.0
18 TOC-2637 $This req is about rdp-02.8.17 the system shall compare $RDP $TST $1.0
19 TOC-2638 $This req is about rdp-02.8.32 the system shall disable $RDP $TST $1.0
20 TOC-2639 $This req is about rdp-02.9.6 the system shall recover $RDP $TST $1.0

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

done