CORDET Framework - C2 Implementation
Verified Items
Global CrFwAppSmTestCase1 ()

Application SM Transition: IPS->START_UP

Application SM Transition: START_UP->NORMAL (with transition guard evaluating TRUE)

Application SM Transition: START_UP->NORMAL (with transition guard evaluating FALSE)

Application SM Transition: NORMAL->RESET

Application SM Transition: RESET->NORMAL (with transition guard evaluating TRUE)

Application SM Transition: RESET->NORMAL (with transition guard evaluating FALSE)

Application SM Transition: NORMAL->SHUTDOWN

Application SM Transition: SHUTDOWN->FPS (with transition guard evaluating TRUE)

Application SM Transition: SHUTDOWN->FPS (with transition guard evaluating FALSE)

Global CrFwBaseCmpTestCase1 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->FPS

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwInCmdTestCase1 ()
InCommand SM Transition: IPS->ACCEPTED
Global CrFwInCmdTestCase10 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

InCommand Outcome Report: crCmdAckPrgSucc

Global CrFwInCmdTestCase11 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

InCommand SM Transition: PROGRESS->CPS2

InCommand SM Transition: CPS2->TERMINATED

InCommand Outcome Report: crCmdAckTrmSucc

Global CrFwInCmdTestCase12 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

InCommand SM Transition: PROGRESS->CPS2

InCommand SM Transition: CPS2->TERMINATED

InCommand Outcome Report: crCmdAckStrSucc

InCommand Outcome Report: crCmdAckPrgSucc

InCommand Outcome Report: crCmdAckTrmSucc

Global CrFwInCmdTestCase2 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

Global CrFwInCmdTestCase3 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->ABORTED

InCommand Outcome Report: crCmdAckStrFail

Global CrFwInCmdTestCase5 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

Global CrFwInCmdTestCase6 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

InCommand SM Transition: PROGRESS->CPS2

InCommand SM Transition: CPS2->TERMINATED

Global CrFwInCmdTestCase7 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

InCommand SM Transition: PROGRESS->CPS2

InCommand SM Transition: CPS2->ABORTED

InCommand Outcome Report: crCmdAckPrgFail

Global CrFwInCmdTestCase8 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

InCommand SM Transition: PROGRESS->CPS2

InCommand SM Transition: CPS2->TERMINATED

InCommand Outcome Report: crCmdAckTrmFail

Global CrFwInCmdTestCase9 ()

InCommand SM Transition: IPS->ACCEPTED

InCommand SM Transition: ACCEPTED->CPS1

InCommand SM Transition: CPS1->PROGRESS

InCommand Outcome Report: crCmdAckStrSucc

Global CrFwInFactoryTestCase1 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwInFactoryTestCase2 ()

Application Error: crIllInCmdKind

Application Error: crInCmdAllocationFail

Global CrFwInFactoryTestCase3 ()

Base SM Transition: CONFIGURED->FPS

Base SM Transition: CONFIGURED->CONFIGURED

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwInFactoryTestCase4 ()
Application Error: crInCmdRelErr
Global CrFwInFactoryTestCase5 ()

Application Error: crIllInRepKind

Application Error: crInRepAllocationFail

Global CrFwInFactoryTestCase6 ()

Base SM Transition: CONFIGURED->FPS

Base SM Transition: CONFIGURED->CONFIGURED

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwInFactoryTestCase7 ()
Application Error: crInRepRelErr
Global CrFwInLoaderTestCase1 ()

Base Component SM Transition: IPS->CREATED

Base Component SM Transition: CREATED->INITIALIZED

Base Component SM Transition: INITIALIZED->CONFIGURED

Global CrFwInLoaderTestCase10 ()

InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application

InLoader Load Command/Report Procedure: Packet Type is Valid

InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep

InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED

InLoader Load Command/Report Procedure: Load Operation Succeeded

InLoader Load Command/Report Procedure: Component Being Loaded is an InCommand && No Acknowledgement of Acceptance is Required

Global CrFwInLoaderTestCase11 ()

InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application

InLoader Load Command/Report Procedure: Packet Type is Valid

InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep

InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED

InLoader Load Command/Report Procedure: Load Operation Succeeded

InLoader Load Command/Report Procedure: Component Being Loaded is an InCommand && Acknowledgement of Acceptance is Required

Global CrFwInLoaderTestCase2 ()
InLoader Execution Procedure: No Packet Returned by InStream
Global CrFwInLoaderTestCase3 ()
InLoader Execution Procedure: Packet Destination is Invalid
Global CrFwInLoaderTestCase4 ()
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is not the Host Application
Global CrFwInLoaderTestCase5 ()

InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application

InLoader Load Command/Report Procedure: Packet Type is Invalid

Application Error: crIllInRepKind

Global CrFwInLoaderTestCase6 ()

InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application

InLoader Load Command/Report Procedure: Packet Type is Valid

InLoader Load Command/Report Procedure: Make Operation Fails

Application Error: crInRepAllocationFail

Global CrFwInLoaderTestCase7 ()

InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application

InLoader Load Command/Report Procedure: Packet Type is Valid

InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep

InLoader Load Command/Report Procedure: InCmd/InRep is not in State CONFIGURED

Global CrFwInLoaderTestCase8 ()

InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application

InLoader Load Command/Report Procedure: Packet Type is Valid

InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep

InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED

InLoader Load Command/Report Procedure: Load Operation Failed

Application Error: crInManagerPcrlFull

Global CrFwInLoaderTestCase9 ()

InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application

InLoader Load Command/Report Procedure: Packet Type is Valid

InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep

InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED

InLoader Load Command/Report Procedure: Load Operation Succeeded

InLoader Load Command/Report Procedure: Component Being Loaded is an InReport

Global CrFwInManagerTestCase1 ()

Base Component SM Transition: IPS->CREATED

Base Component SM Transition: CREATED->INITIALIZED

Base Component SM Transition: INITIALIZED->CONFIGURED

Application Error: crInManagerIllId

Global CrFwInManagerTestCase2 ()

Base Component SM Transition: CONFIGURED->CONFIGURED

InManager Load Procedure: PCRL is full

InManager Load Procedure: PCRL is not full

Error Report: crInManagerPcrlFull

Global CrFwInManagerTestCase3 ()

InManager Execution Procedure: i is smaller or equal to number of items in PCRL

InManager Execution Procedure: i is greater than the number of items in PCRL

InManager Execution Procedure: Flag_1 is true

InManager Load Procedure: PCRL is not full

Global CrFwInManagerTestCase4 ()

InManager Execution Procedure: i is smaller or equal to number of items in PCRL

InManager Execution Procedure: i is greater than the number of items in PCRL

InManager Execution Procedure: Flag_1 is true

InManager Execution Procedure: Flag_1 is false

InManager Load Procedure: PCRL is not full

Global CrFwInManagerTestCase5 ()

InManager Execution Procedure: i is smaller or equal to number of items in PCRL

InManager Execution Procedure: i is greater than the number of items in PCRL

InManager Execution Procedure: Flag_1 is true

InManager Execution Procedure: Flag_1 is false

InManager Load Procedure: PCRL is not full

Global CrFwInManagerTestCase6 ()

InManager Execution Procedure: i is smaller or equal to number of items in PCRL

InManager Execution Procedure: i is greater than the number of items in PCRL

InManager Execution Procedure: outCmp is in state PENDING

InManager Execution Procedure: outCmp is not in state PENDING

InManager Load Procedure: PCRL is not full

Global CrFwInManagerTestCase7 ()
InManager Load Procedure: PCRL is not full
Global CrFwInManagerTestCase8 ()
InManager Load Procedure: PCRL is not full
Global CrFwInRegistryTestCase1 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwInRegistryTestCase3 ()
Base SM Transition: CONFIGURED->FPS
Global CrFwInRegistryTestCase4 ()

Base SM Transition: CONFIGURED->CONFIGURED

Enable State Determination Procedure: Service Type is Enabled

Global CrFwInStreamTestCase1 ()

Application Error: crInStreamIllId

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

InStream SM Transition: IPS->WAITING

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwInStreamTestCase2 ()

InStream SM Transition: WAITING->WAITING (through CPS)

InStream SM Transition: WAITING->PCKT_AVAIL (through CPS)

InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (through CPS)

InStream SM Transition: PCKT_AVAIL->WAITING

Packet Collect Procedure: MW is in state WAITING and loop is not entered

Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL

Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL

Global CrFwInStreamTestCase3 ()

InStream SM Transition: WAITING->PCKT_AVAIL

InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (self-transition)

Base SM Transition: CONFIGURED->FPS

Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL

Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL

Global CrFwInStreamTestCase4 ()

Error Report: crInStreamPQFull

Error Report: crInStreamSCErr

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

InStream SM Transition: IPS->WAITING

InStream SM Transition: WAITING->PCKT_AVAIL

InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (self-transition)

Base SM Transition: CONFIGURED->CONFIGURED

Packet Collect Procedure: Flag_1 is false

Packet Collect Procedure: PQ is full

Global CrFwInStreamTestCase5 ()

Application Error: crNotInStream

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->INITIALIZED

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Initialization Procedure: Initialization Action Failed

Initialization Procedure: Initialization Check Failed

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Action Failed

Reset Procedure: Configuration Check Successful

Reset Procedure: Configuration Check Failed

Global CrFwInStreamTestCase6 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->FPS

InStream SM Transition: IPS->PCKT_AVAIL

Global CrFwInStreamTestCase7 ()

InStream SM Transition: WAITING->PCKT_AVAIL

InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (through CPS)

InStream SM Transition: PCKT_AVAIL->WAITING

Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL

Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL

Error Report: crInStreamIllGroup

Global CrFwOutCmpTestCase2 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->ABORTED

Global CrFwOutCmpTestCase3 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->PENDING

OutComponent SM Transition: PENDING->TERMINATED

Send Packet Procedure: OutStreamRegistry returns nothing

Error Report: crOutCmpSendPcktInvDest

Global CrFwOutCmpTestCase4 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->PENDING

OutComponent SM Transition: PENDING->TERMINATED

Send Packet Procedure: OutStreamRegistry returns an OutStream

Global CrFwOutCmpTestCase5 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->PENDING

OutComponent SM Transition: PENDING->TERMINATED

Send Packet Procedure: OutStreamRegistry returns an OutStream

Global CrFwOutCmpTestCase6 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->ABORTED

OutComponent SM Transition: CPS1->PENDING

OutComponent SM Transition: PENDING->TERMINATED

Send Packet Procedure: OutStreamRegistry returns an OutStream

Global CrFwOutCmpTestCase7 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->PENDING

OutComponent SM Transition: PENDING->TERMINATED

Send Packet Procedure: OutStreamRegistry returns an OutStream

Global CrFwOutCmpTestCase8 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->PENDING

OutComponent SM Transition: PENDING->TERMINATED

Send Packet Procedure: OutStreamRegistry returns nothing

Global CrFwOutCmpTestCase9 ()

OutComponent SM Transition: IPS->LOADED

OutComponent SM Transition: LOADED->CPS1

OutComponent SM Transition: CPS1->PENDING

OutComponent SM Transition: PENDING->ABORTED

Send Packet Procedure: OutStreamRegistry returns valid destination

Global CrFwOutFactoryTestCase1 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwOutFactoryTestCase2 ()

Application Error: crIllOutCmpKind

Application Error: crOutCmpAllocationFail

Global CrFwOutFactoryTestCase3 ()

Base SM Transition: CONFIGURED->FPS

Base SM Transition: CONFIGURED->CONFIGURED

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwOutFactoryTestCase4 ()
Application Error: crOutCmpRelErr
Global CrFwOutLoaderTestCase1 ()

Base Component SM Transition: IPS->CREATED

Base Component SM Transition: CREATED->INITIALIZED

Base Component SM Transition: INITIALIZED->CONFIGURED

OutLoader Load Procedure: success branch

OutLoader Load Procedure: failure branch

Global CrFwOutManagerTestCase1 ()

Base Component SM Transition: IPS->CREATED

Base Component SM Transition: CREATED->INITIALIZED

Base Component SM Transition: INITIALIZED->CONFIGURED

Application Error: crOutManagerIllId

Global CrFwOutManagerTestCase2 ()

Base Component SM Transition: CONFIGURED->CONFIGURED

OutManager Load Procedure: POCL is full

OutManager Load Procedure: POCL is not full

Error Report: crOutManagerPcrlFull

Global CrFwOutManagerTestCase3 ()

OutManager Execution Procedure: i is smaller or equal to number of items in POCL

OutManager Execution Procedure: i is greater than the number of items in POCL

OutManager Execution Procedure: outCmp is in state PENDING

OutManager Execution Procedure: outCmp is not in state PENDING

OutManager Load Procedure: POCL is not full

Global CrFwOutManagerTestCase4 ()

OutManager Execution Procedure: i is smaller or equal to number of items in POCL

OutManager Execution Procedure: i is greater than the number of items in POCL

OutManager Execution Procedure: outCmp is in state PENDING

OutManager Execution Procedure: outCmp is not in state PENDING

OutManager Load Procedure: POCL is not full

Global CrFwOutRegistryTestCase1 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwOutRegistryTestCase3 ()

Enable State Determination Procedure: Service Type is Disabled

Enable State Determination Procedure: Service Type is Enabled

Enable State Determination Procedure: Service Sub-Type is Disabled

Enable State Determination Procedure: Service Sub-Type is Enabled

Enable State Determination Procedure: Out-Going Cmd/Rep has no Discriminant

Global CrFwOutRegistryTestCase4 ()

Enable State Determination Procedure: Service Type is Disabled

Enable State Determination Procedure: Service Type is Enabled

Enable State Determination Procedure: Service Sub-Type is Disabled

Enable State Determination Procedure: Service Sub-Type is Enabled

Enable State Determination Procedure: Out-Going Cmd/Rep has Discriminant

Enable State Determination Procedure: Discriminant is Disabled

Enable State Determination Procedure: Discriminant is Enabled

Global CrFwOutRegistryTestCase5 ()

Enable State Determination Procedure: Service Type is Enabled

Enable State Determination Procedure: Service Sub-Type is Enabled

Enable State Determination Procedure: Out-Going Cmd/Rep has Discriminant

Enable State Determination Procedure: Discriminant is Disabled

Enable State Determination Procedure: Discriminant is Enabled

Global CrFwOutRegistryTestCase7 ()

Registry Start Tracking Procedure: Branch "Registry is Not Full"

Registry Start Tracking Procedure: Branch "Registry is Full"

Registry Update Procedure: Branch "Component is being tracked in Registry"

Registry Update Procedure: Branch "Component is not being tracked in Registry"

Global CrFwOutRegistryTestCase8 ()

Base SM Transition: CONFIGURED->FPS

Enable State Determination Procedure: Service Type is Enabled

Global CrFwOutRegistryTestCase9 ()

Base SM Transition: CONFIGURED->CONFIGURED

Enable State Determination Procedure: Service Type is Enabled

Global CrFwOutStreamTestCase1 ()

Error Report: crOutStreamPQFull

Application Error: crOutStreamIllId

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->FPS

OutStream SM Transition: IPS->READY

OutStream SM Transition: READY->BUFFERING

OutStream SM Transition: BUFFERING->BUFFERING

OutStream SM Transition: Enqueue Action with PQ Not Full

OutStream SM Transition: Enqueue Action with PQ Full

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwOutStreamTestCase2 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->INITIALIZED

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Initialization Procedure: Initialization Action Failed

Initialization Procedure: Initialization Check Failed

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Action Failed

Reset Procedure: Configuration Check Successful

Reset Procedure: Configuration Check Failed

Global CrFwOutStreamTestCase3 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->CONFIGURED

OutStream SM Transition: IPS->READY

OutStream SM Transition: READY->BUFFERING

OutStream SM Transition: BUFFERING->READY

OutStream SM Transition: Enqueue Action with No More Packets Available

OutStream SM Transition: Enqueue Action with PQ Not Full

OutStream SM Transition: Flush Packet Queue Action with Middleware Accepting Packet

OutStream SM Transition: Flush Packet Queue Action with Middleware Rejecting Packet

OutStream SM Transition: Flush Packet Queue Action with Packet Originating in Application

OutStream SM Transition: Flush Packet Queue Action with Legal Packet Group

OutStream SM Transition: Send or Enqueue Action with No More Packets Available

OutStream SM Transition: Send or Enqueue Action with Middleware Accepting Packet

OutStream SM Transition: Send or Enqueue Action with Middleware Rejecting Packet

OutStream SM Transition: Send or Enqueue Action with Packet Originating in Application

OutStream SM Transition: Send or Enqueue Action with Legal Packet Group

OutStream SM Transition: Flush Packet Queue Action with Illegal Group Report

OutStream SM Transition: Send or Enqueue Action with Illegal Group Report

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Application Error: crOutStreamUndefDest

Global CrFwOutStreamTestCase4 ()
Application Error: crOutStreamUndefDest
Global CrFwOutStreamTestCase5 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->FPS

Global CrFwOutStreamTestCase6 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->CONFIGURED

OutStream SM Transition: IPS->READY

OutStream SM Transition: READY->BUFFERING

OutStream SM Transition: BUFFERING->READY

OutStream SM Transition: Enqueue Action with PQ Not Full

OutStream SM Transition: Flush Packet Queue Action with Middleware Accepting Packet

OutStream SM Transition: Flush Packet Queue Action with Middleware Rejecting Packet

OutStream SM Transition: Flush Packet Queue Action with Packet not Originating in Application

OutStream SM Transition: Send or Enqueue Action with Packet not Originating in Application

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Global CrFwOutStreamTestCase7 ()

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->CONFIGURED

OutStream SM Transition: IPS->READY

OutStream SM Transition: READY->BUFFERING

OutStream SM Transition: BUFFERING->READY

OutStream SM Transition: Flush Packet Queue Action with Illegal Group Report

OutStream SM Transition: Send or Enqueue Action with Illegal Group Report

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

Error Report: crOutStreamIllGroup

Global CrFwPacketTestCase1 ()
Application Error: crPcktAllocationFail
Global CrFwPacketTestCase2 ()

Application Error: crPcktAllocationFail

Application Error: crPcktRelErr

P&P Software GmbH, Copyright 2012-2013, All Rights Reserved