Welcome to the premier ieee computer society conference on software systems reliability. For systems that require high reliability, this may still be a necessity. The 31st international symposium on software reliability. Proceedings of the 2012 ieee 23rd international symposium on software reliability engineering november 2012 pages 3560. Issre 2012, 2730 november 2012, dallas, texas, usa ieee computer society institute of electrical and electronics engineers. Petr hosek, matteo migliavacca, ioannis papagiannis, david eyers, david evans, brian shand, jean bacon, peter pietzuch.
Reliability validation and improvement framework, technical report cmusei 2012 sr0, pittsburgh pa software engineering institute, carnegiemellon university, pittsburgh, usa, 2012. Ieee 23rd international symposium on software reliability engineering. Software reliability requirements are specified at the software requirement phase to describe software reliability considerations, which are the key to ensuring software reliability, therefore gaining increasing importance. Institute of electrical and electronics engineers ieee. As in previous years, its ninth edition aims at providing a europeanhosted venue for researchers and practitioners from all over the world to present and discuss their latest research results on dependability, security, fault. The fifth international conference on communication theory. Software reliability growth or estimation models use failure data from testing to forecast the failure rate or mtbf into the future. Reliasoft reliability and maintainability analysis reliasoft. May 31, 2012 windpower conference 2012 31 may 2012. Reliability software reliability is defined as the probability of failurefree software operation for a specified period of time in a specified environment. Previously i was a research associate in the software reliability group at imperial college london, where i also completed my ph. Edcc is the leading european conference for presenting and discussing the latest research in dependable computing. Especially redundant execution in terms of triple modular redundancy is a wellknown solution. Horcath, in proceedings of the 52nd annual conference by the association for computer educators in texas, beaumont, texas, october 2016.
Proceedings of the 2012 ieee 23rd international symposium on. The society for maintenance and reliability professionals smrp 20th annual conference was last week in orlando and i thought i would take a few minutes to share the highlights as i saw them. Journal of systems and software special issues elsevier. A middleware for securing rubybased web applications. In hall 4, stand 325, green hills software will also demonstrate its latest embedded software solutions. Paul marinescu is a research scientist at facebook. Overcoming nondeterminism in testing smart devices. Proceedings, 2012 ieee 23rd international symposium on.
Proceedings of the 2012 ieee 23rd international symposium on software reliability engineering. Proceedings of the 2012 ieee sixth international conference on software security and reliability software fault localization using dstar d pages 2. Some useful metrics such as swdpmh software defects per million hours of customer usage per month often have values that vary by. Authorized distributor of all ieee proceedings toc. Compositional verification of sensor software using uppall. Deriving a frequentist conservative confidence bound for probability of failure per demand for systems with different operational and test profiles. These innovative tools provide a powerful range of reliability and maintainability software solutions to facilitate a comprehensive set of reliability engineering modeling and analysis techniques, such as life data analysis, accelerated life testing, system. Proceedings of the 2012 international conference on information.
Santa barbara, ca february 21, 2012 green hills software, the largest independent vendor of embedded software solutions, will deliver technology presentations at the embedded world 2012 conference in nuremberg, germany, from february 28 march 1, 2012. This project investigates how factors such as complexity metrics, churn, organizational structure, dependencies, and social networks relate to software defects and failures. Software reliability timeline 4 1960s 1970s 1980s 1990s 1962 first recorded system failure due to software many software reliability estimation models developed. This workshop was colocated with the ieee sixth international conference on software security and reliability sere 2012 at the national institute of standards and technology. Size and complexity of computer systems has grown during last past few years in very impressive manner. Maintainability is closely related to ward cunninghams concept of technical debt, which is an expression of the costs resulting of a lack of maintainability. In the context of software engineering, software quality refers to two related but distinct notions. The purpose of this study is to compare the fitting goodness of fit and prediction capability of eight software reliability growth models srgm using fifty different failure data sets. Report on the metrics and standards for software testing. The 2020 ieee international conference on software quality, reliability and. Ares 2012 7th international conference on availability, reliability and security. Proceedings international symposium on software reliability. Reliability validation and improvement framework, technical report cmusei2012sr0, pittsburgh pa software engineering institute, carnegiemellon university, pittsburgh, usa, 2012.
Machine method for verifying specifications and then generating complete functional test suites. Abstractin the domain of safetycritical embedded and cyberphysical systems, softwarebased redundancy is generally understood as an effective and cheap approach to improve reliability. The fifth international conference on communication theory, reliability, and quality of service ctrq 2012 april 29 may 4. Verma is a professor technical safety, atom, stordhaugesund university college, haugesund, norway since march 2012 and has been a professor since feb 2001 and senior hag scale professor since jan 20 with the department ofelectrical engineering at iit bombay with a research focus in reliability and safety engineering he has been on leave from iit bombay since march 2012. Proceedings international symposium on software reliability engineering, issre.
Safety and reliability conference, psam 11esrel 2012, 2529 juin 2012. The 30th international symposium on software reliability. Ninth european dependable computing conference edcc 2012. That attribute can also be described as the fitness for purpose of a piece of software or how it compares to competitors in the marketplace as a. Citeseerx document details isaac councill, lee giles, pradeep teregowda. The nist software assurance metrics and tool evaluation samate project conducted a workshop on metrics and standards for software testing masst on june 20, 2012. Special issue on software reliability call for papers. Secure system integration and reliability improvement, ssiri. There has lot of work is done in field of software reliability estimation. Software testing, verification and reliability wiley. Main obstacle cant be used until late in life cycle.
My research focuses on symbolic executionbased techniques and tools for automatically testing cots software. Qualitative software reliability requirements, as an essential part of software reliability requirements, reflect the idea that software reliability should be designed into. Software functional quality reflects how well it complies with or conforms to a given design, based on functional requirements or specifications. Program cochair of the ieee international conference on software reliability engineering issre, 2017. May 20, 2012 according to the scenario model, the testing data for software reliability testing could be generated.
Software reliability enhancements for gpu applications. Dec 02, 2012 reliability software reliability is defined as the probability of failurefree software operation for a specified period of time in a specified environment. Mar 03, 2012 a brief description of software reliability. Proceedings of a meeting held 2730 november 2012, dallas, texas, usa. The basic conceptions of software reliability are put forward in this paper, and comparative analysis on the research status at home and abroad are studied. A comparative analysis of software reliability growth. This workshop was colocated with the ieee sixth international conference on software security and reliability sere 2012 at national institute of standards and technology. Reasons for why maintainability is low can be classified as reckless vs. This information is used to build prediction models that can help to prioritize tests.
Apr 22, 20 the nist software assurance metrics and tool evaluation samate project conducted a workshop on metrics and standards for software testing masst on june 20, 2012. For most other systems, eventually you give up looking for faults and ship it. Siok, in proceedings of the 5th ieee international conference on secure software integration and reliability improvement ssiri, pp. The international symposium on software reliability engineering issre is focused on innovative techniques and tools for assessing, predicting, and improving the reliability, safety, and security of. The models depend on the assumptions about the fault rate during testing which can either be increasing, peaking, decreasing or some combination of decreasing and increasing. Teaching secure coding practices in introductory programming courses, w. Citeseerx 2012 ieee sixth international conference on. With the integration of informatization and industrialization, the application of software is getting more and more extensive and plays a powerful role in many facilities. Software reliability engineering issre, 2012 ieee 23rd international. Reliability and safety engineering ajit kumar verma. Reliasoft reliability and maintainability analysis. Guest coeditor of a special issue of the ieee transactions on reliability tr, 2018, on software. November 2012, pp 910 software reliability can be greatly enhanced by using tools that can inspect and evaluate the.
Eric wong, vidroha debroy, yihao li, and ruizhi gao, in proceedings of the 6th ieee international conference on software security and reliability sere, washington d. Neural network based software reliability prediction with the feed of. The purpose of this study is to compare the fitting goodness of fit and prediction capability of eight software reliability growth models srgm using fifty. Hidden markov model approach for software reliability. Programming for reliability as we have seen, squeezing the last few bugs out of a system can be very costly. Citescore values are based on citation counts in a given year e. We invite the original previously unpublished papers as well as extended versions of papers presented at the 27th annual international symposium on software reliability engineering issre 2016. According to the scenario model, the testing data for software reliability testing could be generated. European software engineering conference acm sigsoft symposium on the foundations of software engineering esecfse 2019 computing summaries of string loops in c for better testing and refactoring timotej kapus, oren ishshalom, shachar itzhaky, noam rinetzky, cristian cadar. A comparative analysis of software reliability growth models. A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext.
The special issue focuses on advanced methods and tools for enhancing, assessing and predicting the reliability, safety, and security of software products. A framework for the analysis of code, test, and coverage evolution in real software paul dan marinescu. Software fault localization using dstar d proceedings of. Software reliability is based on the three primary concepts. Software testing, verification and reliability wiley online. Software reliability classes proceedings of the 2012 ieee 23rd. Attendance was great with over 900 people from all over the world at a great venue that provided for networking and learning with over 70 industry papers. Proceedings of the 2012 ieee 23rd international symposium on software reliability engineering compositional verification of sensor software using uppall pages 3560. Analyses of two enduser software vulnerability exposure metrics extended version jason l. An exploration of software faults and failure behaviour in a large population of programs. Reliasoft software from hbm prenscia empowers reliability, quality and maintainability engineers to transform data into decisions. Proceedings, 2012 ieee 23rd international symposium on software reliability engineering. Reliability and safety engineering ajit kumar verma springer. At the same time, software failures cause tremendous losses, thus ensuring the reliability of software becomes increasingly important.
Moog industrial group will bring its high performance technologies for controlling and monitoring wind turbine blades to the windpower 2012 conference and exhibition in atlanta, ga. A scenario modeling method for software reliability testing. Sixth workshop on programmability issues for heterogeneous multicores multiprog20, held in conjunction with the 8th international conference on highperformance and embedded architectures and compilers hipeac. Software fault localization using dstar d proceedings.
950 91 845 936 1258 843 1412 95 1138 386 735 1225 1574 897 228 229 114 1222 845 339 969 311 218 233 623 287 1462 30 1342 975 86 692 331 683 475 1002 1366 1434 567 1365