NDLI: Testing functional requirements using B model specifications

Content Provider	ACM Digital Library
Author	Gupta, Amit Bhatia, Rajesh
Abstract	Testing is very important part of software development. Almost 80% software fails because of the improper or inefficient testing. Testing is performed by different types of strategies. Generally testing is performed on code, but if the software can be tested in the earlier phases then most of the errors can be eliminated and can be stopped from propagating to next phase. Thus there is a need to explore testing possibilities in earlier phases. This paper present a novel requirement based testing approach that can fix errors in initial phase. Formal Specification languages play a vital role in software testing. Formal models provide a precise specification of the system, and can be used as a vehicle for driving the development process. To perform requirement based testing, we need a formal language that can deal with the requirement specification efficiently. Many researchers have proposed various approaches to generate test cases from formal specifications. These approaches include test case generation from various state based languages like Z, VDM and B specifications. In this paper we proposed a technique that can provide better coverage of requirements as compared to other approaches. For maximizing the coverage of requirements in our model, we annotate our specifications with requirement identifiers, which help in later stages to detect which requirements are covered and which are yet to be tested. Test cases are generated by extracting invariants and post conditions from our specification, and are transformed in a generalized form. Using test selection criteria, we can cover all parts of our model and generates test cases for each of our test objective
Starting Page	1
Ending Page	7
Page Count	7
File Format	PDF
ISSN	01635948
DOI	10.1145/1734103.1734115
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	35
Issue Number	2
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Software testing Formal languages Z b specifications
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Testing Formal Specifications to Detect Design Errors

Formal specification and design time testing

SeSFJava harness: service and assertion checking for protocol implementations

Querying of executable software specifications

Measuring Z specifications

Software testing based on SDL specifications with save

Specification of realtime systems using ASTRAL

Specifying Software Requirements for Complex Systems: New Techniques and Their Application

Software Systems Requirements

Testing functional requirements using B model specifications

Similar Documents

Testing Formal Specifications to Detect Design Errors

Formal specification and design time testing

SeSFJava harness: service and assertion checking for protocol implementations

Querying of executable software specifications

Measuring Z specifications

Software testing based on SDL specifications with save

Specification of realtime systems using ASTRAL

Specifying Software Requirements for Complex Systems: New Techniques and Their Application

Software Systems Requirements

Testing functional requirements using B model specifications