Srivastava et al., 2009 - Google Patents

Cause effect graph to decision table generation

Srivastava et al., 2009

View PDF
Document ID
6296453850283071658
Author
Srivastava P
Patel P
Chatrola S
Publication year
Publication venue
ACM SIGSOFT Software Engineering Notes

External Links

Snippet

Cause-Effect Graphing (CEG) is used to identify test cases from a given specification to validate its corresponding implementation. This paper gives detail about this technique of software testing. It also shows how the CEG technique can be used to test that software fulfill …
Continue reading at www.academia.edu (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit

Similar Documents

Publication Publication Date Title
CA2956364C (en) System and method for coverage-based automated test case augmentation for design models
US11921621B2 (en) System and method for improved unit test creation
Bendell et al. Software Reliability: State of the Art Report 14: 2
JP6568017B2 (en) Test support apparatus and test support method
US10073764B1 (en) Method for instruction sequence execution analysis and visualization
Srivastava et al. Cause effect graph to decision table generation
Baumann et al. Combining retrieval-augmented generation and few-shot learning for model synthesis of uncommon DSLs
US10169217B2 (en) System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges
Li et al. Automated functional scenarios-based formal specification animation
Villalobos-Arias et al. Evaluation of a model‐based testing platform for Java applications
Krupalija et al. New graphical software tool for creating cause-effect graph specifications
Markiegi et al. Test case selection using structural coverage in software product lines for time-budget constrained scenarios
Lai et al. Defining and verifying behaviour of domain specific language with fUML
Sani et al. Model transformation specification for automated formal verification
Babkin et al. Analysis of the consistency of enterprise architecture models using formal verification methods
Romano A framework for web applications using an Agile and Collaborative Model Driven Development (AC-MDD)
EP3608786B1 (en) Systems and methods of requirements chaining and applications thereof
Malinao et al. A metric for user requirements traceability in sequence, class diagrams, and lines-of-code via robustness diagrams
Giachetti et al. The Ability of Engineers to Extract Requirements from Models
Silvestre et al. A Usable MDE-based Tool for Software Process Tailoring.
Sypsas et al. Computing Similarities Between Virtual Laboratory Experiments Models Using Petri Nets
Weiß et al. Towards establishing formal verification and inductive code synthesis in the PLC domain
Cadena-Romero et al. Tool-supported requirement engineering: a categorization of the state of the art and research trends
US20100293018A1 (en) Test Model Abstraction For Testability in Product Line Engineering
Amalfitano et al. Comparing model coverage and code coverage in model driven testing: an exploratory study