18649 - Integration Test Log

18649 Spring 2010
Group 7 - Justin Ray/justinr2

The table below describes the integration tests and summarizes the current integration test results. For each submission, this table must be consistent with the code and test files submitted with that version of the portfolio. Be sure to include all information listed in the project handouts.

Sequence Diagram	Controller File	Message Injector File	Number of Passed Assertions	Number of Failed Assertions	Test Results	Notes
SD1A	sd1a.cf	sd1a.mf	2	0	injection-sd1a.mf-0.stats
SD1B	sd1b.cf	sd1b.mf	4	0	injection-sd1b.mf-0.stats sd1b-0.out	Cannot verify the 1B.2a with automate testing Manual Verifiations:of sd1b-0.out: (See Note 1) 3.8s. 1B.2A - CoinOut = true
SD1C	sd1c.cf	sd1c.mf	19	0	injection-sd1c.mf-0.stats	Testing revealed issues #14 and #15
SD2A	sd2a.cf	sd2a.mf	19	0	injection-sd2a.mf-0.stats
SD3A	sd3a.cf	sd3a.mf	3	0	injection-sd3a.mf-0.stats sd3a-0 .out	Cannot verify the 1B.2a, 2b, 2c, 2d with automate testing Manual Verifiations:of sd1b-0.out: (See Note 1) 3.2s. 1B.2a - CoinOut = true 3.4s. 1B.2b - CoinOut = false 3.4s. 1B.2c - CoinCount=1 3.5s. 1B.2d - CoinOut = true
SD4A	sd4a.cf	sd4a.mf	2	0	injection-sd4a.mf-0.stats
SD4B	sd4b.cf	sd4b.mf	2	0	injection-sd4b.mf-0.stats

Note 1: Because of the short duration pulse of the CoinOut output , this output must be tested manually. See the discussion notes for the SodaMachine example for further discussion.

To have a test like this (where all assertions do not reliably pass), you must obtain TA approval. It should not be necessary for the elevator because the elevator does not have any pulse outputs. In any case, it is in your best interest to avoid them because you will have to manually verify them and save the output every time you run your tests.

Integration Test Peer Review Status

NOTE: the review and author are the same in this example, but in your project they must be different.

Sequence Diagram	Review Conducted by	Each arc from an environment sensor corresponde to one of more messages?	Each injected message correspond to an arc or precondition?	Each arc from a controller correspond to one or more assertions?	Each assertion correspond to one or more arcs or pre/post condition for a controller?
SD1A	justinr2	yes	yes	yes	yes
SD1B	justinr2	yes	yes	yes (except for manual verification as noted)	yes
SD1C	justinr2	yes	yes	yes	yes
SD2A	justinr2	yes	yes	yes	yes
SD3A	justinr2	yes	yes	yes (except for manual verification as noted)	yes
SD4A	justinr2	yes	yes	yes	yes
SD4B	justinr2	yes	yes	yes	yes