基于程序切片的软件交互行为可信性分析模型-北京工业大学学报.pdfVIP

第39卷第5期 北京工业大学学报 V01．39NO．5 2013年5月 JOURNALOFBEIJINGUNIVERSITYOFTECHNOLOGY Mav2013 基于程序切片的软件交互行为可信性分析模型 王 丹，孙浩扬，王 进，付利华 (北京工业大学计算机学院，北京 100124) 摘要：为研究面向交互行为的软件行为可信性分析和动态度量问题，从软件与外界数据交换时所产生的信息流 动过程中，确定并提取依赖于输入数据的语句和变量的集合，作为软件交互行为的预期模型．在软件实际运行过程 中，通过动态获取软件的实际行为，与分析软件源代码得到的软件预期行为作比较，形成可信性的动态度量结果． 采用程序切片技术，将软件交互过程及交互中被赋值变量及后续赋值行为作为切片分析的结果．在此基础上，继续 从源代码的抽象语法树和编译后的可执行程序中提取赋值行为本身和被赋值的变量的详细信息，然后将这些信息 与切片分析结果相结合，形成以交互行为为关注点的软件行为描述模型．对模型进行了测试，结果表明：该模型能 识别出软件运行中的非预期行为． 关键词：可信软件；交互；动态度量 393．1 中图分类号：U461；TP 文献标志码：A Trusted ModelforInteractiveBehaviorofa Analysis SoftwareBasedon System SlicingTechnology WANG Li—hua Dan，SUNHao—yang，WANGJin，FU of of Computer University 100124，China) (College Science，BeijingTechnology，Beijing researchthe trustedmeasurementissueforinteraction—orientedbehaviorOla Abstract：To dynamic software behavior modelwasobtained and system，theexpected description throughdeterminingextracting thestatementsandthe werereferredandreliedthe datafrom variables，which by input outside．During thesoftware measurementwasdone theactualbehaviorofa executing，the bydynamicallyacquiring software andthenthe itwiththebehaviorobtainedfromthesource system systemcompared code．By the slice interactionbehaviorandthesuccessivebehaviorabout adoptingprogramtechnology，the theinteraction variables we