Zobrazeno 1 - 10
of 109
pro vyhledávání: '"Mats P. E. Heimdahl"'
Publikováno v:
IEEE Transactions on Software Engineering. 47:279-299
Symbolic model checkers can construct proofs of properties over highly complex models. However, the results reported by the tool when a proof succeeds do not generally provide much insight to the user. It is often useful for users to have traceabilit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2041fa9f1d61bebc9efcd6481f75dd27
https://doi.org/10.1109/tse.2019.2891709
https://doi.org/10.1109/tse.2019.2891709
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030839024
SAFECOMP
SAFECOMP
Safety analysis is used to ensure that critical systems operate within some level of safety when failures are present. As critical systems become more dependent on software components, it becomes more challenging for safety analysts to comprehensivel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc2a613080723c0a1150e1935292594f
https://doi.org/10.1007/978-3-030-83903-1_17
https://doi.org/10.1007/978-3-030-83903-1_17
Autor:
Mats P. E. Heimdahl, Danielle Stewart, Darren Cofer, Michael Peterson, Michael W. Whalen, Jing Liu
Publikováno v:
Reliability Engineering & System Safety. 213:107649
Model-based engineering tools are increasingly being used for system-level development of safety-critical systems. Architectural and behavioral models provide important information that can be leveraged to improve the system safety analysis process.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd03e6e616deb37dc07cfb5739cb3af7
https://doi.org/10.1016/j.ress.2021.107649
https://doi.org/10.1016/j.ress.2021.107649
Publikováno v:
IEEE Transactions on Software Engineering. 43:531-555
The test oracle —a judge of the correctness of the system under test (SUT)—is a major component of the testing process. Specifying test oracles is challenging for some domains, such as real-time embedded systems, where small changes in timing or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::441553366a2df1a05c481ad5ae14e634
https://doi.org/10.1109/tse.2016.2615311
https://doi.org/10.1109/tse.2016.2615311
Publikováno v:
RE
Reference models such as Parnas' four-variable model, Jackson's and Zaves' world machine model, and Gunther et al.'s WRSPM model abstractly define and relate key artifacts in requirements engineering. Such reference models are intended to serve as a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d3a635fc04c77d906d00437d489b93c
https://doi.org/10.1109/re.2019.00028
https://doi.org/10.1109/re.2019.00028
Publikováno v:
WASPI@ESEC/SIGSOFT FSE
Complex computer-controlled systems are commonly constructed in a middle-out fashion where existing subsystems and available components have a significant influence on system architecture and drive design decisions. During system design, the architec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad9f4ca465ecfe2ab01dad767dd493d5
https://doi.org/10.1145/3278177.3278179
https://doi.org/10.1145/3278177.3278179
Publikováno v:
IEEE Transactions on Software Engineering. 41:1119-1137
The choice of test oracle—the artifact that determines whether an application under test executes correctly—can significantly impact the effectiveness of the testing process. However, despite the prevalence of tools that support test input select
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0cbbc9c92a2054705f022001d5024ba3
https://doi.org/10.1109/tse.2015.2436920
https://doi.org/10.1109/tse.2015.2436920
Publikováno v:
IEEE Design & Test. 32:66-73
Editor’s notes: Safety critical systems such as cruise control in automotive systems and variable rate bolus in medical device infusion pumps introduce complexity and reduce the flexibility of incremental code modifications. This paper proposes a g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::208cc4cbd55ef3ddba37378ea4637a1b
https://doi.org/10.1109/mdat.2015.2462112
https://doi.org/10.1109/mdat.2015.2462112
Publikováno v:
IEEE Transactions on Software Engineering. 41:803-819
A number of structural coverage criteria have been proposed to measure the adequacy of testing efforts. In the avionics and other critical systems domains, test suites satisfying structural coverage criteria are mandated by standards. With the advent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7625e2d810e98f458f438db1905b4b33
https://doi.org/10.1109/tse.2015.2421011
https://doi.org/10.1109/tse.2015.2421011
Publikováno v:
ISSRE
Object-branch coverage (OBC) is often used as a measure of the thoroughness of tests suites, augmenting or substituting source-code based structural criteria such as branch coverage and modified condition/decision coverage (MC/DC). In addition, with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::632ff6afaf1ad30a3b6ac9b676f93935
https://doi.org/10.1109/issre.2017.33
https://doi.org/10.1109/issre.2017.33