Translation of "teste de prova" to English language:
Dictionary Portuguese-English
Prova - tradução : Teste - tradução : Teste - tradução : Teste de prova - tradução :
Examples (External sources, not reviewed)
| Os experimentos de Aspect foram considerados uma prova incontestável para suportar a teste que desigualdades de Bell foram violadas. | Aspect's experiments were considered to provide overwhelming support to the thesis that Bell's inequalities are violated in its CHSH version. |
| Essa técnica é aplicável a todas as fases de teste teste unitário, teste de integração, teste de sistema e teste de aceitação. | This method of test can be applied to all levels of software testing unit, integration, system and acceptance. |
| T prova 1. isto é, T prova que se T prova P , então T prova ProvA( ( P )). | T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )). |
| Em outras palavras, T prova que ProvA( ( P )) implica em ProvA( (ProvA( ( P )))). | In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))). |
| A especificação de teste é chamada plano de teste. | (i.e., does it implement the requirements). |
| Em outras palavras, T prova que ProvA( ( P Q )) e ProvA( ( P )) implica em ProvA( ( Q )). | In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )). |
| T prova que se T prova que ( P Q ) e T prova P então T prova Q . | T proves that if T proves that ( P Q ) and T proves P then T proves Q . |
| Uma coleção de casos de teste é chamada de suite de teste. | Test suite The most common term for a collection of test cases is a test suite. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| A biatleta russa Olga Pyleva conquistou a medalha de prata na prova de 15 km, porém o teste anti dopagem deu positivo para substância carphedon e ela perdeu a medalha. | Russian biathlete Olga Pyleva won a silver medal in the 15 km race, but tested positive for carphedon and lost her medal. |
| E, finalmente, teste e teste novamente. | And, finally, test and test it again. |
| Execução de teste | Dry run |
| Acção de teste | Sample action |
| Teste de sistema | System Testing |
| Procedimento de teste | Test procedure |
| Teste de dispositivos | Testing of devices |
| Portanto, uma prova de que formula_13 também prova que formula_4 é verdade. | Therefore, a proof that formula_13 also proves that formula_4 is true. |
| Vocês todos sabem o teste de inteligência artificial o teste de Turing. | You all know the test for artificial intelligence the Turing test. |
| Agora proponho um teste para as vozes de computador o teste de Ebert. | I now propose a test for computer voices the Ebert test. |
| Fazendo ( P ) representar o número de Gödel da fórmula P , a condição de derivabilidade diz Se T prova P , então T prova ProvA( ( P )). | Letting ( P ) represent the Gödel number of a formula P , the derivability conditions say If T proves P , then T proves ProvA( ( P )). |
| Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal. | A formal proof is a complete rendition of a mathematical proof within a formal system. |
| Teste de HIV obrigatório??? | Compulsory HIV test??? |
| Somos animais de teste. | We are test animals. |
| Planejamento Nesta fase é elaborada a Estratégia de Teste e o Plano de Teste. | Test planning Test strategy, test plan, testbed creation. |
| Prova Suave | Soft Proofing |
| Amanhã tem prova de matemática. | There's a math test tomorrow. |
| Opções de Sistema de Teste | Scratchbox Options |
| Operações de ficheiros de teste | Sample file operations |
| Sistema de teste de insanidade | Insanity testing system |
| A diferença é que ao invés de construir uma nova prova, o verificador de prova simplesmente checa se a prova formal fornecida (ou em instruções que podem ser seguidas para criar a prova formal) é correta. | The difference is that instead of constructing a new proof, the proof verifier simply checks that a provided formal proof (or, in instructions that can be followed to create a formal proof) is correct. |
| Os rumores agravaram se na subsequente prova alemã, em Berlim, quando surgiu um confronto durante um teste de drogas porque havia funcionários que queriam obter uma amostra não selada, devido à falta de recipientes. | Thorpe's difficulties heightened at the subsequent German leg of the tour in Berlin, when a standoff over a drug test arose when officials wanted to take an unsealed sample due to lack of containers. |
| Teste Kana | Kana test |
| teste guidata | guidata tests |
| Pré teste | Pre test |
| Consola de teste do Anjuta | Anjuta test shell |
| OpenCASCADE DRAWEXE equipamento de teste | OpenCASCADE DRAWEXE test harness |
| Utilitário de teste Qt V4L2 | Qt V4L2 test Utility |
| Lembrem do teste de Rorschach. | Remember the Rorschach test. |
| Teste da detecção de contrafacções | Counterfeit test |
| Amanhã haverá teste de matemática. | There will be a math test tomorrow. |
| A prova se chama Gaokao. E 80 milhões de estudantes Chineses já fizeram esta prova torturante. | It's called the Gaokao, and 80 million high school Chinese students have already taken this grueling test. |
| Prova essa camisa. | Try on that shirt. |
| Teremos prova hoje. | We're going to have a test today. |
| Eu tenho prova. | I have proof. |
| Passei na prova. | I passed the exam. |
Pesquisas relacionadas : Teste E Prova - Teste De Vazamento Prova - Procedimento De Teste De Prova - Teste De Carga De Prova - Intervalo De Teste De Prova - Teste à Prova D'água - Teste De Pressão à Prova - Prova - Prova De - Prova De - De Prova - Teste Teste
