CBSE, COTS and PLE are widely well-known techniques of software reuse, whereby PLE is favored in ... more CBSE, COTS and PLE are widely well-known techniques of software reuse, whereby PLE is favored in the practice.
A significant percentage of time and effort in software development is spent on testing and yet t... more A significant percentage of time and effort in software development is spent on testing and yet the achieved quality is less than desired. To reduce cost and improve quality, test automation solutions are necessary. To facilitate the discussion on this important area, we continue on the successes of this workshop introduced in 2009. The workshop provides an opportunity for academic researchers and industry participants and practitioners to exchange ideas, experiences, understand problems in theory and practice, and lay a foundation for the future in the area of test automation. This year's theme of COMPSAC is "Connected World: New Challenges for Data, Systems, and Applications."
Whereas a software component may be perfectly suited to one application, it may prove to cause se... more Whereas a software component may be perfectly suited to one application, it may prove to cause severe faults in other applications. The pre-standard IEC/PAS 62814 (Dependability of Software Products Containing Reusable Components-Guidance for Functionality and Tests), which has recently been released, addresses the functionality, testing, and dependability of software components to be reused and products that contain software to be used in more than one application. This paper introduces into this pre-standard and give hints how to use it. The author, who chaired its realization that started in 2006, briefly summarizes the difficult process to bring the industrial partners with controversial interests to a consensus. 58 Belli F..
Die Methoden der syntaktischen (oder strukturellen) Mustererkennung (ME) werden, meist in Verbind... more Die Methoden der syntaktischen (oder strukturellen) Mustererkennung (ME) werden, meist in Verbindung mit anderen Methoden (z.B. mit statistischen), seit langem in der Praxis eingesetzt (s. z.B. /FU, THO/). Die theoretischen Grundlagen der syntaktischen Methoden der ME, z.B. die Theorie der Formalen Sprachen und der abstrakten Automaten, ist ein intensiv erforschtes Gebiet. In Verbindung mit „traditionelleren“ Mitteln der ME, wie picture description languages (PDL), ist dieser Methoden-gruppe gelungen, kompliziertere Strukturen als die der Zeichenketten zu untersuchen. Dabei wird zuerst durch Kombinationen von Elementarmustern (pattern primiti-ves oder subpatterns) die Struktur der erwunschten Musterklassen gebildet. Hierfur werden vielfach Nicht-Linguistische Methoden zu Hilfe gencinmen. Den Elementarmus-tern werden dann Symbole eines Alphabets als Namen zugewiesen, um die Muster als Symbol- oder Zeichenketten darzustellen. Die Menge dieser Zeichenketten bildet eine Sprache, deren Grammatik durch Inferenz-Techniken konstruiert werden kann.
International Advanced Researches and Engineering Journal
A software can be thought as a composition of features. Feature-oriented software development (FO... more A software can be thought as a composition of features. Feature-oriented software development (FOSD) builds the development process on features. Part of the FOSD process is testing, and accordingly, it should be feature-driven. In model-based testing, test cases are systematically generated using the model. This research concentrates on event-based graphical models and utilizes event sequence graphs (ESGs). We develop a new test sequence generation algorithm for ESGs and named it short and frequent test sequences (SFT). Then we compare it with the existing test sequence generation algorithm called TSD. Moreover, we introduce two model-building approaches, namely daisy and swim lane, for ESGs and analyze their effects on feature-driven testing. For the evaluation, we use five different feature-driven software models. The evaluation results shows that both modeling approaches are advantageous in certain test objectives. For testing the software product as a whole, test sequence(s) sho...
Model tabanlı Grafiksel Kullanıcı Arayüzü (GUI) testi, yazılım GUI testi içerisinde önemli bir ye... more Model tabanlı Grafiksel Kullanıcı Arayüzü (GUI) testi, yazılım GUI testi içerisinde önemli bir yer tutmaktadır. Manuel test, zaman alıcı bir iştir ve büyük ölçüde hataya açıktır. Yazılım test topluluğunun uzun yıllardır üzerinde çalıştığı ve genel kullanımda olan birkaç test modeli vardır. Bu makale, model tabanlı GUI testinde kullanılan farklı modelleri incelemektedir. Test senaryoları oluşturmak ve bunları tek bir modelde birleştirmek amacıyla, kabul gören birkaç modelin Olay Sıra Çizgelerine (ESG) nasıl dönüştürüleceğine ilişkin bir yöntem önerilmiştir ve bunun kullanımını örnekleyen bir vaka çalışması sunulmuştur. Ayrıca bu makalede diğer modellerden dönüşümle elde edilen ESG modelinden test kümelerinin üretilmesi ve çalıştırılmasını içeren bir yaklaşım tanıtılmıştır. Deneysel çalışmalar öne sürülen bu yaklaşımın uygun ve etkili olduğunu göstermiştir. Bu kapsamda ESG'den elde edilen 20 mutant için öne sürülen yaklaşım en yüksek seviyede mutasyon skoru sonucunu vermiştir. Ayrıca gerçek bir sistem için gerçekleştirilen deneysel çalışmalar, ESG modelinden elde edilen test kümelerinin daha kompakt ve hata yakalamada daha başarılı olduğunu göstermektedir.
2021 15th Turkish National Software Engineering Symposium (UYMS), 2021
MUTATION ANALYSIS OF SPECIFICATION-BASED CONTRACTS IN SOFTWARE TESTING Software used in fields su... more MUTATION ANALYSIS OF SPECIFICATION-BASED CONTRACTS IN SOFTWARE TESTING Software used in fields such as medicine, finance, aviation and aerospace, nuclear power etc. is required to be reliable. Any software failures in these fields may have catastrophic consequences such as human and financial losses, which may cause a great damage to the economy and to social well-being. Hence, before launching, software should be rigorously tested. Testing can uncover the conditions, which software cannot handle. Those conditions might be overlooked during development. So, software testing points to the faults in the software under development to be patched. The important element of software testing is the use of the adequate test cases. If the outcome of the test case is positive, that means testing did not reveal any fault, then this test case might be considered as inefficient and useless for the tested version of software. Therefore, it is important to check test cases on adequacy, which can be achieved by mutation analysis. This thesis focuses on checking the adequacy of the test cases for Decision-Table-augmented Event Sequence Graphs (ESG-DTs) representation of a system under test by using mutation analysis. Test cases are represented in the Complete Event Sequence (CES) and Faulty CES (FCES) forms. This thesis presents a new set of mutation operators for mutation of contracts represented in Multi-Terminal Binary Decision Diagram (MTBDD). This thesis introduces a new approach for mutation of the ESG-DT model by using the proposed MTBDD mutation operators. The proposed approach is evaluated on three cases. The results for all cases show the drawback of specific FCES test sequences and the relationship between the mutant detection by CES/FCES sequences and proposed mutation operators.
/ Table of Contents.- Eroffnungssitzung / Opening Session.- Software Fault Tolerance in Safety-Cr... more / Table of Contents.- Eroffnungssitzung / Opening Session.- Software Fault Tolerance in Safety-Critical Applications.- Vertrauenswurdige Systeme / Dependable Systems.- Biased Programming Faults - How to Overcome Them?.- Sicherheitsgerichtete speicherprogrammierbare Steuerung mit TUV-Prufung.- Verlusttolerante elektronische Brieftaschen.- Design Issues in High Performance Fault-Tolerant Multicomputers.- Hardware-Implementierte Fehlertoleranz / Hardware-Implemented Fault Tolerance.- Mutabor - An Intelligent Memory Management Unit for an Object Oriented Architecture Supporting Error Recovery.- Fault-Tolerant VLSI Processor.- Testerzeugung / Test Generation.- Fault Detection By Consumption Measurement in CMOS Circuits.- MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation.- Expertensysteme und Testerzeugung / Expert Systems and Test Generation.- NEOCRIB: An Expert Fault Finding System that Articulates the Competence of Field Engineers.- Knowledge Based Tools for Testability Checking.- Test Pattern Obtainment from Algorithmic Descriptions.- Efficient Test Generation for Register Transfer Level Descriptions.- Selbsttest / Self-Test.- Experiments with Transient Fault Upsets in Microprocessor Controllers.- Universal Test Controller Chip for Board Self Test.- Systematische Erweiterung der Selbsttestmoglichkeiten von Baugruppen mit Mikroprozessoren.- Systemdiagnose und Fehlerbehebung / System Diagnosis and Error Recovery.- Ein Diagnoseverfahren fur Systeme mit mehreren Verarbeitungseinheiten.- Investigation of Distributed Algorithms for System Self-Diagnosis.- Rollback Recovery in Multiprocessor Ring Configurations.- Fehlertolerante Kommunikationssysteme / Fault-Tolerant Communication Systems.- Modelling Interrupt Based Interprocessor Communication by Time Petri Nets.- Ein Verfahren zur Fehlerausgrenzung und Fehlertolerierung in busorientierten Rechensystemen.- Reliable Multicast Protocols for a Token Ring Architecture.- Software-Fehlertoleranz und -Zuverlassigkeit / Software Fault Tolerance and Software Reliability.- A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software.- A System Architecture for Software Fault Tolerance.- Quantitative Assessment of Fault-Tolerant Software Architecture.- Another Software Reliability Prediction Model.- Zuverlassigkeitsbewertung / Reliability Evaluation.- The Distribution of Computer Life after Tolerable Faults.- Maximal Availability of Tree-Structured Fault-Tolerant Systems.- Fehlerbehandlung in verteilten Systemen / Error Processing in Distributed Systems.- Fehlertoleranz-Aspekte in Transaktionssystemen.- A Reliable and Efficient Synchronization Protocol for Database Sharing Systems.- Fault Tolerance based on Time-Staggered Redundancy.- Fault-Tolerant Distributed Real-Time Systems: MARS.- Anwendungen / Applications.- An Automated Material Flow Control System on a Fault-Tolerant Computer System for an Industrial Serial Manufacturer - A Report upon Practical Experience.- Konzept und Einsatzerfahrung mit Marathon/32 und RELIANCE.- Systeme I / Systems I.- LOGISIRE, a Safe Computer System for Process Automation.- Ausfallsicheres Betriebs- und Wartungszentrum BSE.- Systeme II / Systems II.- A Fault-Tolerant Multiple Processor for Front-End Process Control.- Autorenverzeichnis / Author Index.
An ideal test is supposed to show not only the presence of bugs but also their absence. Based on ... more An ideal test is supposed to show not only the presence of bugs but also their absence. Based on the Fundamental Test Theory of Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach to model-based ideal testing of hardware description language (HDL) programs based on their behavioral model. Test sequences are generated from both original (fault-free) and mutant (faulty) models in the sense of positive and negative testing, forming a holistic test view. These test sequences are then executed on original (fault-free) and mutant (faulty) HDL programs, in the sense of mutation testing. Using the techniques known from automata theory, test selection criteria are developed and formally show that they fulfill the major requirements of Fundamental Test Theory , that is, reliability and validity. The current paper comprises a preparation step (consisting of the sub-steps model construction, model mutation, model conversion, and test generation) and a composition step (consisting of the sub-steps pre-selection and construction of Ideal test suites). All the steps are supported by a toolchain that is already implemented and is available online. To critically validate the proposed approach, three case studies (a sequence detector, a traffic light controller, and a RISC-V processor) are used and the strengths and weaknesses of the approach are discussed. The proposed approach achieves the highest mutation score in positive and negative testing for all case studies in comparison with two existing methods (regular expression-based test generation and context-based random test generation), using four different techniques.
2009 23rd IEEE/NPSS Symposium on Fusion Engineering, 2009
A new architecture has been developed for the ENEA-Frascati neutron/gamma Digital Pulse Shape Dis... more A new architecture has been developed for the ENEA-Frascati neutron/gamma Digital Pulse Shape Discrimination (DPSD) system. The system (FPGA-based, 200 MSamples/s, 14 bit ADC resolution) has been upgraded to 4 input channels; higher versatility has been obtained through the implementation of a soft processor in the FPGA. The FPGA-embedded processor enables to create software programs written in plain C to control the hardware: simple set-up and modification of hardware parameters and real time data distribution over the standard Ethernet network are now available.
Model-based testing of large systems usually requires decomposition of the model into hierarchica... more Model-based testing of large systems usually requires decomposition of the model into hierarchical submodels for generating test sequences, which fulfills the goals of module testing, but not those of system testing. System testing requires test sequences be generated from a fully resolved model, which necessitates refining the toplevel model, that is, by replacing its elements with submodels they represent. If the depth of model hierarchy is high, the number of test sequences along with their length increases resulting in high test costs. For solving this conflict, a novel approach is introduced that generates test sequences based on the top-level model and replaces elements of these sequences by corresponding, optimized test sequences generated by the submodels. To compensate the shortcoming at test accuracy, the present approach selects components that have lowering impact on the overall system reliability. The objective is to increase the reliabilities of these critical components by intensive testing and appropriate correction which, as a consequence, also increases the overall reliability at less test effort without losing accuracy. An empirical study based on a large web-based commercial system is performed to validate the approach and analyze its characteristics, and to discuss its strengths and weaknesses.
Both DE and telehealth systems provide remote access to services, supported by digital technology... more Both DE and telehealth systems provide remote access to services, supported by digital technology infrastructure. Both systems aim to enhance the quality of service for remote communities that may otherwise not have access to expert knowledge or support. Unlike DE, which has been employing technology to support and teach students remotely for some time, telehealth is relatively new, with no standard technological tools. This paper describes opportunities for re-use of IT systems employed in DE into telehealth applications, where the "student" and "educator" in the DE domain may be replaced by the "patient" and "remote health care provider" respectively in the telehealth domain. We consider similarities and differences between the requirements of patients vs. students, and the requirements of the remote health care provider vs. the educator. This investigation into the similarities of DE and telehealth exposes potential for the exploitation of DE systems and expertise that already exists and is readily available. Such resources may speed the employment of such technological tools for supporting patients remotely, increasing the options available for both health care professionals and patients.
CBSE, COTS and PLE are widely well-known techniques of software reuse, whereby PLE is favored in ... more CBSE, COTS and PLE are widely well-known techniques of software reuse, whereby PLE is favored in the practice.
A significant percentage of time and effort in software development is spent on testing and yet t... more A significant percentage of time and effort in software development is spent on testing and yet the achieved quality is less than desired. To reduce cost and improve quality, test automation solutions are necessary. To facilitate the discussion on this important area, we continue on the successes of this workshop introduced in 2009. The workshop provides an opportunity for academic researchers and industry participants and practitioners to exchange ideas, experiences, understand problems in theory and practice, and lay a foundation for the future in the area of test automation. This year's theme of COMPSAC is "Connected World: New Challenges for Data, Systems, and Applications."
Whereas a software component may be perfectly suited to one application, it may prove to cause se... more Whereas a software component may be perfectly suited to one application, it may prove to cause severe faults in other applications. The pre-standard IEC/PAS 62814 (Dependability of Software Products Containing Reusable Components-Guidance for Functionality and Tests), which has recently been released, addresses the functionality, testing, and dependability of software components to be reused and products that contain software to be used in more than one application. This paper introduces into this pre-standard and give hints how to use it. The author, who chaired its realization that started in 2006, briefly summarizes the difficult process to bring the industrial partners with controversial interests to a consensus. 58 Belli F..
Die Methoden der syntaktischen (oder strukturellen) Mustererkennung (ME) werden, meist in Verbind... more Die Methoden der syntaktischen (oder strukturellen) Mustererkennung (ME) werden, meist in Verbindung mit anderen Methoden (z.B. mit statistischen), seit langem in der Praxis eingesetzt (s. z.B. /FU, THO/). Die theoretischen Grundlagen der syntaktischen Methoden der ME, z.B. die Theorie der Formalen Sprachen und der abstrakten Automaten, ist ein intensiv erforschtes Gebiet. In Verbindung mit „traditionelleren“ Mitteln der ME, wie picture description languages (PDL), ist dieser Methoden-gruppe gelungen, kompliziertere Strukturen als die der Zeichenketten zu untersuchen. Dabei wird zuerst durch Kombinationen von Elementarmustern (pattern primiti-ves oder subpatterns) die Struktur der erwunschten Musterklassen gebildet. Hierfur werden vielfach Nicht-Linguistische Methoden zu Hilfe gencinmen. Den Elementarmus-tern werden dann Symbole eines Alphabets als Namen zugewiesen, um die Muster als Symbol- oder Zeichenketten darzustellen. Die Menge dieser Zeichenketten bildet eine Sprache, deren Grammatik durch Inferenz-Techniken konstruiert werden kann.
International Advanced Researches and Engineering Journal
A software can be thought as a composition of features. Feature-oriented software development (FO... more A software can be thought as a composition of features. Feature-oriented software development (FOSD) builds the development process on features. Part of the FOSD process is testing, and accordingly, it should be feature-driven. In model-based testing, test cases are systematically generated using the model. This research concentrates on event-based graphical models and utilizes event sequence graphs (ESGs). We develop a new test sequence generation algorithm for ESGs and named it short and frequent test sequences (SFT). Then we compare it with the existing test sequence generation algorithm called TSD. Moreover, we introduce two model-building approaches, namely daisy and swim lane, for ESGs and analyze their effects on feature-driven testing. For the evaluation, we use five different feature-driven software models. The evaluation results shows that both modeling approaches are advantageous in certain test objectives. For testing the software product as a whole, test sequence(s) sho...
Model tabanlı Grafiksel Kullanıcı Arayüzü (GUI) testi, yazılım GUI testi içerisinde önemli bir ye... more Model tabanlı Grafiksel Kullanıcı Arayüzü (GUI) testi, yazılım GUI testi içerisinde önemli bir yer tutmaktadır. Manuel test, zaman alıcı bir iştir ve büyük ölçüde hataya açıktır. Yazılım test topluluğunun uzun yıllardır üzerinde çalıştığı ve genel kullanımda olan birkaç test modeli vardır. Bu makale, model tabanlı GUI testinde kullanılan farklı modelleri incelemektedir. Test senaryoları oluşturmak ve bunları tek bir modelde birleştirmek amacıyla, kabul gören birkaç modelin Olay Sıra Çizgelerine (ESG) nasıl dönüştürüleceğine ilişkin bir yöntem önerilmiştir ve bunun kullanımını örnekleyen bir vaka çalışması sunulmuştur. Ayrıca bu makalede diğer modellerden dönüşümle elde edilen ESG modelinden test kümelerinin üretilmesi ve çalıştırılmasını içeren bir yaklaşım tanıtılmıştır. Deneysel çalışmalar öne sürülen bu yaklaşımın uygun ve etkili olduğunu göstermiştir. Bu kapsamda ESG'den elde edilen 20 mutant için öne sürülen yaklaşım en yüksek seviyede mutasyon skoru sonucunu vermiştir. Ayrıca gerçek bir sistem için gerçekleştirilen deneysel çalışmalar, ESG modelinden elde edilen test kümelerinin daha kompakt ve hata yakalamada daha başarılı olduğunu göstermektedir.
2021 15th Turkish National Software Engineering Symposium (UYMS), 2021
MUTATION ANALYSIS OF SPECIFICATION-BASED CONTRACTS IN SOFTWARE TESTING Software used in fields su... more MUTATION ANALYSIS OF SPECIFICATION-BASED CONTRACTS IN SOFTWARE TESTING Software used in fields such as medicine, finance, aviation and aerospace, nuclear power etc. is required to be reliable. Any software failures in these fields may have catastrophic consequences such as human and financial losses, which may cause a great damage to the economy and to social well-being. Hence, before launching, software should be rigorously tested. Testing can uncover the conditions, which software cannot handle. Those conditions might be overlooked during development. So, software testing points to the faults in the software under development to be patched. The important element of software testing is the use of the adequate test cases. If the outcome of the test case is positive, that means testing did not reveal any fault, then this test case might be considered as inefficient and useless for the tested version of software. Therefore, it is important to check test cases on adequacy, which can be achieved by mutation analysis. This thesis focuses on checking the adequacy of the test cases for Decision-Table-augmented Event Sequence Graphs (ESG-DTs) representation of a system under test by using mutation analysis. Test cases are represented in the Complete Event Sequence (CES) and Faulty CES (FCES) forms. This thesis presents a new set of mutation operators for mutation of contracts represented in Multi-Terminal Binary Decision Diagram (MTBDD). This thesis introduces a new approach for mutation of the ESG-DT model by using the proposed MTBDD mutation operators. The proposed approach is evaluated on three cases. The results for all cases show the drawback of specific FCES test sequences and the relationship between the mutant detection by CES/FCES sequences and proposed mutation operators.
/ Table of Contents.- Eroffnungssitzung / Opening Session.- Software Fault Tolerance in Safety-Cr... more / Table of Contents.- Eroffnungssitzung / Opening Session.- Software Fault Tolerance in Safety-Critical Applications.- Vertrauenswurdige Systeme / Dependable Systems.- Biased Programming Faults - How to Overcome Them?.- Sicherheitsgerichtete speicherprogrammierbare Steuerung mit TUV-Prufung.- Verlusttolerante elektronische Brieftaschen.- Design Issues in High Performance Fault-Tolerant Multicomputers.- Hardware-Implementierte Fehlertoleranz / Hardware-Implemented Fault Tolerance.- Mutabor - An Intelligent Memory Management Unit for an Object Oriented Architecture Supporting Error Recovery.- Fault-Tolerant VLSI Processor.- Testerzeugung / Test Generation.- Fault Detection By Consumption Measurement in CMOS Circuits.- MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation.- Expertensysteme und Testerzeugung / Expert Systems and Test Generation.- NEOCRIB: An Expert Fault Finding System that Articulates the Competence of Field Engineers.- Knowledge Based Tools for Testability Checking.- Test Pattern Obtainment from Algorithmic Descriptions.- Efficient Test Generation for Register Transfer Level Descriptions.- Selbsttest / Self-Test.- Experiments with Transient Fault Upsets in Microprocessor Controllers.- Universal Test Controller Chip for Board Self Test.- Systematische Erweiterung der Selbsttestmoglichkeiten von Baugruppen mit Mikroprozessoren.- Systemdiagnose und Fehlerbehebung / System Diagnosis and Error Recovery.- Ein Diagnoseverfahren fur Systeme mit mehreren Verarbeitungseinheiten.- Investigation of Distributed Algorithms for System Self-Diagnosis.- Rollback Recovery in Multiprocessor Ring Configurations.- Fehlertolerante Kommunikationssysteme / Fault-Tolerant Communication Systems.- Modelling Interrupt Based Interprocessor Communication by Time Petri Nets.- Ein Verfahren zur Fehlerausgrenzung und Fehlertolerierung in busorientierten Rechensystemen.- Reliable Multicast Protocols for a Token Ring Architecture.- Software-Fehlertoleranz und -Zuverlassigkeit / Software Fault Tolerance and Software Reliability.- A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software.- A System Architecture for Software Fault Tolerance.- Quantitative Assessment of Fault-Tolerant Software Architecture.- Another Software Reliability Prediction Model.- Zuverlassigkeitsbewertung / Reliability Evaluation.- The Distribution of Computer Life after Tolerable Faults.- Maximal Availability of Tree-Structured Fault-Tolerant Systems.- Fehlerbehandlung in verteilten Systemen / Error Processing in Distributed Systems.- Fehlertoleranz-Aspekte in Transaktionssystemen.- A Reliable and Efficient Synchronization Protocol for Database Sharing Systems.- Fault Tolerance based on Time-Staggered Redundancy.- Fault-Tolerant Distributed Real-Time Systems: MARS.- Anwendungen / Applications.- An Automated Material Flow Control System on a Fault-Tolerant Computer System for an Industrial Serial Manufacturer - A Report upon Practical Experience.- Konzept und Einsatzerfahrung mit Marathon/32 und RELIANCE.- Systeme I / Systems I.- LOGISIRE, a Safe Computer System for Process Automation.- Ausfallsicheres Betriebs- und Wartungszentrum BSE.- Systeme II / Systems II.- A Fault-Tolerant Multiple Processor for Front-End Process Control.- Autorenverzeichnis / Author Index.
An ideal test is supposed to show not only the presence of bugs but also their absence. Based on ... more An ideal test is supposed to show not only the presence of bugs but also their absence. Based on the Fundamental Test Theory of Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach to model-based ideal testing of hardware description language (HDL) programs based on their behavioral model. Test sequences are generated from both original (fault-free) and mutant (faulty) models in the sense of positive and negative testing, forming a holistic test view. These test sequences are then executed on original (fault-free) and mutant (faulty) HDL programs, in the sense of mutation testing. Using the techniques known from automata theory, test selection criteria are developed and formally show that they fulfill the major requirements of Fundamental Test Theory , that is, reliability and validity. The current paper comprises a preparation step (consisting of the sub-steps model construction, model mutation, model conversion, and test generation) and a composition step (consisting of the sub-steps pre-selection and construction of Ideal test suites). All the steps are supported by a toolchain that is already implemented and is available online. To critically validate the proposed approach, three case studies (a sequence detector, a traffic light controller, and a RISC-V processor) are used and the strengths and weaknesses of the approach are discussed. The proposed approach achieves the highest mutation score in positive and negative testing for all case studies in comparison with two existing methods (regular expression-based test generation and context-based random test generation), using four different techniques.
2009 23rd IEEE/NPSS Symposium on Fusion Engineering, 2009
A new architecture has been developed for the ENEA-Frascati neutron/gamma Digital Pulse Shape Dis... more A new architecture has been developed for the ENEA-Frascati neutron/gamma Digital Pulse Shape Discrimination (DPSD) system. The system (FPGA-based, 200 MSamples/s, 14 bit ADC resolution) has been upgraded to 4 input channels; higher versatility has been obtained through the implementation of a soft processor in the FPGA. The FPGA-embedded processor enables to create software programs written in plain C to control the hardware: simple set-up and modification of hardware parameters and real time data distribution over the standard Ethernet network are now available.
Model-based testing of large systems usually requires decomposition of the model into hierarchica... more Model-based testing of large systems usually requires decomposition of the model into hierarchical submodels for generating test sequences, which fulfills the goals of module testing, but not those of system testing. System testing requires test sequences be generated from a fully resolved model, which necessitates refining the toplevel model, that is, by replacing its elements with submodels they represent. If the depth of model hierarchy is high, the number of test sequences along with their length increases resulting in high test costs. For solving this conflict, a novel approach is introduced that generates test sequences based on the top-level model and replaces elements of these sequences by corresponding, optimized test sequences generated by the submodels. To compensate the shortcoming at test accuracy, the present approach selects components that have lowering impact on the overall system reliability. The objective is to increase the reliabilities of these critical components by intensive testing and appropriate correction which, as a consequence, also increases the overall reliability at less test effort without losing accuracy. An empirical study based on a large web-based commercial system is performed to validate the approach and analyze its characteristics, and to discuss its strengths and weaknesses.
Both DE and telehealth systems provide remote access to services, supported by digital technology... more Both DE and telehealth systems provide remote access to services, supported by digital technology infrastructure. Both systems aim to enhance the quality of service for remote communities that may otherwise not have access to expert knowledge or support. Unlike DE, which has been employing technology to support and teach students remotely for some time, telehealth is relatively new, with no standard technological tools. This paper describes opportunities for re-use of IT systems employed in DE into telehealth applications, where the "student" and "educator" in the DE domain may be replaced by the "patient" and "remote health care provider" respectively in the telehealth domain. We consider similarities and differences between the requirements of patients vs. students, and the requirements of the remote health care provider vs. the educator. This investigation into the similarities of DE and telehealth exposes potential for the exploitation of DE systems and expertise that already exists and is readily available. Such resources may speed the employment of such technological tools for supporting patients remotely, increasing the options available for both health care professionals and patients.
Uploads
Papers by Fevzi Belli