集成式项目支撑环境初论

本文简述了集成式项目支撑环境(IPSE)的发展过程,讨论了IPSE的基本功能与构成,然后分析了IPSE的特性与要求,最后概述了几个主要IPSE。     

一种随机TBFL方法

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位方法的功效。为了解决这个问题,Hao等人提出了SAFL(similarity aware fault localization)方法。实际上完全避免冗余是不可能的,因此从另一个角度构造了一个新的TBFL方法,称为随机TBFL方法。该方法的基本思想是:测试前对程序的语句错误概率进行先验分布,并把测试集看成随机变量,用测试用例反映的程序语句有关信息对程序语句的概率作一些调整,调整后的概率称为后验校正概率,最后根据这个后验概率对错误语句进行定位。将传统的TB-FL方法如Dicing方法、TARANTULA方法、SAFL方法纳入随机信息分析并通过几个实例进行分析和比较,结果表明,随机TBFL方法不仅能够正确定位错误语句,而且冗余对该方法的功效伤害不大。     

一种基于信息量的缺陷定位方法

缺陷定位是软件调试过程中的重要环节,它通过利用程序信息和测试信息来定位软件中的错误.借助于事件信息量,提出一种基于事件信息量的缺陷定位方法——SIQ(suspiciousness based on information quantity).SIQ方法根据测试信息中不同事件的类型及其发生的概率,结合语句的执行信息,动态计算和调整缺陷定位的结果.通过大量的实验分析和对比,SIQ方法在多个数据集上表现出了很好的稳定性,与几种现有的缺陷定位方法相比,SIQ方法的缺陷定位效果也更加准确.     

带标记信号量——一种新型同步与互斥机制

1 问题的引出信号量机制是E.W.Dijkstra最先提出来的,是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制。其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护)。信号量原语自问世二十余年来,已广泛地应用于     

人工智能语言LISP与Prolog之争

围绕日本第五代机计划所作的宣传已使系统开发人员警觉到人工智能的长远潜力。美国两个主要开发语言:LISP 与 Prolog 的支持者展开了激烈的论战。所争论的问题不在于九十年代计算机将使用哪种语言,而在于哪种语言对开发流行的人工智能软件产品(如专家系统)有更大的潜力。     

设计结构图—大型实时软件设计的有效工具

本文介绍了一种适用于大型软件和实时并发软件设计的图形设计语言－设计结构图。与其它图形语言相比，设计结构图结构化程度更高，表达能力更强，更能反映现代软件工程的一些基本原则。