In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS relia...In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model （MMFSQM）. Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.展开更多
For a more accurate and comprehensive assessment of the trustworthiness of component-based soft- ware system, the fuzzy analytic hierarchy process is introduced to establish the analysis model. Combine qualitative and...For a more accurate and comprehensive assessment of the trustworthiness of component-based soft- ware system, the fuzzy analytic hierarchy process is introduced to establish the analysis model. Combine qualitative and quantitative analyses, the impacts to overall trustworthiness by the different types of components are distinguished. Considering the coupling relationship between components, dividing the system into several layers from target layer to scheme layer, evaluating the scheme advantages disadvantages by group decision-making, the trustworthiness of a typical J2EE structured component-based software is assessed. The trustworthiness asses model of the software components provides an effective methods of operation.展开更多
Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debuggin...Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.展开更多
In view of the problems and the weaknesses of component-based software （ CBS ） reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliabili...In view of the problems and the weaknesses of component-based software （ CBS ） reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliability process analysis model is proposed incorporating debugging time delay, im- perfect debugging and limited debugging resources. CBS integration testing is formulated as a multi- queue muhichannel and finite server queuing model （MMFSQM） to illustrate fault detection process （FDP） and fault correction process （FCP）. A unified FCP is sketched, given debugging delay, the diversities of faults processing and the limitations of debugging resources. Furthermore, the impacts of imperfect debugging on fault detection and correction are explicitly elaborated, and the expres- sions of the cumulative number of fault detected and corrected are illustrated. Finally, the results of numerical experiments verify the effectiveness and rationality of the proposed model. By comparison, the proposed model is superior to the other models. The proposed model is closer to real CBS testing process and facilitates software engineer＇ s quantitatively analyzing, measuring and predicting CBS reliability. K展开更多
Masked data are the system failure data when exact component causing system failure might be unknown.In this paper,the mathematical description of general masked data was presented in software reliability engineering....Masked data are the system failure data when exact component causing system failure might be unknown.In this paper,the mathematical description of general masked data was presented in software reliability engineering.Furthermore,a general maskedbased additive non-homogeneous Poisson process(NHPP) model was considered to analyze component reliability.However,the problem of masked-based additive model lies in the difficulty of estimating parameters.The maximum likelihood estimation procedure was derived to estimate parameters.Finally,a numerical example was given to illustrate the applicability of proposed model,and the immune particle swarm optimization(IPSO) algorithm was used in maximize log-likelihood function.展开更多
In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and...In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and non-functional requirements. A component's failure would lead a developer to look for some other alternative of combinations of COTS, in-house and engineered components among possible candidate combinations. This means design itself can readily change. The very process of design of a software system and component selection seems to be heavily dependent on testing results. Instability of design, further, becomes more severe due to requirements change requests. Therefore, this instability of design has to be essentially mitigated by using proper design and testing approaches, otherwise, it may lead to exorbitantly high testing cost due to the repeated testing of various alternatives. How these three activities: Component-based software design, component selection and component-based software testing are interrelated? What process model is most suited to address this concern? This work explores the above questions and their implication in terms of nature of a process model that can be convincing in case of component-based software development.展开更多
Computer software has been becoming more and more c om plex with the development of hardware. Thus, how to efficiently develop extensib le, maintainable and adaptable software occurs to be an urgent problem. The comp ...Computer software has been becoming more and more c om plex with the development of hardware. Thus, how to efficiently develop extensib le, maintainable and adaptable software occurs to be an urgent problem. The comp onent-based software development technique is a better method to solve the prob lem. In this paper, we first discuss the concept, description method and some fa miliar styles of software architecture, and then analyze the merits of using the software architecture to guide the software development. We also present a gene ral design method for component. Its applications are finally provided.展开更多
Component-based software reuse (CBSR) has been widely used in software developing practice and has an even more brilliant future with the rapid extension of the Internet, because World Wide Web (WWW) makes the large s...Component-based software reuse (CBSR) has been widely used in software developing practice and has an even more brilliant future with the rapid extension of the Internet, because World Wide Web (WWW) makes the large scale of component resources from different vendors become available to software developers. In this paper, an abstract component model suitable for representing components on WWW is proposed, which plays important roles both in achieving interoperability among components and among reusable component libraries (RCLs). Some necessary changes to many aspects of component management brought by WWW are also discussed, such as the classification of components and the corresponding searching methods, and the certification of components.展开更多
This paper suggests a component-based software development framework for 3rd party logistics (3PL) business. This framework integrates two engineering methodologies in order to identify the most reusable software comp...This paper suggests a component-based software development framework for 3rd party logistics (3PL) business. This framework integrates two engineering methodologies in order to identify the most reusable software components that can be used in several types of 3PL business models. UML (Unified Modeling Language) is used to design lower-level software components and DEMO (Design and Engineering Methodology for Organization), one of the business engineering methodologies based on the communication theory, is used to identify core business processes for 3PL business models. By using the methodologies, we develop a 3PL management solution by applying the framework into a C2C type of 3PL business model, specifically the door-to-door (D2D) service.展开更多
A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at...A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at improving the flexibility and reliability of the control system. On the basis of describing the concepts of component-based software and the distributed object technology, the architecture of the component-based software of the control system is suggested with the Common Object Request Broker Architecture (CORBA). And then, we propose a design method for component-based distributed & hierarchical flexible manufacturing control system. Finally, to verify the software design method, a prototype flexible manufacturing control system software has been implemented in Orbix 2.3c, VC + + 6. 0 and has been tested in connection with the physical flexible manufacturing shop at the WuXi Professional Institute.展开更多
According to the morphological structure characteristics of plants, the de- velopment mode for component-based virtual plants software was put forward, and the internal structure of plant organs component under this m...According to the morphological structure characteristics of plants, the de- velopment mode for component-based virtual plants software was put forward, and the internal structure of plant organs component under this mode were analyzed, thereby, the overall design mode for virtual plants software was given out, and its characteristics were estimated. Compared with traditional development modes of virtual plants software, component-based virtual plants software had significant advantages in code reusing, development efficiency and expansion of software functions.展开更多
Since most of the available component-based software reliability models consume high computational cost and suffer from the evaluating complexity for the software system with complex structures,a component-based back-...Since most of the available component-based software reliability models consume high computational cost and suffer from the evaluating complexity for the software system with complex structures,a component-based back-propagation reliability model(CBPRM)with low complexity for the complex software system reliability evaluation is presented in this paper.The proposed model is based on the artificial neural networks and the component reliability sensitivity analyses.These analyses are performed dynamically and assigned to the neurons to optimize the reliability evaluation.CBPRM has a linear increasing complexity and outperforms the state-based and the path-based reliability models.Another advantage of CBPRM over others is its robustness.CBPRM depends on the component reliabilities and the correlative sensitivities,which are independent from the software system structure.Based on the theory analysis and experiment results,it shows that the complexity of CBPRM is evidently lower than the contrast models and the reliability evaluating accuracy is acceptable when the software system structure is complex.展开更多
With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent ...With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.展开更多
In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially...In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially student contributors)in open source software(OSS)communities.Leveraging natural language processing,code semantic understanding,and learner profiling,the system functions as an intelligent tutor to scaffold three core competency domains:contribution guideline interpretation,project architecture comprehension,and personalized task matching.By transforming traditional onboarding barriers-such as complex contribution documentation and opaque project structures-into interactive learning journeys,OSSerCopilot enables newcomers to complete their first OSS contribution more easily and confidently.This paper highlights how LLM technologies can redefine software engineering education by bridging the gap between theoretical knowledge and practical OSS participation,offering implications for curriculum design,competency assessment,and sustainable OSS ecosystem cultivation.A demonstration video of the system is available at https://figshare.com/articles/media/OSSerCopilot_Introduction_mp4/29510276.展开更多
Heavy-ion collisions(HICs)is a unique experimental tool for investigating the properties of nuclear matter under extreme conditions in the laboratory.At HIRFL-CSR energies,HICs can create nuclear matter with 2-3 times...Heavy-ion collisions(HICs)is a unique experimental tool for investigating the properties of nuclear matter under extreme conditions in the laboratory.At HIRFL-CSR energies,HICs can create nuclear matter with 2-3 times the saturation density(ρ_(0)).The HIRFL-CSR external-target experiment(CEE)is a large-acceptance spectrometer designed to explore frontier topics in high-energy nuclear physics,such as the QCD phase structure and nuclear matter equation of states.In this letter,we introduce simulation and analysis software for the CEE experiment(CeeROOT).Based on the CEE conceptual design and CeeROOT software,the configurations of its subdetectors were optimized by considering foreseeable physical constraints.The final detector layout of the CEE spectrometer and its acceptances were validated through simulations of U+U collisions at 500 MeV/u and pp collisions at 2.8 GeV,which demonstrated that the CEE experiment will serve as a detector with wide acceptance and multi-particle identification capabilities for studying high-energy nuclear physics topics at HIRFL-CSR energies with pp,pA,and A A collisions.展开更多
While parametric Software Reliability Growth Models(SRGMs)serve as a cornerstone in software reliability assessment,their reliance on known fault-detection time distributions often presents a significant limitation in...While parametric Software Reliability Growth Models(SRGMs)serve as a cornerstone in software reliability assessment,their reliance on known fault-detection time distributions often presents a significant limitation in practical software testing.In this study,the authors develop a novel shaperestricted spline estimator for quantifying software reliability.Compared with parametric SRGMs,the proposed estimator not only shares a key characteristic with parametric SRGMs,but also obviates the need for specifying fault-detection time distributions.More importantly,it effectively utilizes the critical shape information of the mean value function(MVF)of fault-detection process,a detail seldom considered in prior work.Moreover,the authors investigate the predictive performance of the proposed methods by employing the so-called one-step look-ahead prediction method.Furthermore,the authors show that under certain conditions,the shape-restricted spline estimator will attain the point-wise convergence rate O_P(n~(-3/7)).In numerical experiment,the authors show that spline estimators under restriction demonstrate competitive performance compared to parametric and certain non-parametric models.展开更多
In the modern era of ubiquitous and highly interconnected information technology,cybersecurity threats stemming from software code vulnerabilities have become increasingly severe,posing significant risks to the confid...In the modern era of ubiquitous and highly interconnected information technology,cybersecurity threats stemming from software code vulnerabilities have become increasingly severe,posing significant risks to the confidentiality,integrity,and availability of modern information systems.To enhance software code quality,enterprises often integrate static code analysis tools into Continuous Integration(CI) pipelines.However,the high rates of false positives and false negatives remain a challenge.The advent of large language models(LLMs),such as ChatGPT,presents a new opportunity to address these challenges.In this paper,we propose AI-SCDF,a framework that utilizes the custombuilt Nebula-Coder AI model for detecting and fixing code security issues in real time during the developer ' s personal build process.We construct a static code checking rule knowledge base through summarizing and classifying Common Weakness Enumeration(CWE) code security problems identified by security and quality assurance teams.The rule knowledge base is combined with CodeFuse-processed code contexts to serve as input for an AI code security detection microservice,which assists in identifying code quality and security issues.If any abnormalities are detected,they are addressed by an AI code security patching microservice,which alerts the developer and requests confirmation before committing the code into the repository.Experimental results show that our approach effectively improves code quality.We also develop a VS Code plugin for code alert detection and fix based on LLMs,which facilitates test shift-left and lowers the risk of software development.展开更多
With the advent of the AI era,how can students effectively utilize generative AI large models to assist in course learning?At the same time,how can teachers utilize generative AI tools and the teaching concept of OBE ...With the advent of the AI era,how can students effectively utilize generative AI large models to assist in course learning?At the same time,how can teachers utilize generative AI tools and the teaching concept of OBE to stimulate students’innovative consciousness and teamwork ability,enabling students to identify some problems in a certain industry or field and creatively propose feasible solutions,and truly achieve the cultivation of new models in software engineering course teaching with the assistance of generative AI tools?This paper presents research and practice on a new model for cultivating software engineering courses that integrates generative AI and OBE,introduces the specific process of teaching reform and practice,and finally explains the achievements of teaching reform.展开更多
The rapid development of new-quality productive forces(NQPF)has intensified the demand for high-level innovative talent.As a representative of NQPF,generative artificial intelligence(GenAI)offers powerful tools to res...The rapid development of new-quality productive forces(NQPF)has intensified the demand for high-level innovative talent.As a representative of NQPF,generative artificial intelligence(GenAI)offers powerful tools to reshape talent cultivation but also presents significant challenges,including skill hollowing,ethical risks,and a growing disconnect between education and industry needs.Currently,graduate-level software engineering education struggles with outdated curricula and insufficient alignment with practical demands.In this paper,we propose a dual-core collaborative framework driven by“GenAI technology”and“industry demand”.Under this framework,we design a four-dimensional capability development path to enhance graduate students’innovation in software engineering practice.This path focuses on①scientific research innovation,②engineering problem-solving,③cross-domain collaborative evolution,and④ethical risk governance.The proposed approach promotes a shift from traditional knowledge transfer to human-machine collaborative innovation,aligning talent cultivation with the demands of the NQPF.展开更多
The rapid development of artificial intelligence(AI)has placed significant pressure on universities to rethink how they train software engineering students.Tools like GitHub Copilot can now generate basic code in seco...The rapid development of artificial intelligence(AI)has placed significant pressure on universities to rethink how they train software engineering students.Tools like GitHub Copilot can now generate basic code in seconds.This raises important questions:What is the value of traditional programming education?What role should instructors play when AI becomes a powerful teaching assistant?How should the goals of software engineering programs change as companies increasingly use AI to handle coding tasks?This paper explores the key challenges AI brings to software engineering education and proposes practical strategies for updating talent development models to meet these changes.展开更多
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Nature Science Foundation of China(No.60503015,90818016)
文摘In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model （MMFSQM）. Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.
基金Sponsored by the National High Technology Research and Development Program of China ("863"Program) (2009AA01Z433)
文摘For a more accurate and comprehensive assessment of the trustworthiness of component-based soft- ware system, the fuzzy analytic hierarchy process is introduced to establish the analysis model. Combine qualitative and quantitative analyses, the impacts to overall trustworthiness by the different types of components are distinguished. Considering the coupling relationship between components, dividing the system into several layers from target layer to scheme layer, evaluating the scheme advantages disadvantages by group decision-making, the trustworthiness of a typical J2EE structured component-based software is assessed. The trustworthiness asses model of the software components provides an effective methods of operation.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Natural ScienceFoundation of China(No.60503015)+1 种基金the National Key R&D Program of China(No.2013BA17F02)the Shandong Province Science andTechnology Program of China(No.2011GGX10108,2010GGX10104)
文摘Against the deficiencies of component-based software(CBS) reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point(CP) problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model(MMISQM) is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.
基金Supported by the National High Technology Research and Development Program of China(No.2008AA01A201)the National Natural Science Foundation of China(No.60503015)+1 种基金the National Key R&D Program of China(No.2013BA17F02)the Shandong Province Science and Technology Program of China(No.2011GGX10108,2010GGX10104)
文摘In view of the problems and the weaknesses of component-based software （ CBS ） reliability modeling and analysis, and a lack of consideration for real debugging circumstance of integration tes- ting, a CBS reliability process analysis model is proposed incorporating debugging time delay, im- perfect debugging and limited debugging resources. CBS integration testing is formulated as a multi- queue muhichannel and finite server queuing model （MMFSQM） to illustrate fault detection process （FDP） and fault correction process （FCP）. A unified FCP is sketched, given debugging delay, the diversities of faults processing and the limitations of debugging resources. Furthermore, the impacts of imperfect debugging on fault detection and correction are explicitly elaborated, and the expres- sions of the cumulative number of fault detected and corrected are illustrated. Finally, the results of numerical experiments verify the effectiveness and rationality of the proposed model. By comparison, the proposed model is superior to the other models. The proposed model is closer to real CBS testing process and facilitates software engineer＇ s quantitatively analyzing, measuring and predicting CBS reliability. K
基金Technology Foundation of Guizhou Province,China(No.QianKeHeJZi[2015]2064)Scientific Research Foundation for Advanced Talents in Guizhou Institue of Technology and Science,China(No.XJGC20150106)Joint Foundation of Guizhou Province,China(No.QianKeHeLHZi[2015]7105)
文摘Masked data are the system failure data when exact component causing system failure might be unknown.In this paper,the mathematical description of general masked data was presented in software reliability engineering.Furthermore,a general maskedbased additive non-homogeneous Poisson process(NHPP) model was considered to analyze component reliability.However,the problem of masked-based additive model lies in the difficulty of estimating parameters.The maximum likelihood estimation procedure was derived to estimate parameters.Finally,a numerical example was given to illustrate the applicability of proposed model,and the immune particle swarm optimization(IPSO) algorithm was used in maximize log-likelihood function.
文摘In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and non-functional requirements. A component's failure would lead a developer to look for some other alternative of combinations of COTS, in-house and engineered components among possible candidate combinations. This means design itself can readily change. The very process of design of a software system and component selection seems to be heavily dependent on testing results. Instability of design, further, becomes more severe due to requirements change requests. Therefore, this instability of design has to be essentially mitigated by using proper design and testing approaches, otherwise, it may lead to exorbitantly high testing cost due to the repeated testing of various alternatives. How these three activities: Component-based software design, component selection and component-based software testing are interrelated? What process model is most suited to address this concern? This work explores the above questions and their implication in terms of nature of a process model that can be convincing in case of component-based software development.
文摘Computer software has been becoming more and more c om plex with the development of hardware. Thus, how to efficiently develop extensib le, maintainable and adaptable software occurs to be an urgent problem. The comp onent-based software development technique is a better method to solve the prob lem. In this paper, we first discuss the concept, description method and some fa miliar styles of software architecture, and then analyze the merits of using the software architecture to guide the software development. We also present a gene ral design method for component. Its applications are finally provided.
文摘Component-based software reuse (CBSR) has been widely used in software developing practice and has an even more brilliant future with the rapid extension of the Internet, because World Wide Web (WWW) makes the large scale of component resources from different vendors become available to software developers. In this paper, an abstract component model suitable for representing components on WWW is proposed, which plays important roles both in achieving interoperability among components and among reusable component libraries (RCLs). Some necessary changes to many aspects of component management brought by WWW are also discussed, such as the classification of components and the corresponding searching methods, and the certification of components.
文摘This paper suggests a component-based software development framework for 3rd party logistics (3PL) business. This framework integrates two engineering methodologies in order to identify the most reusable software components that can be used in several types of 3PL business models. UML (Unified Modeling Language) is used to design lower-level software components and DEMO (Design and Engineering Methodology for Organization), one of the business engineering methodologies based on the communication theory, is used to identify core business processes for 3PL business models. By using the methodologies, we develop a 3PL management solution by applying the framework into a C2C type of 3PL business model, specifically the door-to-door (D2D) service.
基金Supported by National High Technology Development plan(Item No.:2001AA412250)and Shanghai Science & Technology Development Project(Item No.:02FK04)
文摘A new method that designs and implements the component-based distributed & hierarchical flexible manufacturing control software is described with a component concept in this paper. The proposed method takes aim at improving the flexibility and reliability of the control system. On the basis of describing the concepts of component-based software and the distributed object technology, the architecture of the component-based software of the control system is suggested with the Common Object Request Broker Architecture (CORBA). And then, we propose a design method for component-based distributed & hierarchical flexible manufacturing control system. Finally, to verify the software design method, a prototype flexible manufacturing control system software has been implemented in Orbix 2.3c, VC + + 6. 0 and has been tested in connection with the physical flexible manufacturing shop at the WuXi Professional Institute.
基金Supported by the National Natural Science Foundation of China(61062007)the Principal Fund Project of Tarim University,China(TDZKSS201115)~~
文摘According to the morphological structure characteristics of plants, the de- velopment mode for component-based virtual plants software was put forward, and the internal structure of plant organs component under this mode were analyzed, thereby, the overall design mode for virtual plants software was given out, and its characteristics were estimated. Compared with traditional development modes of virtual plants software, component-based virtual plants software had significant advantages in code reusing, development efficiency and expansion of software functions.
基金Supported by the National Natural Science Foundation of China(No.60973118,60873075)
文摘Since most of the available component-based software reliability models consume high computational cost and suffer from the evaluating complexity for the software system with complex structures,a component-based back-propagation reliability model(CBPRM)with low complexity for the complex software system reliability evaluation is presented in this paper.The proposed model is based on the artificial neural networks and the component reliability sensitivity analyses.These analyses are performed dynamically and assigned to the neurons to optimize the reliability evaluation.CBPRM has a linear increasing complexity and outperforms the state-based and the path-based reliability models.Another advantage of CBPRM over others is its robustness.CBPRM depends on the component reliabilities and the correlative sensitivities,which are independent from the software system structure.Based on the theory analysis and experiment results,it shows that the complexity of CBPRM is evidently lower than the contrast models and the reliability evaluating accuracy is acceptable when the software system structure is complex.
基金Computer Basic Education Teaching Research Project of Association of Fundamental Computing Education in Chinese Universities(Nos.2025-AFCEC-527 and 2024-AFCEC-088)Research on the Reform of Public Course Teaching at Nantong College of Science and Technology(No.2024JGG015).
文摘With the rapid development of artificial intelligence,the intelligence level of software is increasingly improving.Intelligent software,which is widely applied in crucial fields such as autonomous driving,intelligent customer service,and medical diagnosis,is constructed based on complex technologies like machine learning and deep learning.Its uncertain behavior and data dependence pose unprecedented challenges to software testing.However,existing software testing courses mainly focus on conventional contents and are unable to meet the requirements of intelligent software testing.Therefore,this work deeply analyzed the relevant technologies of intelligent software testing,including reliability evaluation indicator system,neuron coverage,and test case generation.It also systematically designed an intelligent software testing course,covering teaching objectives,teaching content,teaching methods,and a teaching case.Verified by the practical teaching in four classes,this course has achieved remarkable results,providing practical experience for the reform of software testing courses.
基金supported by the National Natural Science Foundation of China (62202022, 92582204, and 62572030)the Fundamental Research Funds for the Central Universitiesthe exploratory elective projects of the State Key Laboratory of Complex and Critical Software Environments
文摘In the context of large language model(LLM)reshaping software engineering education,this paper presents OSSerCopilot,a LLM-based tutoring system designed to address the critical challenge faced by newcomers(especially student contributors)in open source software(OSS)communities.Leveraging natural language processing,code semantic understanding,and learner profiling,the system functions as an intelligent tutor to scaffold three core competency domains:contribution guideline interpretation,project architecture comprehension,and personalized task matching.By transforming traditional onboarding barriers-such as complex contribution documentation and opaque project structures-into interactive learning journeys,OSSerCopilot enables newcomers to complete their first OSS contribution more easily and confidently.This paper highlights how LLM technologies can redefine software engineering education by bridging the gap between theoretical knowledge and practical OSS participation,offering implications for curriculum design,competency assessment,and sustainable OSS ecosystem cultivation.A demonstration video of the system is available at https://figshare.com/articles/media/OSSerCopilot_Introduction_mp4/29510276.
基金supported by the Strategic Priority Research Program of Chinese Academy of Sciences(No.XDB34030000)the National Natural Science Foundation of China(Nos.11927901 and 12475133)+1 种基金the Youth Team Program in Basic Research Fields Stably Supported by the Chinese Academy of Sciences(No.YSBR-088)the Western Light Project of the Chinese Academy of Sciences。
文摘Heavy-ion collisions(HICs)is a unique experimental tool for investigating the properties of nuclear matter under extreme conditions in the laboratory.At HIRFL-CSR energies,HICs can create nuclear matter with 2-3 times the saturation density(ρ_(0)).The HIRFL-CSR external-target experiment(CEE)is a large-acceptance spectrometer designed to explore frontier topics in high-energy nuclear physics,such as the QCD phase structure and nuclear matter equation of states.In this letter,we introduce simulation and analysis software for the CEE experiment(CeeROOT).Based on the CEE conceptual design and CeeROOT software,the configurations of its subdetectors were optimized by considering foreseeable physical constraints.The final detector layout of the CEE spectrometer and its acceptances were validated through simulations of U+U collisions at 500 MeV/u and pp collisions at 2.8 GeV,which demonstrated that the CEE experiment will serve as a detector with wide acceptance and multi-particle identification capabilities for studying high-energy nuclear physics topics at HIRFL-CSR energies with pp,pA,and A A collisions.
文摘While parametric Software Reliability Growth Models(SRGMs)serve as a cornerstone in software reliability assessment,their reliance on known fault-detection time distributions often presents a significant limitation in practical software testing.In this study,the authors develop a novel shaperestricted spline estimator for quantifying software reliability.Compared with parametric SRGMs,the proposed estimator not only shares a key characteristic with parametric SRGMs,but also obviates the need for specifying fault-detection time distributions.More importantly,it effectively utilizes the critical shape information of the mean value function(MVF)of fault-detection process,a detail seldom considered in prior work.Moreover,the authors investigate the predictive performance of the proposed methods by employing the so-called one-step look-ahead prediction method.Furthermore,the authors show that under certain conditions,the shape-restricted spline estimator will attain the point-wise convergence rate O_P(n~(-3/7)).In numerical experiment,the authors show that spline estimators under restriction demonstrate competitive performance compared to parametric and certain non-parametric models.
文摘In the modern era of ubiquitous and highly interconnected information technology,cybersecurity threats stemming from software code vulnerabilities have become increasingly severe,posing significant risks to the confidentiality,integrity,and availability of modern information systems.To enhance software code quality,enterprises often integrate static code analysis tools into Continuous Integration(CI) pipelines.However,the high rates of false positives and false negatives remain a challenge.The advent of large language models(LLMs),such as ChatGPT,presents a new opportunity to address these challenges.In this paper,we propose AI-SCDF,a framework that utilizes the custombuilt Nebula-Coder AI model for detecting and fixing code security issues in real time during the developer ' s personal build process.We construct a static code checking rule knowledge base through summarizing and classifying Common Weakness Enumeration(CWE) code security problems identified by security and quality assurance teams.The rule knowledge base is combined with CodeFuse-processed code contexts to serve as input for an AI code security detection microservice,which assists in identifying code quality and security issues.If any abnormalities are detected,they are addressed by an AI code security patching microservice,which alerts the developer and requests confirmation before committing the code into the repository.Experimental results show that our approach effectively improves code quality.We also develop a VS Code plugin for code alert detection and fix based on LLMs,which facilitates test shift-left and lowers the risk of software development.
基金supported by the Shanghai Municipal Education Research Project“Exploring the Practical Application of Generative Artificial Intelligence in Cultivating Innovative Thinking and Capabilities of Interdisciplinary Application Technology Talents‘Practice Path’”(C2025299)the university-level postgraduate course project“Software Process Management”(PX-2025251502)of Shanghai Sanda Universitythe key course project at the university level of Shanghai Sanda University,“Introduction to Software Engineering”(PX-5241216).
文摘With the advent of the AI era,how can students effectively utilize generative AI large models to assist in course learning?At the same time,how can teachers utilize generative AI tools and the teaching concept of OBE to stimulate students’innovative consciousness and teamwork ability,enabling students to identify some problems in a certain industry or field and creatively propose feasible solutions,and truly achieve the cultivation of new models in software engineering course teaching with the assistance of generative AI tools?This paper presents research and practice on a new model for cultivating software engineering courses that integrates generative AI and OBE,introduces the specific process of teaching reform and practice,and finally explains the achievements of teaching reform.
基金supported in part by the Graduate Education Reform Research Project of Hubei University of Technology under Grant 2024YB003the Hubei University of Arts and Science,Teaching Research Project,under Grant JY2025018.
文摘The rapid development of new-quality productive forces(NQPF)has intensified the demand for high-level innovative talent.As a representative of NQPF,generative artificial intelligence(GenAI)offers powerful tools to reshape talent cultivation but also presents significant challenges,including skill hollowing,ethical risks,and a growing disconnect between education and industry needs.Currently,graduate-level software engineering education struggles with outdated curricula and insufficient alignment with practical demands.In this paper,we propose a dual-core collaborative framework driven by“GenAI technology”and“industry demand”.Under this framework,we design a four-dimensional capability development path to enhance graduate students’innovation in software engineering practice.This path focuses on①scientific research innovation,②engineering problem-solving,③cross-domain collaborative evolution,and④ethical risk governance.The proposed approach promotes a shift from traditional knowledge transfer to human-machine collaborative innovation,aligning talent cultivation with the demands of the NQPF.
基金supported in part by the Northeastern University’s 2024 Undergraduate Education and Teaching Reform Research Project:Innovation and Practice of Professional Course Teaching Paradigms in the Context of Digital Education.
文摘The rapid development of artificial intelligence(AI)has placed significant pressure on universities to rethink how they train software engineering students.Tools like GitHub Copilot can now generate basic code in seconds.This raises important questions:What is the value of traditional programming education?What role should instructors play when AI becomes a powerful teaching assistant?How should the goals of software engineering programs change as companies increasingly use AI to handle coding tasks?This paper explores the key challenges AI brings to software engineering education and proposes practical strategies for updating talent development models to meet these changes.
