A method for testing and validating executable statechart models

Mens, Tom; Decan, Alexandre; Spanoudakis, Nikolaos I.

doi:10.1007/s10270-018-0676-3

Cited by 16 publications

(8 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We presented several future directions, mainly for the intra-agent's control, on one hand monitoring events that are essential for the agent's successful operation and for detecting failing capabilities, and, on the other hand, for safeguarding restrictions and contracts. Statecharts are a still evolving paradigm [3,10,50,51,54] and modern AOSE works use it [25,67,91].…”

Section: Discussionmentioning

confidence: 99%

“…Recently, researchers proposed the concept of the property statecharts [54] for expressing and enforcing safety criteria in statecharts. Safety properties have been defined in AOSE, and the Gaia methodology's role model [101], however, statechart-based design models have not yet fully realised this feature, especially those leading to object-oriented implementations.…”

Section: Future Directionsmentioning

confidence: 99%

“…Property statecharts are monitoring the events generated by the execution of normal statecharts and safeguard conditions. An important emerging area, further enabled by the emergence of blockchain and 5G [97], is that of the smart contracts, Mens et al [54] have given an example, where an agent A signs a Service Level Agreement (SLA) with agent B. The SLA dictates that whenever A receives a request from B, then A must reply within 1 hour.…”

Section: Future Directionsmentioning

confidence: 99%

“…In the same work [54], the authors proposed a method for transforming user stories to statecharts in the context of Behavior-Driven Development (BDD) [103]. BDD allows users to specify representative scenarios and their expected outcomes.…”

Section: Future Directionsmentioning

confidence: 99%

See 3 more Smart Citations

Engineering Multi-agent Systems with Statecharts

Spanoudakis

2021

SN COMPUT. SCI.

Self Cite

View full text Add to dashboard Cite

The purpose of this paper is to map the works in the Agent Oriented Software Engineering and Engineering Multi-agent Systems fields that use the statecharts paradigm to aid the software development process. We did not only focus on finding out the methods that employ statecharts, but also on identifying the application domains suitable for this kind of modeling. To achieve this goal we researched the available literature. We found out that statecharts are used by numerous methods that target diverse application domains such as robotics, internet agents, simulation, health and safety. Moreover, statecharts have been employed for modeling different things, such as the behaviour of agents, agent plans, agent interaction protocols. We also found reports of real-world systems and applications that were developed using these methods in the last 20 years and we identified trends and common characteristics that they have. Concluding, we have mapped the area where statecharts meet agent-oriented methodologies both in theory and practice. Moreover, we provide some exciting directions for future works.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Future Directionsmentioning

confidence: 99%

Section: Future Directionsmentioning

confidence: 99%

Section: Future Directionsmentioning

confidence: 99%

See 2 more Smart Citations

Engineering Multi-agent Systems with Statecharts

Spanoudakis

2021

SN COMPUT. SCI.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Mens et al [64] present a validation and test approach for executable state charts for which they developed Sismic, an open-source research prototype tool. They employ a semiformal natural language to develop executable test scripts for functional testing of specific scenarios using the statecharts.…”

Section: Related Work and Backgroundmentioning

confidence: 99%

Model-based ideal testing of hardware description language (HDL) programs

et al. 2021

View full text Add to dashboard Cite

An ideal test is supposed to show not only the presence of bugs but also their absence. Based on the Fundamental Test Theory of Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2): [156][157][158][159][160][161][162][163][164][165][166][167][168][169][170][171][172][173] 1975), this paper proposes an approach to model-based ideal testing of hardware description language (HDL) programs based on their behavioral model. Test sequences are generated from both original (fault-free) and mutant (faulty) models in the sense of positive and negative testing, forming a holistic test view. These test sequences are then executed on original (fault-free) and mutant (faulty) HDL programs, in the sense of mutation testing. Using the techniques known from automata theory, test selection criteria are developed and formally show that they fulfill the major requirements of Fundamental Test Theory, that is, reliability and validity. The current paper comprises a preparation step (consisting of the sub-steps model construction, model mutation, model conversion, and test generation) and a composition step (consisting of the sub-steps pre-selection and construction of Ideal test suites). All the steps are supported by a toolchain that is already implemented and is available online. To critically validate the proposed approach, three case studies (a sequence detector, a traffic light controller, and a RISC-V processor) are used and the strengths and weaknesses of the approach are discussed. The proposed approach achieves the highest mutation score in positive and negative testing for all case studies in comparison with two existing methods (regular expression-based test generation and context-based random test generation), using four different techniques. KeywordsModel-based testing • Ideal testing • Mutation testing • Behavioral model • Hardware description language Communicated by Dr Benoit Baudry.

show abstract

Statecharts and Agent Technology: The Past and Future

Spanoudakis

2020

Multi-Agent Systems and Agreement Technologies

View full text Add to dashboard Cite

A method for testing and validating executable statechart models

Cited by 16 publications

References 31 publications

Engineering Multi-agent Systems with Statecharts

Engineering Multi-agent Systems with Statecharts

Model-based ideal testing of hardware description language (HDL) programs

Statecharts and Agent Technology: The Past and Future

Contact Info

Product

Resources

About