Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
نویسندگان
چکیده
منابع مشابه
Requirements Traceability between Textual Requirements and Formal Models Using ProR
Traceability within a system description is a challenging problem of requirements engineering [1]. In particular, formal models of the system are often based on informal requirements, but creating and maintaining the traceability between the two can be challenging. In [2], we presented an incremental approach for producing a system description from an initial set of requirements. The foundation...
متن کاملAcquiring Tool Support for Traceability
Which traceability tool?’ is a question that many organisations can spend time and resources considering. It has long been a perception that a tool, once acquired and installed on a project, can address all of its traceability-related needs. However, the purchase or development of a tool to support traceability can be a costly decision. Not only can the tool become shelf-ware, organisations can...
متن کاملTool Support for Traceability-Adaptation
[Context & motivation] Traceability of software engineering artifacts is important in software development. Tools are used to establish traceability between software engineering artifacts. [Problem] One of the open traceability challenges is the traceability-configuration during usage. At any time within a project, the traceability information model (TIM) should be adaptable to changing context...
متن کاملD3TraceView: A Traceability Visualization Tool
Software traceability is the ability to relate artefacts created during the life cycle of software development. Traceability is fundamental to support several activities of the software development process such as impact analysis, software maintenance and evolution, verification and validation. Despite the importance and advances in the software traceability area, traceability practice is still...
متن کاملVOCAL : Interactive System & Tool Support
This paper illustrates the application of VOCAL (V iewpoint O riented Verifi c ation a nd Va l idation) to the development of systems incorporating an interactive graphical user interface (GUI). Many applications are now designed to operate interactively rather than in batch mode. In most cases though test processes do not adequately consider the multi-perspective approach required to test, and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.310.8