C语言程序评测方法研究

对于学习计算机编程语言来说,大量的练习是最重要的,然而学生作业人工评测是个枯燥、易错、又耗费大量时间的工作。该文提出一种基于程序切片技术的程序评测方法,通过分解程序降低大规模程序在评测中的复杂度。方法首先获得程序依赖图,然后运用切片算法对程序进行切片划分,并在此基础上将学生程序与模板程序进行语义比较,最后得到程序评测信息。方法已经成功运用到C语言程序评测中,大量评测结果证明,该方法正确、有效。该方法同时也适用于其他编程类课程。     

一种简化依赖关系的动态程序切片算法

动态程序切片是由影响程序中某个兴趣点处变量值的所有语句和控制谓词组成的一个程序子集.笔者提出了一种简化依赖关系的动态程序切片算法,主要目的是解决H.Agrawal的动态切片算法计算切片不太精确的问题,该算法通过程序执行轨迹,确定教据依赖结点、控制依赖结点和结点可到达语句来计算变量切片.实例证明,该算法提高了动态切片的精确度,减少了计算动态程序切片的复杂度.     

基于ASP的程序切片

针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法.ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题,基于ASP的切片方法,可以把切片的查找转化为回答集的求解.另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率.通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器(DLV、Smodels、Cmodels)的执行效搴,基于Cmodels的改进算法的运行效率是最高的.     

基于ASP的程序切片

针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切片的查找转化为回答集的求解。另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率。通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器（DLV、Smodels、Cmodels）的执行效率,基于Cmod-els的改进算法的运行效率是最高的。     

基于粗粒度程序切片的软件度量

软件度量是保证软件质量的重要方法,程序切片是一种针对切片标准简化程序的技术。提出了一种基于粗粒度程序切片技术度量面向对象程序模块耦合度和类内聚度的量化方法,扩展了粗粒度程序切片的含义,基于面向对象系统依赖图进行程序切片,给出了对应的算法实现,利用切片技术度量了模块耦合度和类内聚度。     

基于面向方面和程序切片技术的Java调试工具

该文针对调试大而复杂的Java程序时存在的问题,提出了使用面向方面技术和依赖缓存程序切片算法实现Java调试工具的思想。为提高程序切片的效率,提出依赖缓存程序切片算法;为减少依赖缓存程序切片算法的编码开销和运行时间开销,提出使用面向方面技术采集动态信息的思想。实验结果表明该工具具有较高的工作效率。     

基于控制流的形式化程序测试

为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题。     

基于ECPMR的编译器测试方法

提出了一种通过验证程序切片是否满足ECPMR的方式来验证编译器的方法。首先,选取一些满足特定蜕变关系的正确程序作为待测编译器的输入。然后,使用这些被选程序来生成程序切片。最后,检查程序切片的输出是否满足ECPMR从而发现编译器中的错误。在SNL编译器上进行了本文方法的验证实验,结果表明该方法可有效地探测到SNL编译器中的错误。     

预应力混凝土连续刚构桥0号块空间分析

以水南特大桥主桥为研究对象,利用大型通用有限元程序MIDAS/Civil建立了该桥桥墩0号块的空间有限元计算模型,对0号块在施工阶段及成桥运营阶段两种工况下的应力进行了分析.计算结果表明,该桥桥墩0号块除在横隔板人孔部位略为薄弱外,其余部位均满足规范要求,计算结果已为该桥设计提供依据,对同类桥梁0号块设计也具有一定的参考价值.     

一种将串行程序划分成并行任务的方法

给出了一种将串行程序划分成并行任务的方法，该方法的关键是如何通过识别并行循环任务和并地过程任务来构造具有优先关系的任务图。