Object-oriented behavioral testing through trace generation

Authors:
Anastasia Tircuit;B. Belkhouche
Affiliations:
Tulane University, New Orleans, LA;Tulane University, New Orleans, LA
Venue:
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Year:
2005

Citing 10
Cited 0

Communicating sequential processes

Communicating sequential processes
Rapid Prototyping in Software Development

Computer
Consistency checking for multiple view software architectures

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavior-consistent specialization of object life cycles

ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing Computer Software

Testing Computer Software
Approaches to Prototyping

Approaches to Prototyping
Inconsistency Handling in Multi-Perspective Specifications

ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Combining Object-Oriented Analysis and Formal Description Techniques

ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

One challenge in software design is ensuring that the design meets the requirements of the user. One way to do this is to create a prototype from the design, then devising a set of test cases to test for the behavioral requirements. Here we present our automated prototype generator and method for testing behavior.