Foundations of sequence-based software specification

Prowell, Stacy; Poore, Jesse H.

doi:10.1109/tse.2003.1199071

Cited by 74 publications

(48 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

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%

Experience Report on Designing and Developing Control Components Using Formal Methods

Osaiweran

Fransen

Groote

et al. 2012

FM 2012: Formal Methods

View full text Add to dashboard Cite

Abstract. This paper reports on experiences from an industrial project related to developing control components of an interventional X-ray system, using formal techniques supplied by the Analytical Software Design approach, of the company Verum. We illustrate how these formal techniques were tightly integrated with the standard development processes and the steps accomplished to obtain verifiable components using model checking. Finally, we show that applying these formal techniques could result in quality software and we provide supporting statistical data for this regard.

show abstract

Section: Principles Of Analytical Software Designmentioning

confidence: 99%

Experience Report on Designing and Developing Control Components Using Formal Methods

Osaiweran

Fransen

Groote

et al. 2012

FM 2012: Formal Methods

View full text Add to dashboard Cite

show abstract

“…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%

A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages

Proetzsch

Zimmermann

Eschbach

et al. 2010

KI 2010: Advances in Artificial Intelligence

View full text Add to dashboard Cite

Abstract.One aspect often neglected during the development of autonomous mobile robots is the systematic validation of their overall behavior. Especially large robots applied to real-world scenarios may cause injuries or even human death and must therefore be classified as safety-critical. In this paper, a generic approach to defining and executing purposeful test runs using domain-specific languages (dsls) is presented. Test cases can be defined in an appropriate test description language (first dsl). These test cases can be derived automatically using a modelbased testing approach, for which a test model has to be created. Hence, a second dsl for the creation of the test model is presented. It is further shown how the generated test cases are automatically executed and evaluated. The paper concludes with the application of the approach to the autonomous off-road robot ravon.

show abstract

“…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%