论文部分内容阅读
基于软件可信本质和进程代数给出了软件可信性评估框架及度量指标。将软件正向和逆向工程都统一到进程代数这一尺度上，这样进程代数中进程的等价程度便可表示软件的可信程度，即根据软件执行踪迹进行逆向工程，恢复出表示软件行为的UML顺序图并转换为进程代数，将初始的高层软件需求（UML协作图和状态图）也转换成进程代数，通过分析所得到的两个进程，看其等价程度，等价程度越高则软件可信程度越高，不等价时计算软件可信性度量指标TD（trustworthiness degree），其数值越大，则软件可信性越高。