原文传递
一种基于进程代数的软件可信性度量模型
| 题名： | 一种基于进程代数的软件可信性度量模型 |
| 正文语种： | 中文 |
| 作者： | 杨文忠；黄传河；张振宇 |
| 关键词： | 进程代数；软件可信性；软件需求；逆向工程；软件踪迹 |
| 摘要： | 基于软件可信本质和进程代数给出了软件可信性评估框架及度量指标。将软件正向和逆向工程都统一到进程代数这一尺度上，这样进程代数中进程的等价程度便可表示软件的可信程度，即根据软件执行踪迹进行逆向工程，恢复出表示软件行为的UML顺序图并转换为进程代数，将初始的高层软件需求(UML协作图和状态图)也转换成进程代数，通过分析所得到的两个进程，看其等价程度，等价程度越高则软件可信程度越高，不等价时计算软件可信性度量指标TD(trustwonhiness degree)，其数值越大，则软件可信性越高。 |
| 期刊名称： | 武汉理工大学学报（信息与管理工程版） |
| 出版年： | 2011 |
| 期： | 06 |
| 页码： | 928-931 |
检索历史
应用推荐
