Cargando…
Real-Time Extended Interface Automata for Software Testing Cases Generation
Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software te...
Autores principales: | Yang, Shunkun, Xu, Jiaqi, Man, Tianlong, Liu, Bin |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Hindawi Publishing Corporation
2014
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4032670/ https://www.ncbi.nlm.nih.gov/pubmed/24892080 http://dx.doi.org/10.1155/2014/731041 |
Ejemplares similares
-
Improved Ant Algorithms for Software Testing Cases Generation
por: Yang, Shunkun, et al.
Publicado: (2014) -
On Implementable Timed Automata
por: Feo-Arenis, Sergio, et al.
Publicado: (2020) -
Combining Partial Specifications using Alternating Interface Automata
por: Janssen, Ramon
Publicado: (2020) -
rtMEG: A Real-Time Software Interface for
Magnetoencephalography
por: Sudre, Gustavo, et al.
Publicado: (2011) -
The Theory of Timed IO Automata
por: Kaynar, Dilsun, et al.
Publicado: (2010)