2006 · 31 citations · 6 references
ComputingComputer ScienceSystems EngineeringDistributed SystemsMachine LearningSystems ArchitectureDistributed Systems ArchitectureSoftware TestingSystems IntegrationComponent TestingIntegration TestingState Machine ModelsState ModelsSystem Integration TestingSystem TestingTest GenerationTest Generation From Models
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When components come from third party sources, their internal structure is usually unknown and the documentation is insufficient. Therefore, the system integrator faces the problem of providing a required system assembling COTS whose behaviour is barely specified and for which no model is usually available. In this paper, we address the problem of integration testing of COTS. It combines test generation techniques with machine learning algorithms. State-based models of components are built from observed behaviours. The models are alternatively used to generate tests and extended to take into account observed behaviour. This process is iterated until a satisfactory level of confidence in testing is achieved
6
Learning regular sets from queries and counterexamples
Dana Angluin · Information and Computation · 1987 · 2.1K citations
Generating statechart designs from scenarios
Jon Whittle, Johann Schumann · 2000 · 360 citations
Alex Groce, Doron Peled, Mihalis Yannakakis · Logic Journal of IGPL · 2006 · 63 citations