2003
DOI: 10.1109/tse.2003.1199071
|View full text |Cite
|
Sign up to set email alerts
|

Foundations of sequence-based software specification

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
46
0

Year Published

2005
2005
2015
2015

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 75 publications
(48 citation statements)
references
References 9 publications
0
46
0
Order By: Relevance
“…ASD is a component-based, model-driven technology that incorporates formal mathematical methods such as Sequence-Based Specification (SBS) [14], Communicating Sequential Processes (CSP) [15] and its model checker Failure Divergence Refinement (FDR2) [3] to software development.…”
Section: Principles Of Analytical Software Designmentioning
confidence: 99%
“…ASD is a component-based, model-driven technology that incorporates formal mathematical methods such as Sequence-Based Specification (SBS) [14], Communicating Sequential Processes (CSP) [15] and its model checker Failure Divergence Refinement (FDR2) [3] to software development.…”
Section: Principles Of Analytical Software Designmentioning
confidence: 99%
“…Creating the test model is a complicated process usually done by test experts, e. g., using a technique called sequencebased specification [10,11]. A domain expert is usually not knowledgeable in the construction of test models, but has very detailed information about which configurations of the system will be especially critical.…”
Section: Language For Test Model Creationmentioning
confidence: 99%
“…Thus, the robot is tested in many different, sometimes unexpected situations. For the generation of test cases, the tool jumbl [10] is used.…”
Section: Generation Of Test Casesmentioning
confidence: 99%
“…In this paper we propose an automated testing framework for functional and statistical testing of GUI-driven applications, using two rigorous software specification and testing methods in combination, namely sequence-based software specification [12,18,19,17] and Markov chain usage-based statistical testing [14,16,22,21], and integrating them with an automated testing tool suitable for testing GUI applications, that provides fully automated statistical testing and software certification as a means to achieve high product quality. Both methods and the supporting tools [1,2,3] were developed by the University of Tennessee Software Quality Research Laboratory (UTK SQRL).…”
Section: Introductionmentioning
confidence: 99%
“…Sequence-based specification is a method for systematically deriving a system model from informal requirements through a sequence enumeration process [12,18,19,17]. Under this process stimulus (input) sequences are considered in a breadth-first manner (length-lexicographically), with the expected system response to each input sequence given.…”
Section: Introductionmentioning
confidence: 99%