NDLI: Automated requirements-based test case generation

Please wait, while we are loading the content...

Volume 31, Issue 6, November 2006

Use cases modeling and software estimation

Testing across configurations

Software Engineering Education (SEEd)

Surfing the net for software engineering notes

Risks to the public

Review of "Design For Trustworthy Software by Bijay K. Jayaswal and Peter C. Patton", Prentice Hall, 2007, ISBN 0-13-187250-8

Frontmatter (TOC, Miscellaneous material)

Software process improvement uncut

Generating interaction test cases for mobile phone systems from use case specifications

Burt add numbers

Review of "IEEE Computer Society Real-World Software Engineering Problems: A Self-Study Guide for Today's Software Professional by J. Fernando Naveda and Stephen B. Seidman", Prentice Hall, 2006, ISBN 0-471-71051-2

The Role of Abstraction in Software Engineering

Trustworthy software systems

Property relevant software testing with model-checkers

Improving software documentation using textual entailment

Review of "Catastrophe Disentanglement by E. M. Bennatan", Addison Wesley, 2006, ISBN 0-321-336620

Agent based system development

Achieving communication coverage in testing

Program slicing for declarative models

Response from authors of "Design For Trustworthy Software"

Measurement theory and validation criteria for software complexity measures

Automated requirements-based test case generation

Review of "Fascicle 4: Generating All Trees - History of Combinatorial Generation by Donald E. Knuth", Addison-Wesley, 2006, ISBN 0-321-33570-8

Refactoring-aware software merging and configuration management

An architecture for gradual transition towards self-managed software systems

Formal techniques in a remote voting system

A relationship-driven approach to view merging

Where do bugs come from?

Volume 31, Issue 5, September 2006

Volume 31, Issue 4, July 2006

Volume 31, Issue 3, May 2006

Volume 31, Issue 2, March 2006

Volume 31, Issue 1, January 2006

Automated requirements-based test case generation

Content Provider	ACM Digital Library
Author	Rajan, Ajitha
Abstract	Black-box testing is a technique in which test cases are derived from requirements without regard to the internal structure of the implementation. In current practice, the black-box test cases are derived manually from requirements. Manually deriving test cases from requirements is a costly and time consuming process. In this paper, we present the notion of autogenerating black-box test cases from requirements, that can result in dramatic time and cost savings.To accomplish this, we use requirements formalized as temporal logic properties. We define coverage metrics directly on the structure of the formalized requirements, and use an automated test case generation tool, like the model checker, to generate test cases from formal requirements that satisfy the desired criteria. To evaluate the effectiveness of black-box test suites generated in this manner, we measure the implementation coverage achieved by the test suites, and their fault-finding effectiveness. In [11], we conducted a preliminary investigation using a close to production model of a Flight Guidance System developed at Rockwell Collins Inc. We autogenerated requirements-based test suites for three different requirements coverage criteria and evaluated them by measuring the implementation coverage achieved.
Starting Page	1
Ending Page	2
Page Count	2
File Format	PDF
ISSN	01635948
DOI	10.1145/1218776.1218799
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	31
Issue Number	6
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

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