meixihan的博客

Quasimodo is an European research project funded by the European Commission under the IST framework programme 7 for Information and Communication Technology, ICT.

We present a formal analysis of all different variations of accelerated heartbeat protocols presented in [M.G. Gouda and T.M. McGuire, Accelerated Heartbeat Protocols, Proc. of ICDCS’98]. We formalize the specification of the protocols both in a process-algebraic and in an automata-theoretic formalism. Then, we formulate some natural functional requirements on the above-mentioned protocols and formalize these requirements. Using model-checking techniques, we verify these requirement on each and every version. We report counterexamples witnessing that the formulated requirements are not satisfied. We propose fixes for different version of the protocol and model check the fixed versions; the model checking results indicate that the fixed versions indeed satisfy the requirements.

懂的人自然就明白，是一种类似系统验证的工具

懂的人自然就明白，是一种类似系统验证的工具

经典书籍，高校教程，适合各种测试人群学习

经典的软件测试基础书籍，适合各种测试人群