Java / Execução registrada
java-offshore-fault-evidence-ranker
Rank competing equipment faults with Bayesian evidence and log-space normalization.
O que foi verificado
Os comandos abaixo executam o código do repositório e conferem os cenários registrados. A evidência cobre esses cenários na versão indicada; não comprova todas as entradas possíveis nem uso em produção. As entradas de laboratório e os testes do software não comprovam conexão ou operação em equipamentos físicos.
A evidência abaixo pertence à versão registrada. A consulta usa a API pública do GitHub e pode atingir o limite de requisições.
Comandos e resultados reais
Resultados extraídos dos logs do Actions. Saídas extensas podem estar resumidas; a execução original e o artefato contêm o registro completo.
Baixar relatório JSONPASS javac Main.java && java Main --self-test && java Main < examples/input.txt
Saída: 0 · esperada: 0 · 1.158 s
$ bash -e -o pipefail -c javac Main.java && java Main --self-test && java Main < examples/input.txt tests passed bearing,0.68085106 misalignment,0.30260047 sensor,0.01654846
PASS Application demonstration with checked output
Saída: 0 · esperada: 0 · 0.101 s
$ java Main bearing,0.68085106 misalignment,0.30260047 sensor,0.01654846
PASS Reject an empty capture
Saída: 2 · esperada: 2 · 0.051 s
$ java Main missing input
PASS Reject malformed input
Saída: 2 · esperada: 2 · 0.051 s
$ java Main invalid CSV row
PASS Reject unsupported invocation
Saída: 2 · esperada: 2 · 0.051 s
$ java Main --unsupported unsupported command arguments
PASS Reject an oversized input record
Saída: 2 · esperada: 2 · 0.051 s
$ java Main input record too large
Reproduzir a execução
Os pré-requisitos e as entradas são públicos no repositório. Faça checkout da versão exata antes de executar os cenários.
git clone https://github.com/brunnojob/java-offshore-fault-evidence-ranker.git cd java-offshore-fault-evidence-ranker git checkout 46d153157c4b7cfbc09c3df2e14b028f31ef4d10 python .proof/record.py