2006 Sixth International Conference on Quality Software (QSIC'06)最新文献_第3页

Technical Reviews in Agile Development: Case Mobile-D^TM 敏捷开发中的技术评审:案例Mobile-D^TM

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.63

H. Hedberg, J. Iisakka

引用次数: 13

Static Slicing for Pervasive Programs 普适程序的静态切片

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.60

Heng Lu, W. Chan, T. Tse

引用次数: 2

Do we really have provable Best Practices that ensure Software Quality? 我们真的有可证明的最佳实践来确保软件质量吗?

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.24

J. B. Thompson

引用次数: 1

Modularly Certified Dynamic Storage Allocation in SCAP 模块化认证的SCAP动态存储分配

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.42

Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li

{"title":"Modularly Certified Dynamic Storage Allocation in SCAP","authors":"Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li","doi":"10.1109/QSIC.2006.42","DOIUrl":"https://doi.org/10.1109/QSIC.2006.42","url":null,"abstract":"Critical applications and increasing scale of software has made software assurance a big problem. Currently, programmers can write type-safe codes in typed languages with sound type systems, such as Java, Cyclone, even typed assembly language (TAL). But high assurance does mean not only type safe, but also correctness and security. Since type is not expressive enough, there are still no high assurance software released in typed language, especially operating system and runtime library, which are infrastructure software in the computing system. Logic predicates are more expressive than types, thus substituting types with logic predicates as program specification seems a good idea. In this paper, we present a certified dynamic storage allocation library (malloc/free) in SCAP, which is a new MIPS-like assembly language with expressive and power specification structure. And we encode the SCAP language and the certified library in a modern higher-order logic (HOL) proof assistant Coq. In this work, we confirm the expressiveness and modularity of SCAP. So we can expect SCAP to be a expressive target language for some safe high-level languages in the future","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125440024","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Automatic Visualization of Abstract System Specifications 抽象系统规格的自动可视化

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.16

Axel Schneider, Stéphane Walter, Jan Langer, U. Heinkel

引用次数: 2

Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework 自适应模型检查框架下的遗传算法动态模型学习

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.25

Zhifeng Lai, S. Cheung, Yunfei Jiang

引用次数: 8

Software Project Level Estimation Model Framework based on Bayesian Belief Networks 基于贝叶斯信念网络的软件项目水平估计模型框架

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.58

Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker

引用次数: 23

Correctness-preserving synthesis for real-time control software 实时控制软件的保正综合

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.21

Jinfeng Huang, J. Voeten, H. Corporaal

引用次数: 2

Optimal Synchronizable Test Sequence from Test Segments 测试片段的最佳可同步测试序列

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.46

Jessica Chen, Lihua Duan

引用次数: 2

Helping End-User Programmers "Engineer' Dependable Software 帮助最终用户程序员“设计”可靠的软件

2006 Sixth International Conference on Quality Software (QSIC'06) Pub Date : 2006-10-27 DOI: 10.1109/QSIC.2006.33

G. Rothermel

{"title":"Helping End-User Programmers \"Engineer' Dependable Software","authors":"G. Rothermel","doi":"10.1109/QSIC.2006.33","DOIUrl":"https://doi.org/10.1109/QSIC.2006.33","url":null,"abstract":"Summary form only given. Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic Web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults, and stories abound of spreadsheet faults that have led to multi-million dollar losses. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. In this paper, I'll show that it's possible to address this problem by adapting formal software engineering techniques to the realm of end-user programming. Focusing on work done in the spreadsheet application paradigm, I present several of approaches to using program analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, these methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided that does not require users to understand the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. I present empirical results gathered in the use of these methodologies, that highlight several costs and benefits tradeoffs","PeriodicalId":378310,"journal":{"name":"2006 Sixth International Conference on Quality Software (QSIC'06)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133408312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1