在程序理解中使用切片技术

对于遗产软件的理解和维护在软件研究领域中已经变得越来越重要，综述了程序理解的策略及工具，引入了程序切片的思想，并在此基础上对传统的切片方法进行改进以更好地完成程序理解的任务。     

基于布尔表达式约束的测试用例生成技术

布尔表达式约束在软件规格说明和程序中广泛存在，这些约束可作为软件系统的模型，成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法，主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略，并比较各种测试策略的适用情形和故障检测能力，也对基于约束语义测试的各种约束获取和求解方法进行性能分析，并介绍了典型工具。最后对未来的研究发展进行展望。     

基于VxWorks平台的软件重量级静态检查

为了保证基于VxWorks平台的软件代码的质量,对软件源代码进行静态检查非常重要。以ClearCase作为配置管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,对软件源代码进行静态检查。详细叙述了Coverity和Fortify编译器的配置,以及在ICP-CI工具的任务管理页面上配置检查任务。分析了检查过程中出现各种问题的原因并给出相应的解决方案。最后介绍了一个典型案例。工作实践表明,静态检查有助于及时发现并解决软件源代码的各种缺陷,从而提高软件质量和安全性。     

统计中文口语理解执行策略的研究

口语理解的语义框架包括两个决策——关键语义概念识别和意图识别,主要针对这两个决策的执行策略进行研究。首先研究了并联型和级联型两种策略;然后在此基础上提出了联合型结构进行中文口语理解,即通过三角链条件随机场对意图以及关键语义概念共同建模,用一个单独的图模型结构共同表示它们的依赖关系。通过与其他几种策略进行比较实验得出结论:该模型可以将两个任务一次完成,在关键语义概念识别任务上性能优于其他的执行策略。     

一个支持C程序分析的维护工具

为了理解、优化和维护源程序,人们必须分析源程序。本文介绍了由作者研制的C程序分析工具的功能与特点,也讨论了实现的方法和策略。该分析工具可以分析C程序中几种常见的软件垃圾和各种对象的视图。     

SSACC:一种基于软件科学法的Ada并发复杂性度量

本文致力于将软件科学法应用于Ada程序的并发复杂性度量,描述其方法和基于这种方法的相应工具SSACC。文中为Ada并发程序提出了一个面向度量的操作元-操作符模型,将任务和入口作为操作元,将程序中的并发动作作为对任务施加的操作。SSACC是Ada并发复杂性度量工具MACC的一部分。     

函数抽取重构的自动检测方法

软件重构历史的自动检测是目前软件重构领域的一个研究热点。其主要目的是方便程序员或软件维护人员理解 软件演化的历史,也便于根据服务代码重构历史对其客户代码进行相应的重构操作。虽然相关研究人员已经提出了多种自动化的重构历史检测方法,但目前未见关于函数提取重构历史检测的方法或工具。为此,提出了一种基于版本比较的函数抽取重构自动检测方法,实现并验证了该方法的有效性。在8个开源项目上进行了实验验证,结果表明其查准率为65％~90%。此外,在一个小型项目上通过监控程序员的重构操作获得了全部的函数提取重构操作,进而计算出检测算法的查全率和查准率均为85%。     

操作系统健壮性测试方法研究

健壮性已经成为衡量软件性能的一个重要指标。目前，人们已经提出了一些健壮性测试的方法，并且构建了一批健壮性测试工具。对这些方法和工具进行了研究，并利用开放源代码工具对Linux2．4．22进行了测试，还对测试结果进行了分析和比较。     

基于UML的形式化规范说明研究

软件的规范说明阶段 ( specification phase)对于软件的整体开发过程来说是一个非常重要的阶段 ,UML方法是目前比较流行的软件工程开发方法 ,它对软件整体开发过程提供了一套有用的模型。本文根据 UML和谓词转换 ,提出一种面向对象的形式化规范说明方法 ,并给出一组和 UML相对应的数学模型。本文的方法吸收了 UML和一般形式化方法的优点 ,具有数学的严谨性和精确性 ,并且更加易于理解和表达。     

操作系统健壮性测试方法的分析与比较

健壮性已经成为衡量软件性能的一个重要指标。目前，人们已经提出了一些健壮性测试的方法．并且构建了一批健壮性测试工具。本文对这些方法和工具进行了研究，并利用方法中的开源工具对Unux2．4．22进行了测试．还对测试结果进行了分析和比较．     

大规模软件与AS级Internet宏观拓扑结构分析比较

大规模软件与AS级Internet宏观拓扑结构的研究.对两者结构的进一步理解和应用具有重要意义.根据大规模软件结构与AS级Intemet宏观拓扑结构体现出来的复杂网络特征,分别将其抽取为网络拓扑,然后采用复杂网络的度量分析方法,从连通性、度分布特征、小世界特征和层次性4个方面进行了分析比较,得到了大规模软件与AS级Internet在宏观拓扑结构上的若干异同之处,并讨论了其产生原因.     

一种基于结构查询的UML设计模式识别方法

随着模型驱动技术的逐渐成熟和广泛应用,大量反映程序结构、行为以及性质的模型产生于软件的开发过程中,并成为软件文档的重要部分保存下来。其中,尤以UML模型的应用最为广泛,也因此形成了通过理解UML模型来理解大规模、高复杂性软件系统的研究思路。对UML模型理解的一个难点是如何有效地从大量复杂的模型中,快速查找并定位具有一定结构特征的模型片段。幸运的是,设计模式的普遍应用为我们快速、高效地理解和定位模型提供了一条重要的线索。然而,随着技术的发展,设计模式数量在不断增长,其自身在应用中的结构也在微妙变化,这些都给相应查询和识别工具的开发带来一定的困难。文中从查询和匹配UML模型中特定结构的角度入手,利用UML自身特点设计相应查询算法,通过分析和理解设计模式的结构特征,从UML模型中查询相应的设计模式,以达到灵活和高效地理解软件系统的目的。     

一个改善软件结构设计质量的知识系统

本文讨论我们在研制”ＭＩＳ软件工程环境“中为优化软件结构而采用的知识技术。尽管技术工程学对软件设计提出了优化软件结构的任务并给出了一些指导性原则,但由于设计者的经验和理解程度不同,因而软件结构设计质量往往因人而异。本研究旨在探索一种方法提供一种工具,以改善软件结构的质量,提高软件工程环境的智能水平。     

An objective-oriented approach to program comprehension using multiple information sources

Program comprehension is a key activity throughout software maintenance and reuse. The knowledge acquired through comprehending programs can guide engineers to perform various kinds of software maintenance and reuse tasks. The effective comprehension strategy and the associated efficient approach, as well as the sophisticated tool support, are the indispensable elements for an entire solution to program comprehension to reduce the high costs of this nontrivial activity. This paper presents an objective-oriented comprehension strategy, contrasting to the traditional comprehensive understanding strategy in the literature. It is a kind of on-demand understanding for specific tasks and more effective in practice. In addition, using multiple information sources to understand programs is proposed with the corresponding framework. From these two points of views, we propose a feature-oriented program comprehension approach using requirement documentation. This approach aims at a specific category of feature-related software maintenance and reuse tasks. Case studies are conducted to evaluate the proposed solution. Results from the studied cases show that the experimental prototype provides more explicit advices for software engineers when performing these tasks.     

Effect of personality type on structured tool comprehension performance

Accurate understanding of software requirements by end users and software developers is important to ensure a high quality software product. While comprehension performance on systems analysis tools has been studied in the past, there is little research that examined the influence of personality type of an individual on his/her performance. This paper has two objectives. First, the research uncovers the relationships between personality types (introvert/extrovert, sensing/intuitive, feeling/thinking, and perceptive/judging) and comprehension performance (accuracy and speed) of users/developers using the structured tools: Decision Tables (DT), Nassi–Schneiderman Charts (NS) and Structured English (SE). Second, it examines the trade-offs between comprehension accuracy and speed for each personality type. Using laboratory experiments, we measured individual performance with the three structured tools. We found that introverts and feeling personalities comprehended more accurately with DT; thinking and intuitive personalities comprehended more accurately with NS and SE. The comprehension accuracy increased with time more for SE than for DT and NS. The results show the most suitable combinations of structured tools and personality types for high comprehension. The results also provide guidelines to managers with tight project schedules, such as structured tools that are easier/faster to understand and the matching personalities who can comprehend faster.     

程序理解:现状与未来

程序理解是软件工程中的关键活动,在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来,就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及,程序理解研究的需求发生了新的变化,程序的自理解或自认知逐渐成为新的关注点,有必要对程序理解进行重新审视.从工程、学习和认知以及方法和技术这3个角度定位程序理解任务;随后,通过文献分析展示其研究布局,进而分别从认知过程、理解技术以及软件工程任务中的应用这3个方面,综合论述程序理解研究的发展脉络和研究进展.     

Theories, tools and research methods in program comprehension: past, present and future

Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers understand software, as well as the tools that are used to assist in comprehension tasks. In this paper, I review some of the key cognitive theories of program comprehension that have emerged over the past thirty years. Using these theories as a canvas, I then explore how tools that are commonly used today have evolved to support program comprehension. Specifically, I discuss how the theories and tools are related and reflect on the research methods that were used to construct the theories and evaluate the tools. The reviewed theories and tools are distinguished according to human characteristics, program characteristics, and the context for the various comprehension tasks. Finally, I predict how these characteristics will change in the future and speculate on how a number of important research directions could lead to improvements in program comprehension tool development and research methods. Dr. Margaret-Anne Storey is an associate professor of computer science at the University of Victoria, a Visiting Scientist at the IBM Centre for Advanced Studies in Toronto and a Canada Research Chair in Human Computer Interaction for Software Engineering. Her research passion is to understand how technology can help people explore, understand and share complex information and knowledge. She applies and evaluates techniques from knowledge engineering and visual interface design to applications such as reverse engineering of legacy software, medical ontology development, digital image management and learning in web-based environments. She is also an educator and enjoys the challenges of teaching programming to novice programmers.     

基于数据切片度量JAVA内聚性

面向对象的程序切片在程序分析、程序理解、软件测试和调试以及软件维护方面有着广泛的用途.首先建立了抽象数据切片和类内切片的概念,然后基于这两种切片讨论了JAVA语言中存在的内聚问题,通过分析这些切片与数据、方法、类之间的关系来度量数据、方法以及类的内聚性问题.     

面向过程的软件工程环境的集成问题探讨

本文前五节仔细介绍了Ｔｈｏｍａｓ和Ｎｅｊｍｅｈ一文“ＤｅｆｉｎｉｔｉｏｎｓｏｆＴｏｏｌＩｎｔｅｇｒａｔｉｏｎｆｏｒＥｎｖｉｒｏｎｍｅｎｔｓ”中的基本观点，并给以必要的评述，这些观点对我人考察软件工程环境的集成问题仍然是有闪斩，本文第六节提出了构造面向过程的软件工程环境的休成机制，这是美国当前建造软件工程环境的一个新的潮流，值得我们注意。     

基于Linux平台的数控虚拟机系统

概述了开放式数控系统，尤其是开放式软数控的发展现状与特点；分析和构建了基于数控虚拟机的开放式数控系统的体系结构，介绍了此系统中的软／硬件结构；在对具有代表性的操作系统进行了研究与比较之后，选择了Linux作为此系统的软件开发平台；最后根据Linux内核的结构特点，重新划分了传统用户模式下运行的数控软件体系，建立了包含实时控制层和数控应用层的双层模型，就其中的关键性技术问题进行了探讨和分析，明晰了该虚拟机在Linux下的具体实现方法。