Apresentamos uma abordagem para teste de interoperabilidade e robustez de sistemas distribuídos de tempo real (DRE), baseada em busca em modelo de máquina de estado UML e no uso de propósitos de teste com o objetivo de evitar o problema de explosão do espaço de estado na geração de casos de teste. O modelo representa a interação entre dois componentes que interagem através de um canal de comunicação com defeito. Aplicamos a abordagem em um serviço de aplicativo espacial que foi usado em um estudo anterior. Os resultados mostram que a abordagem é tão útil quanto a anterior para cobrir os objetivos do teste, mas com o diferencial do ambiente defeituoso ser modelado e ao uso de técnica de geração de casos de teste baseada em busca.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.