Comparative performance evaluation of applying extended PIE technique to accelerate software testability analysis

The rapid development of technology provides high performance and reliability for the hardware system; based on this, software engineers can focus their developed software on more convenience and ultra-high reliability. To reach this goal, the testing stage of software development life cycle usually takes more time and effort due to the growing complexity of the software. How to build software that can be tested efficiently has become an important topic in addition to enhancing and developing new testing methods. Thus, research on software testability has been conducted and various methods have been developed. In the past, a dynamic technique for estimating program testability was proposed and called propagation, infection and execution (PIE) analysis. Previous research studies have shown that PIE analysis can complement software testing. However, this method requires a lot of computational overhead in estimating the testability of software components. In this article, we propose an extended PIE (EPIE) method to accelerate the conventional PIE analysis, based on generating group testability as a substitute for statement testability. Our proposed method can be systematically separated into three steps: breaking a program into blocks, dividing the blocks into groups and marking target statements. Experiments and evaluations with the Siemens suite, together with cost-effectiveness analysis, clearly show that the number of analysed statements can be effectively decreased, and the calculated values of testability are still acceptable.     

Applying software reliability models to a large industrial dataset

There are more reliability models in literature than experience reports of their application in industry. This paper tries to fill a bit of the hole, reporting the experience matured in Italtel SIT, a major Italian telecommunications company. The paper deals with the following subjects: goals of the experience; overview of the product under examination and its testing process; the method followed for conducting the experience; data analysis strategy; selection of the best models; analysis of their predictive capability; linking of phases by means of compression factors; and tools used to support the work.     

基于仿真技术的调节阀选型教学软件的设计

以调节阀选型的教学为目的,深入研究了多种调节阀的结构特点及其输入输出特性,对调节阀的选型步骤和选型方法进行了软件实现,并对其动态特性进行了仿真分析。在Visual Studio2008环境中使用C++编程,实现了调节阀的选型、流量系数的计算、输入输出特性的仿真分析及故障情况下流出特性的仿真分析等功能。     

拓扑指数计算软件的开发与设计

用MATLAB语言开发设计拓扑指数计算软件,软件包括8个菜单,即分子结构文件载入、拓扑指数计算、数据载人、数据预处理、统计分析、系统菜单、帮助菜单和退出系统。不仅能计算多类重要的拓扑指数,还能统计分析和预报计算结果。具有操作简便、界面友好、功能完善等特点。软件适合从事化学信息学、QSAR/QSPR的工作者使用。     

A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components

We investigate how a formalism known as a basis and common to many areas of applied mathematics and engineering can be applied to perfective maintenance and the integration of application systems in software engineering, using an object-oriented approach. It is concluded that this formalism serves as a mathematical model for perfective software maintenance and software systems integration activities under object-oriented development. Theorems and properties about the model are reported as guides to software maintenance. The model and formal maintenance techniques have been applied to a software system in the management information systems area to demonstrate this approach to perfective maintenance and to assist in validating the model.     

一种适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别方法

为减小时间开销,动态故障树经常被模块化分解为独立的静态子树和独立的动态子树,然后分别使用二叉决策图和马尔卡夫模型求解;其中的一个关键问题便是识别具有相互依赖基本事件和重复事件的动态故障树中所有的独立模块和最小独立模块.文中提出了一个基于亲戚依赖关系的独立模块识别方法IIMKDR,该方法将故障树按照其事件之间的依赖关系转换为依赖树;基于面向对象思想,为依赖树及其节点构建对象;通过对各节点对象属性的分析,得出独立模块集并进而求出最小独立模块集.最后对IIMKDR方法进行了理论分析和实验验证,分析表明该方法适用于具有相互依赖基本事件和重复事件的动态故障树独立模块识别.与其它方法从多个角度所进行的实验对比显示,当故障树没有相互依赖基本事件和重复事件时,该方法的开销略高于其它方法;当故障树具有相互依赖基本事件和重复事件时,该方法能够正确识别其中所有的独立模块,而其它方法不具备这样的功能.