什么是“ 0E-20”

[英]What is “0E-20”

我正在使用基於模型的測試工具（Conformiq）。 它會生成值為“ 0”的測試用例，但是當我在Java中導出這些測試用例時，寫入的值為“ 0E-20”是什么意思？ 什么是“ 0E-20”？ 代碼是這樣的： ...

Spec Explorer-行為的抽象規范

[英]Spec Explorer - Abstract specification of behaviour

我目前正在評估Spec Explorer，但是我遇到了有關函數行為抽象規范的問題。 我有類似的東西： 現在，我不想在模型程序中顯式定義SelectElement(Set<ModelElement> e) 。 我寧願使用諸如elements.contains(\\resul ...

C＃/ .NET的基於模型的測試教程

[英]Model Based Testing Tutorial with C# / .NET

我可以從中獲取有關如何編寫基於模型的測試的任何C＃.NET資源嗎？ 使用NModel或最好是Spec Explorer？ 只是一些有關如何編寫MBT的基本教程？ 謝謝 ...

基於模型的測試策略

[英]Model Based Testing Strategies

您在基於模型的測試中使用了哪些策略？ 您是專門用於集成測試，還是將其分支到其他區域（單元/功能/系統/規范驗證）？ 您是否構建了專注的“密封”模型，或者您是否隨着時間推移開發復雜的onibus模型？ 在產品周期中，您是否投資創建MBT？ 您為MBT專門創建了哪種 ...