Interactive method for cumulative analysis of software formal models behavior
The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce as a result only one, usually first-found, path per specified property (which...
Saved in:
| Date: | 2018 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Інститут програмних систем НАН України
2018
|
| Series: | Проблеми програмування |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/144590 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Interactive method for cumulative analysis of software formal models behavior / A. Kolchin // Проблеми програмування. — 2018. — № 2-3. — С. 115-123. — Бібліогр.: 12 назв. — англ. |