Kabushiki Kaisha Toshiba

Matsushita Electric Industrial Co., Ltd.

Akinori Ohta

Toshiaki Tanaka

Takashi Doi

Hideyuki Aisu

Hiromasa Shin

Mikito Iwamasa

Yusuke Endoh

Yoshio Kataoka

Hiroyuki Kamio

Masatoshi Murakami

Tomoyuki Miura

A state-transition system includes a plurality of states and a first transition representing a state-change based on an external event occurred into a system to be checked. A plurality of requirement items includes a precondition and a postcondition in correspondence with the external event. By partially selecting the precondition and the postcondition from the plurality of requirement items, a state map to map a state onto truth values of the precondition and the postcondition is generated. By contracting the state-transition system with the state map, a quotient state-transition system is generated. The quotient state-transition system includes a plurality of second transitions among a plurality of groups each having states. By tracing each second transition in the quotient state-transition system, a representative transition path is generated. The representative transition path is regenerated as a transition path in the state-transition system. The transition path is output as a test case.

Apparatus and a method for generating a test case

A video recorder includes a schedule reconfiguration section having: a local deterioration determining module that determines whether a local deterioration in a recording state occurs by performing simulating the recording state obtained when the reallocated resources are used for performing the programmed recordings and comparing the simulated recording state with a recording state obtained when the resources before the reallocation is used for performing the programmed recordings; and an allocation restoring module that restores the reallocated resources at a part causing the local deterioration to the resources allocated before the reallocation when the local deterioration determining module determines the occurrence of the local deterioration.

Video recorder and method of processing recording schedule

The invention aims at providing a folding type radio terminal, a call start method and a call start program which allows the user to start a call with a simple operation. On the folding type radio terminal, when a motor driving button is pressed while an incoming signal is being received with a top lid open with respect to a main unit, a controller drives a motor to open the top lid. When a top lid state detector has detected that the top lid is fully open or a predetermined time is measured by the timer from the driving of the motor, the controllershuts down the motor. The controller performs call connection processing in response to the incoming signal so as to place the radio terminal in the call state. This starts a call.

Collapsible radio terminal, conversion start method and conversion start program

Growing community of inventors

Yokohama, Japan

Akinori Ohta