Test Sequence Generation From Formally Verified SysML Models

est generation has been acknowledged as a cost-prone activity reducing productivity and time to market. Theexpected benefits of Model Based Systems Engineering includeautomated generation of test sequences from models. The paperproposes verification solutions for the System Modeling Lan-guage (SysML). In particular, the paper shows how to linktest generation to formal verification. The proposed algorithmsare implemented by the free software TTool. Two case studiessupport discussion on conformance and interoperability testing,respectively

Mallipohjaisen testauksen hyödyt ja haasteet

Mallipohjainen testaus on noussut viimeisten vuosikymmenten aikana merkittäväksi osaksi testauskulttuuria. Se markkinoi itseään taloudellisia säästöjä tuovana ja testauksen tehokkuutta lisäävänä testausmenetelmä. Mallipohjainen testaus onkin laajalti käytössä oleva testauksen muoto, mutta se ei kuitenkaan ole korvannut perinteisiä testausmenetelmiä. Tässä tutkielmassa käydään ensin kattavasti läpi testauksen teoriapohjaa, jonka jälkeen tutustutaan mallipohjaiseen testaukseen menetelmänä tässä testauskehyksessä. Lisäksi etsitään, millaisia työkaluja mallipohjaisessa testauksessa on käytössä, ja esitellään niistä muutamia. Näiden jälkeen perehdytään kirjallisuuskatsauksen avulla mallipohjaisesta testauksesta viimeisen kymmenen vuoden aikana julkaistuun kirjallisuuteen ja etsitään haasteita, jotka rajoittavat mallipohjaisen testauksen käyttöä ja toisaalta hyötyjä, jotka tukevat mallipohjaisen testauksen soveltamista tulevaisuudessa yhä useammassa testausta sisältävässä hankkeessa. Keskeisimpiä kirjallisuuskatsauksessa löytyneitä hyötyjä olivat mallin jo kehityksen varhaisessa vaiheessa antama selkeyttävä kuva testattavasta kohteesta, testauksen tehokkuuden ja virheiden havaitsemiskyvyn kasvu sekä testitapausten luonnin helpottuminen ja nopeutuminen. Haasteina puolestaan koettiin raportoitujen ohjeistusten ja konkreettisten käytännön esimerkkien vähyys kirjallisuudessa, mallipohjaisen testauksen työläys ja vaikeus varsinkin mallipohjaisen testauksen suhteen kokemattomille testaajille sekä mallinnuksen ja mallin luonnin vaativuus ja tietotaidon korkea vaatimustaso

Implementation relations and testing for cyclic systems: adding probabilities

This paper concerns the systematic testing of robotic control software based on state-based models. We focus on cyclic systems that typically receive inputs (values from sensors), perform computations, produce outputs (sent to actuators) and possibly change state. We provide a testing theory for such cyclic systems where time can be represented and probabilities are used to quantify non-deterministic choices, making it possible to model probabilistic algorithms. In addition, refusals, the inability of a system to perform a set of actions, are taken into account. We consider several possible testing scenarios. For example, a tester might only be able to passively observe a sequence of events and so cannot check probabilities, while in another scenario a tester might be able to repeatedly apply a test case and so estimate the probabilities of sequences of events. These different testing scenarios lead to a range of implementation relations (notions of correctness). As a consequence, this paper provides formal definitions of implementation relations that can form the basis of sound automated testing in a range of testing scenarios. We also validate the implementation relations by showing how observers can be used to provide an alternative but equivalent characterisation

Aplicaciones de la teoría de la información y la inteligencia artificial al testing de software

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Ingeniería de Sistemas lnformáticos y de Computación, leída el 4-05-2022Software Testing is a critical field for the software industry, as it has the main tools used to ensure the reliability of the produced software. Currently, mor then 50% of the time and resources for creating a software product are diverted to testing tasks, from unit testing to system testing. Moreover, there is a huge interest into automatising this field, as software gets bigger and the amount of required testing increases. however, software Testing is not only an industry oriented field; it is also a really interesting field with a noble goal (improving the reliability of software systems) that at the same tieme is full of problems to solve....Es Testing Software es un campo crítico para la industria del software, ya que éste contienen las principales herramientas que se usan para asegurar la fiabilidad del software producido. Hoy en día, más del 50% del tiempo y recursos necesarios para crear un producto software son dirigidos a tareas de testing, desde el testing unitario al testing a nivel de sistema. Más aún, hay un gran interés en automatizar este campo, ya que el software cada vez es más grande y la cantidad de testing requerido crece. Sin embargo, el Testing de Software no es solo un campo orientado a la industria; también es un campo muy interesante con un objetivo noble (mejorar la fiabilidad de los sistemas software) que al mismo tiempo está lleno de problemas por resolver...Fac. de InformáticaTRUEunpu