International Journal of Science and Research (IJSR)

International Journal of Science and Research (IJSR)
Since Year 2012 | Open Access | Fully Refereed | Peer Reviewed

ISSN: 2319-7064




Downloads: 150

Research Paper | Computer Science & Engineering | Malaysia | Volume 7 Issue 6, June 2018


An Automated Technique to Support Software Validation

Abdelrasoul Y. Ibrahim | Nahid A. Ali | Amal A. Mirghani


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.


Keywords: Validation of Specification, Software Requirement Specification, Data Types, Behavioral Specification model, axiomatic representation, Alneelain Specification Language, Alneelain Validation Tool


Edition: Volume 7 Issue 6, June 2018,


Pages: 412 - 417


How to Cite this Article?

Abdelrasoul Y. Ibrahim, Nahid A. Ali, Amal A. Mirghani, "An Automated Technique to Support Software Validation", International Journal of Science and Research (IJSR), Volume 7 Issue 6, June 2018, pp. 412-417, https://www.ijsr.net/get_abstract.php?paper_id=ART20182930

How to Share this Article?

Enter Your Email Address




Similar Articles with Keyword 'Data Types'

Downloads: 122 | Weekly Hits: ⮙1 | Monthly Hits: ⮙2

Research Paper, Computer Science & Engineering, India, Volume 5 Issue 8, August 2016

Pages: 991 - 995

A Study and Comparative Analysis of Cryptographic Algorithms for Various File Formats

M. Meena [3] | A. Komathi [2]

Share this Article

Downloads: 107

Review Papers, Computer Science & Engineering, India, Volume 3 Issue 12, December 2014

Pages: 2407 - 2409

A Review on Content-Based Image Retrieval from Videos using Self Learning Object Dictionary

Vrushali A. Wankhede | Prakash S. Mohod

Share this Article


Top