Abstract: The present invention is capable of preferably performing the establishment of a session using a predetermined protocol. In a mobile phone device applicable to an information processing apparatus according to an embodiment of the present invention, the CPU of a main control unit executes NAI middleware, performs connection using a predetermined protocol via a system layer, acquires a connection request or a disconnection request from an individual application program, and controls, on the basis of the acquired connection request or disconnection request, the connection using the predetermined protocol performed by a connection unit.

Abstract: The present invention is capable of preferably performing the establishment of a session using a predetermined protocol. In a mobile phone device applicable to an information processing apparatus according to an embodiment of the present invention, the CPU of a main control unit executes NAI middleware, performs connection using a predetermined protocol via a system layer, acquires a connection request or a disconnection request from an individual application program, and controls, on the basis of the acquired connection request or disconnection request, the connection using the predetermined protocol performed by a connection unit.

Abstract: A test case generating apparatus for generating test cases used for verifying operations of an object, includes operation specification describing unit for describing operation specifications of the object using a plurality of parallel and/or hierarchical state transition diagrams, state transition diagram searching unit for searching the plurality of state transition diagrams described by the operation specification describing unit to select a transition from a predetermined state to a state on the state transition diagram, and outputting a selection result, and action/event relation managing unit for storing relations between actions and events, and controlling a transition selection operation of the state transition diagram searching unit by managing transitions which never occur in practice.