| Autor: |
Reema Freihat, Hani Bani-Salameh, Hala Yousef, Fadi Wedyan, Suzan Wedyan |
| Rok vydání: |
2017 |
| Předmět: |
|
| Zdroj: |
2017 International Conference on Engineering and Technology (ICET). |
| DOI: |
10.1109/icengtechnol.2017.8308207 |
| Popis: |
Finding faults in early stages of software development decreases the cost of testing and increases system reliability. For safety-critical software, it is vital to perform throughly verification procedures. Model-Checking can find many faults in an early stages, and therefore, it represent an important verification approach. In this paper, we use domain engineering to capture important features of model-checking tools. We used FODA method (Feature Oriented Domain Analysis) to describe the common features of important model-checking tools. We expect our results to help software engineers to identify tools that better fit their needs. Our results can also help in improving these tools. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
