Verification support device and verification support method
In a verification support apparatus (1500), an input unit (1502) accepts input of an unverified specification description representing an unverified design object constituted by unverified model elements. A searching unit (1503) searches, from verified specification descriptions representing verifie...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Patent |
| Sprache: | chi ; eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | In a verification support apparatus (1500), an input unit (1502) accepts input of an unverified specification description representing an unverified design object constituted by unverified model elements. A searching unit (1503) searches, from verified specification descriptions representing verified design objects constituted by verified model elements, a verified specification description identical or similar to the unverified specification description input to the input unit (1502) based on the unverified model elements and the verified model elements. A logic-verification-content extracting unit (1504) extracts contents of logic verification performed on the verified design object, based on a result of search by the searching unit (1503). An output unit outputs the contents of the logic verification extracted by the logic-verification-content extracting unit (1504). |
|---|