An Automatic Generation and Verification Method of Software Requirements Specification
نویسندگان
چکیده
The generation of standardized requirements specification documents plays a crucial role in software processes. However, the manual composition specifications is laborious and time-consuming task, often leading to errors that deviate from actual requirements. To address this issue, paper proposes an automated method for generating utilizing knowledge graph graphviz. Furthermore, order overcome limitations existing requirement process, such as inadequate emphasis on data information evaluation, we enhance traditional U/C matrix by introducing S/U/C matrix. This novel represents outcomes data/function systematic analysis, verification facilitated through design inspection rules. Experimental results demonstrate generated using achieve standardization adherence regulations, while devised rules facilitate updating iteration specifications.
منابع مشابه
Formal Specification and Automatic Verification
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This textbook introduces three of these techniques, based on logic and automata: Duration Calculus, Timed Automata, and PLC-A...
متن کاملautomatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولSoftware Specification Refinement and Verification Method with I-Mathic Studio
A software design usually manifests a composition of software specifications. It consists of hierarchies of black box and white box specifications which are subject to refinement verification. Refinement verification is a modelchecking process that proves the correctness of software specifications using formal methods. Although this is a powerful tool for developing reliable and robust software...
متن کاملSoftware Requirements Specification
Unified University Inventory System (UUIS), is an inventory system created for the Imaginary University of Arctica (IUfA) to facilitate its inventory management, of all the faculties in one system. Team 1 elucidates the functions of the system and the characteristics of the users who have access to these functions. It shows the access restrictions to different functionalities of the system prov...
متن کاملAn Approach for Interoperability Requirements Specification and Verification
Enterprises are today involved in collaborative processes with other partners sharing common economical interests in confidence. This allows these enterprises to focus on their core business, to optimize, and to be effective to respond to customers’ needs. Implicitly, a partner that wishes to become involved in a partnership must demonstrate numerous qualities and enable to gain the confidence ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2023
ISSN: ['2079-9292']
DOI: https://doi.org/10.3390/electronics12122734