CLUBAS: An Algorithm and Java Based Tool for Software Bug Classification Using Bug Attributes Similarities

In this paper, a software bug classification algorithm, CLUBAS (Classification of Software Bugs Using Bug Attribute Similarity) is presented. CLUBAS is a hybrid algorithm, and is designed by using text clustering, frequent term calculations and taxonomic terms mapping techniques. The algorithm CLUBAS is an example of classification using clustering technique. The proposed algorithm works in three major steps, in the first step text clusters are created using software bug textual attributes data and followed by the second step in which cluster labels are generated using label induction for each cluster, and in the third step, the cluster labels are mapped against the bug taxonomic terms to identify the appropriate categories of the bug clusters. The cluster labels are generated using frequent and meaningful terms present in the bug attributes, for the bugs belonging to the bug clusters. The designed algorithm is evaluated using the performance parameters F-measures and accuracy. These parameters are compared with the standard classification techniques like Na?ve Bayes, Naive Bayes Multinomial, J48, Support Vector Machine and Weka’s classification using clustering algorithms. A GUI (Graphical User Interface) based tool is also developed in java for the implementation of CLUBAS algorithm.

针对NAND闪存硬件的形式化建模

为形式化地验证存储系统中软件的可靠性,引入NAND闪存硬件的形式化模型定义。根据NAND闪存接口标准ONFI,采用形式化语言对NAND闪存硬件的语义进行建模,包括ONFI定义的NAND闪存硬件的存储层次结构、闪存硬件芯片处理命令的内部工作流程、闪存硬件的命令集,以及在此基础之上定义的闪存等基本操作。该NAND闪存形式化模型在定理证明工具Coq中定义实现,其性质在Coq中得到完整证明,可以用于定义和验证基于NAND闪存的存储系统软件。

芯片封装测试产业上的功能安全

ISO 26262道路车辆功能安全标准是以产品功能安全设计导入为核心,同时包含产品安全生命周期中的制造环节。封装测试是半导体制造过程中重要的一环,研究工作着重在芯片从设计到封装测试的功能安全任务链接、转移与执行,包含封装厂商如何在芯片设计前端提供封装故障率预估,以评估硬件架构指标和随机硬件故障机率指标,确定功能安全设计的符合性。将产品设计中与安全相关的关键参数在量产过程中得到适当的管制,确保功能安全设计在产品上的实现。同时评估应用于封装设计、测试软件设计的软件工具信赖度,以及增强封装可靠度以减小故障率等课题。