verification

0熱度

3回答

我有以下形式 <form action="/wp-content/themes/wallstreet/welcome.php" method="post" class="basic-grey"> <h1>Form <span>Please fill all the texts in the fields.</span> </h1> <label> <span>Your Nickname*

1熱度

2回答

SPIN：解釋錯誤跟蹤

我試圖解決與農民，狼，山羊和捲心菜有關的任務。所以，我發現瞭如下因素PROMELA描述： #define fin (all_right_side == true) #define wg (g_and_w == false) #define gc (g_and_c == false) ltl ltl_0 { <> fin && [] (wg && gc) } bool all_righ

1熱度

1回答

任何自動化項目中的常見聲明

任何人都可以簡要解釋什麼是自動化項目中常見的聲明。無論是內部還是公共Web應用程序。例如，目前我使用硒（Java）來自動化電子商務Web應用程序。由於這是我的第一個網站自動化，我跑出來的想法，我可以驗證的東西指望幾個我知道下文提到： 1.Verify每個網頁標題 2.Verify一個按鈕，文字，鏈接，圖像，自定義文本等除了這些還有什麼我可以驗證嗎？請隨時糾正我的問題，如果您曾在各個自動化項目上工

0熱度

4回答

UVM：創建一個任務，每100個左右週期爲所有組件調用一次。

對於我所有的組件（顯示器，驅動程序，音序器等），我需要創建一個任務，每100個循環調用一次。我認爲有一種方法可以使用自定義階段執行此操作，但不知道如何執行此操作。任何幫助。

2熱度

1回答

Dafny - 子串實現

我試圖編寫一個簡單的驗證實現的子串方法。我的方法接受2個字符串並檢查str2是否在str1中。我試圖首先弄清楚爲什麼我的侵略者不持有 - 達菲尼表示，不變量可能不會持有入境，而我的前/後條件失敗。我對invairant的想法是有三種主要場景： 1.循環未能在索引i找到子字符串，並且有更多索引要探索 2.循環未能在索引i找到子字符串 - 沒有更多索引探索三環路發現子索引i 代碼： metho

1熱度

1回答

cocotb的總線監視器

我試圖將Cocotb設置爲我的驗證環境。我一直在尋找有用的例子，但我不知道我應該走的方向。我的塊可以被看作是：在輸入 -4總線 -1時鐘和復位1作爲輸入 -2總線在輸出輸出是一個組合和時序處理的結果的輸入信號。我沒有去更進一步的部分是如何定義正確監視我的輸入和輸出總線，這是（據我所知）不符合AvalonST 我看了Cocotb提供的例子，以及什麼阻止我得到啓發的是，無論是提供： - 具備沒

1熱度

1回答

在基於定製Qt的更新程序中下載驗證

我是一個桌面應用程序的作者，該應用程序具有可以通過互聯網下載應用程序的新版本的集成更新程序。我想認證下載的文件，以便下載者可以確定新文件是由我創建的，並且未被其他人修改。基於SSL的服務器身份驗證不是一種選擇，因爲這些文件託管在我不十分信任的第三方服務上。我已經想好了以下程序：在我身邊：哈希使用SHA512 加密使用RSA私鑰哈希使加密哈希公衆下載以及新版本公告客戶端上的更新程序ñ執行以

0熱度

1回答

現代符號執行技術

符號執行的最佳技術是什麼？您是否願意幫我找到純粹的符號執行和純粹的concolic測試工具（我的意思是，例如它不包括模型檢查等）及其源代碼？

0熱度

1回答

是否有其他方法可以驗證mailgun域名？

我們希望使用mailgun api（在解析項目中）並嘗試驗證我們的域。我們應該改變 mailo的DNS-記錄。 _domainkey。但是我們的主持人（strato）告訴我們，這根本不可能。它是德國最大的託管商之一！是否有另一種方法來驗證我們的域名？我們只是想發送電子郵件，並不想通過mailgun收到它們。

1熱度

1回答

驗證時間序列中的時間戳

我正在處理時間序列數據，我想知道是否存在有效的& pythonic方法來驗證與該系列關聯的時間戳序列是否有效。換句話說，我想知道時間戳序列是否按正確的升序排列，而不會丟失或重複。我想驗證正確的順序和重複值的存在應該相當簡單，但我不太確定缺少時間戳的檢測。