| 摘要 |
PROBLEM TO BE SOLVED: To automate and reduce man-hour requirements for the verification of a new service developed by the combination of an additional service with a developed service. SOLUTION: In the verification of a third, combined service model where a second, additional service model is added to a first, developed service model, the second model inspection code of the second service model part of the third service model is generated and combined with the first model inspection code of the first service model to generate the third model inspection code of the third service model, and the third service model is verified on the basis of the third model inspection code except the first model inspection mode, for example, of only the second model inspection code. COPYRIGHT: (C)2009,JPO&INPIT
|
