NDLI: Testing timed systems modeled by Stream X-machines

Content Provider	Springer Nature Link
Author	Merayo, Mercedes G. Núñez, Manuel Hierons, Robert M.
Copyright Year	2009
Abstract	Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification.
Starting Page	201
Ending Page	217
Page Count	17
File Format	PDF
ISSN	16191366
Journal	Software and Systems Modeling
Volume Number	10
Issue Number	2
e-ISSN	16191374
Language	English
Publisher	Springer-Verlag
Publisher Date	2009-08-14
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Formal testing Timed systems Stream X-machines Business Information Systems Software Engineering Software Engineering/Programming and Operating Systems Information Systems Applications (incl.Internet) Programming Techniques Programming Languages, Compilers, Interpreters
Content Type	Text
Resource Type	Article
Subject	Modeling and Simulation Software

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

Testing Web applications by modeling with FSMs

Software engineering and formal methods

Computing refactorings of state machines

SoSyM Special Section on Software Engineering and Formal Methods

Modeling Paradigms

Modeling for the cloud

Supporting UML-based development of embedded systems by formal techniques

SoSyM at three

Model-based development

Testing timed systems modeled by Stream X-machines

Similar Documents

Testing Web applications by modeling with FSMs

Software engineering and formal methods

Computing refactorings of state machines

SoSyM Special Section on Software Engineering and Formal Methods

Modeling Paradigms

Modeling for the cloud

Supporting UML-based development of embedded systems by formal techniques

SoSyM at three

Model-based development

Testing timed systems modeled by Stream X-machines