An Automated Technique to Support Software Validation
Journal: International Journal of Science and Research (IJSR) (Vol.7, No. 6)Publication Date: 2018-06-05
Authors : Abdelrasoul Y. Ibrahim; Nahid A. Ali; Amal A. Mirghani;
Page : 412-417
Keywords : Validation of Specification; Software Requirement Specification; Data Types; Behavioral Specification model; axiomatic representation; Alneelain Specification Language; Alneelain Validation Tool;
Abstract
Validation of software specification is a fundamental issue to make sure that the specification is demonstrates all software requirements. As the specification is the starting phase of software development lifecycle processes, a validation consist essentially of stated attributes about the specification, the validation then provides that the specification satisfies the all those attributes. Such attributes are completeness, minimality, and simplest. data types are software which has functional attributes can be specified uses a behavioral specification. This specification is represented by axioms and rules. Alneelain specification language which is uses behavioral based specification is used to specify data types in form of axiomatic specification. Alneelain validation tool is created to use to validate the specification of data types.
Other Latest Articles
- Evaluation of Organ at Risk Doses Based on 2D Treatment Planning in Intracavitary Brachytherapy of Cervical Cancer at Radioisotope Center in Khartoum State
- Significance of Histopathology in Leprosy in Western Part of India - An Observational Study
- Correlation between HIF-1? and CD44 with Radiotherapy Response in Stage IIB-IIIB Cervical Squamous Cell Carcinoma
- Survey on Knowledge and Attitude about Eye Donation among Caregivers of Admitted Patients at Tertiary Care Hospital, Karad
- Food Label and its influence on Consumer Buying Behavior: A Review of Research Studies
Last modified: 2021-06-28 19:15:41