基于活性順序圖的形式化驗證方法及工具研究

首頁(yè) > 過(guò)刊瀏覽>2016年第24卷第5期 >274-286

基于活性順序圖的形式化驗證方法及工具研究
DOI:
                        
                    
CSTR:
                        [cstr]
                    
作者:
                        
                        
                    
作者單位:(華中師范大學(xué) 計算機學(xué)院,武漢 430079)
作者簡(jiǎn)介:張 坤(1992-),湖北武漢人,碩士研究生,主要從事軟件分析與驗證方向的研究。[FQ)]
通訊作者:
中圖分類(lèi)號:
基金項目:國家科技支撐計劃項目(2015BAK33B00)；教育部規劃基金項目(15YJA880095)；中央高校基本科研業(yè)務(wù)費專(zhuān)項資金科研項目(CCNU15GF003)。

Research on Formal Verification Method and Verification Tool Based on Live Sequence Chart

Author:

Affiliation:

(School of Computer Science, Central China Normal University, Wuhan 430079, China)

Fund Project:

摘要

圖/表

訪(fǎng)問(wèn)統計

參考文獻

相似文獻

引證文獻

資源附件

文章評論

摘要:

近年來(lái),形式化驗證方法在軟件開(kāi)發(fā)過(guò)程的作用越來(lái)越大；如何充分利用形式化驗證方法提高軟件系統的可靠性已成為軟件開(kāi)發(fā)者及使用者主要關(guān)注的問(wèn)題；總結了近年來(lái)基于活性順序圖的形式化驗證方法的研究進(jìn)展,首先介紹活性順序圖的語(yǔ)言及其表達能力與復雜性,然后深入分析現有的基于活性順序圖的形式化驗證的關(guān)鍵技術(shù)及其典型應用,最后實(shí)現一種基于活性順序圖的運行時(shí)驗證工具,實(shí)驗證明使用本驗證工具進(jìn)行形式化驗證的可行性。

Abstract:

In recent years, the role of formal verification technology in the software development process is growing more and more important. How to use formal verification technology to improve the reliability of software systems is a major concerned problem of software developers and users. This paper summarizes the progress of formal verification method based on Live Sequence Chart recently. In this paper, the language of live sequence chart, its expressive power and complexity are first introduced. Then the existing key technologies and their application of formal verification method based on live sequence chart are analyzed. Finally, the runtime verification tool based on live sequence chart is implemented, experiments show the feasibility of using this verification tool to formal verification.

參考文獻

相似文獻

引證文獻

引用本文

張坤,葉俊民,王嬙,趙麗嫻,陳曙.基于活性順序圖的形式化驗證方法及工具研究計算機測量與控制[J].,2016,24(5):274-286.

復制

文章指標

點(diǎn)擊次數:
下載次數:
HTML閱讀次數:
引用次數:

歷史

收稿日期:2015-11-14
最后修改日期:2015-12-15
錄用日期:
在線(xiàn)發(fā)布日期: 2016-07-27
出版日期:

国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

引用本文

分享

文章指標

歷史

文章二維碼