Relevant bibliographies by topics / Modified Condition Decision Coverage

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Modified Condition Decision Coverage'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Modified Condition Decision Coverage.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Modified Condition Decision Coverage"

1

Szűgyi, Zalán, and Zoltán Porkoláb. "Necessary test cases for Decision Coverage and Modified Condition / Decision Coverage." Periodica Polytechnica Electrical Engineering 52, no. 3-4 (2008): 187. http://dx.doi.org/10.3311/pp.ee.2008-3-4.07.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Chilenski, John Joseph, and Steven P. Miller. "Applicability of modified condition/decision coverage to software testing." Software Engineering Journal 9, no. 5 (1994): 193. http://dx.doi.org/10.1049/sej.1994.0025.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jones, J. A., and M. J. Harrold. "Test-suite reduction and prioritization for modified condition/decision coverage." IEEE Transactions on Software Engineering 29, no. 3 (2003): 195–209. http://dx.doi.org/10.1109/tse.2003.1183927.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hong, Wei-jiang, Yi-jun Liu, Zhen-bang Chen, Wei Dong, and Ji Wang. "Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution." Frontiers of Information Technology & Electronic Engineering 21, no. 9 (2020): 1267–84. http://dx.doi.org/10.1631/fitee.1900213.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jena, Ajay Kumar, Santosh Kumar Swain, and Durga Prasad Mohapatra. "Model-Based Test-Suite Minimization using Modified Condition/Decision Coverage (MC/DC)." International Journal of Software Engineering and Its Applications 9, no. 5 (2015): 61–74. http://dx.doi.org/10.14257/ijseia.2015.9.5.07.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Godboley, Sangharatna, Arpita Dutta, Durga Prasad Mohapatra, and Rajib Mall. "J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis." Computer Standards & Interfaces 50 (February 2017): 1–17. http://dx.doi.org/10.1016/j.csi.2016.09.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Godboley, Sangharatna, Arpita Dutta, Durga Prasad Mohapatra, and Rajib Mall. "Scaling modified condition/decision coverage using distributed concolic testing for Java programs." Computer Standards & Interfaces 59 (August 2018): 61–86. http://dx.doi.org/10.1016/j.csi.2018.02.005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Nayak, Gayatri, and Mitrabinda Ray. "Modified condition decision coverage criteria for test suite prioritization using particle swarm optimization." International Journal of Intelligent Computing and Cybernetics 12, no. 4 (2019): 425–43. http://dx.doi.org/10.1108/ijicc-04-2019-0038.

Full text
Abstract:
Purpose Test suite prioritization technique is the process of modifying the order in which tests run to meet certain objectives. Early fault detection and maximum coverage of source code are the main objectives of testing. There are several test suite prioritization approaches that have been proposed at the maintenance phase of software development life cycle. A few works are done on prioritizing test suites that satisfy modified condition decision coverage (MC/DC) criteria which are derived for safety-critical systems. The authors know that it is mandatory to do MC/DC testing for Level A type software according to RTCA/DO178C standards. The paper aims to discuss this issue. Design/methodology/approach This paper provides a novel method to prioritize the test suites for a system that includes MC/DC criteria along with other important criteria that ensure adequate testing. Findings In this approach, the authors generate test suites from the input Java program using concolic testing. These test suites are utilized to measure MC/DC% by using the coverage calculator algorithm. Now, use MC/DC% and the execution time of these test suites in the basic particle swarm optimization technique with a modified objective function to prioritize the generated test suites. Originality/value The proposed approach maximizes MC/DC% and minimizes the execution time of the test suites. The effectiveness of this approach is validated by experiments on 20 moderate-sized Java programs using average percentage of fault detected metric.
APA, Harvard, Vancouver, ISO, and other styles
9

White, A. L. "Comments on the probability model for the modified condition∕decision coverage method of testing software." IEE Proceedings - Software 150, no. 1 (2003): 3. http://dx.doi.org/10.1049/ip-sen:20030202.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Godboley, Sangharatna, Arpita Dutta, and Durga Prasad Mohapatra. "Green DRCT." International Journal of Knowledge Discovery in Bioinformatics 7, no. 1 (2017): 14–29. http://dx.doi.org/10.4018/ijkdb.2017010102.

Full text
Abstract:
Being a good software testing engineer, one should have the responsibility towards environment sustainability. By using green principles and regulations, we can perform Green Software Testing. In this paper, we present a new approach to enhance Branch Coverage and Modified Condition/Decision Coverage uses concolic testing. We have proposed a novel transformation technique to improve these code coverage metrics. We have named this new transformation method Double Refined Code Transformer (DRCT). Then, using JoulMeter, we compute the power consumption and energy consumption in this testing process. We have developed a tool named Green-DRCT to measure energy consumption while performing the testing process.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Modified Condition Decision Coverage"

1

Dupuy, Arnaud (Arnaud Guillaume) 1973. "Safety-critical software testing in airborne systems : the modified condition/decision coverage criterion." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/9478.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1999.<br>Includes bibliographical references (p. 112-113).<br>In order to be certified by the FAA, airborne software must comply with the D0-178B standard. For the unit testing of safety-critical software, this standard requires the testing process to meet a strong source code structure coverage criterion, referred to as Modified Condition/Decision Coverage criterion. This part of the standard is controversial in the aviation community, in particular because the coverage criterion is apparently not related to the safety of the software. In this thesis, we follow the letter of the D0-1788 standard to perform the unit testing of the Attitude Control Sy stem of the HETE-2 satellite. This allowed us to gain some insights on the D0- 1788 testing procedure, and to prove that in the case of the considered software, this method was well adapted.<br>by Arnaud Dupuy.<br>S.M.
APA, Harvard, Vancouver, ISO, and other styles
2

Holm, Oscar. "Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-161335.

Full text
Abstract:
The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. We identify critical problems and trends when certifying safety critical software and propose a proof-of-concept using static analysis, model checking and incremental SAT solving as a contribution towards solving the identified problems. We present quantitative execution times and code coverage results of our proposed solution. The proposed solution is developed under the assumptions of safety critical software standards and compared to other studies proposing similar methods. Lastly, we conclude the issues and advantages of our proof-of-concept in perspective of the software developer community
APA, Harvard, Vancouver, ISO, and other styles
3

Li, Bo-Hsi, and 李柏羲. "Analysis of a Greedy-Based Algorithm for Modified Condition/Decision Coverage Criteria in Software Testing." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/41407838991294235012.

Full text
Abstract:
碩士<br>國立清華大學<br>資訊系統與應用研究所<br>100<br>In general, regression testing plays an important role in software testing which can offer help to minimize test suite size or rearrange the test cases. In software regression testing, the code coverage of target program is a crucial factor while we perform test case reduction and prioritization. Modified Condition/Decision Coverage (MC/DC) is one of the most strict and high-accuracy criterion in code coverage. In previous research, Hayhurst et al proposed a method to implement the MC/DC criterion. However, there might be some flaws when using Hayhurst’s method to select test cases. In this study, we will give some examples to indicate the importance of some test cases which are considered as redundant test cases. Then we describe how to enhance Hayhurst’s method with a greedy-based algorithm. Finally, we perform an experiment with four target programs from three different sites to verify our proposed method, and further prove the construct, internal and external validity of our experiment.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Modified Condition Decision Coverage"

1

J, Hayhurst Kelly, and Langley Research Center, eds. A practical tutorial on modified condition/decision coverage. National Aeronautics and Space Administration, Langley Research Center, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

J, Hayhurst Kelly, and Langley Research Center, eds. A practical tutorial on modified condition/decision coverage. National Aeronautics and Space Administration, Langley Research Center, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Modified Condition Decision Coverage"

1

Kitamura, Takashi, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, and Angelo Gargantini. "Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving." In Developments in Language Theory. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-99130-6_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Vilkomir, Sergiy A., and Jonathan P. Bowen. "Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing." In ZB 2002:Formal Specification and Development in Z and B. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45648-1_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Zielosko, Beata. "Optimization of Decision Rules Relative to Coverage—Comparison of Greedy and Modified Dynamic Programming Approaches." In Advances in Intelligent Systems and Computing. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23437-3_55.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ras, Zbigniew W., and Elzbieta M. Wyrzykowska. "Extended Action Rule Discovery Based on Single Classification Rules and Reducts." In Database Technologies. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-058-5.ch142.

Full text
Abstract:
Action rules can be seen as logical terms describing knowledge about possible actions associated with objects that are hidden in a decision system. Classical strategy for discovering them from a database requires prior extraction of classification rules that next are evaluated, pair by pair, with a goal to build a strategy of action based on condition features, in order to get a desired effect on a decision feature. An actionable strategy is represented as a term r = [(w) ? (a?b)]?[f?y], where ?, a, ß, f, and ? are descriptions of events. The term r states that when the fixed condition ? is satisfied and the changeable behavior (a?ß) occurs in objects represented as tuples from a database, so does the expectation (f??). With each object, a number of actionable strategies can be associated, and each one of them may lead to different expectations and the same to different reclassifications of objects. This chapter will focus on a new strategy of construction of action rules directly from single classification rules instead of pairs of classification rules. This way we do not only gain on the simplicity of the method of action rules construction, but also on its time complexity. The chapter will present a modified tree-based strategy for constructing action rules, followed by a new simplified strategy of constructing them. Finally, these two strategies will be compared.
APA, Harvard, Vancouver, ISO, and other styles
5

T. Chakrapani, Anoop. "Biomarkers of Diseases: Their Role in Emergency Medicine." In Neurodegenerative Diseases - Molecular Mechanisms and Current Therapeutic Approaches. IntechOpen, 2021. http://dx.doi.org/10.5772/intechopen.94509.

Full text
Abstract:
Biomarkers have been playing an increasingly significant role in clinical decision making processes worldwide. Numerous studies are being undertaken across the globe in the elusive search for the ideal biomarker for each clinical condition. In the emergency department, where rapid diagnosis of various diseases like acute coronary syndromes, pulmonary embolism, heart failure, sepsis, acute renal failure etc. is of utmost importance, specific biomarkers can expedite the time to diagnosis and treatment. To enumerate, the following biomarkers have proved their worth within the setting of emergency departments across the world. The role of cardiac troponins and CK-MB has been well established in the clinical algorithms to detect myocardial infarction. Newer markers like Heart Fatty Acid Binding Protein (H-FABP), BNP, Pro BNP as well as Ischemia modified albumin (IMA) are coming into the fray in the detection of cardiovascular emergencies, especially in the detection of heart failure. Novel biomarkers like Mid-region Proadrenomedullin (MR-proADM) are found to be useful in sepsis along with Tumour necrosis factor-alpha (TNF-alpha), Interleukins and Presepsin in burns patients. Human neutrophil gelatinase-associated lipocalin (NGAL) levels can detect renal failure much earlier than conventional methods. S100 calcium binding protein B (S100B) has been found to be useful in detection of CNS injury and hence can be used to avoid unnecessary radiation to patients in the form of CT scans. Point of care testing of many of these biomarkers in the Emergency department itself paves way for a revolutionary step in faster emergency care delivery and better patient outcomes.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Modified Condition Decision Coverage"

1

Whalen, Michael, Gregory Gay, Dongjiang You, Mats P. E. Heimdahl, and Matt Staats. "Observable modified condition/decision coverage." In 2013 35th International Conference on Software Engineering (ICSE). IEEE, 2013. http://dx.doi.org/10.1109/icse.2013.6606556.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Salem, Mohamed A., and Kerstin I. Eder. "Modified Condition Decision Coverage: A Hardware Verification Perspective." In 2013 14th International Workshop on Microprocessor Test and Verification (MTV). IEEE, 2013. http://dx.doi.org/10.1109/mtv.2013.16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

El qortobi, Mounia, Amine Rahj, Jamal Bentahar, and Rachida Dssouli. "Test Generation Tool for Modified Condition/Decision Coverage." In SITA'20: Theories and Applications. ACM, 2020. http://dx.doi.org/10.1145/3419604.3419628.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Godboley, Sangharatna, G. S. Prashanth, D. P. Mohapatro, and B. Majhi. "Increase in Modified Condition/Decision Coverage using program code transformer." In 2013 3rd IEEE International Advanced Computing Conference (IACC 2013). IEEE, 2013. http://dx.doi.org/10.1109/iadcc.2013.6514432.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Godboley, S., G. S. Prashanth, D. P. Mohapatra, and B. Majhi. "Enhanced modified condition/decision coverage using exclusive-nor code transformer." In 2013 International Multi-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s). IEEE, 2013. http://dx.doi.org/10.1109/imac4s.2013.6526469.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Paul, Tanay Kanti, and Man Fai Lau. "A systematic literature review on modified condition and decision coverage." In SAC 2014: Symposium on Applied Computing. ACM, 2014. http://dx.doi.org/10.1145/2554850.2555004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Li, Bo-His, and Chin-Yu Huang. "A Greedy-Based Method for Modified Condition/Decision Coverage Testing Criterion." In 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS). IEEE, 2017. http://dx.doi.org/10.1109/srds.2017.33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fan, Xin, Wei Zheng, Fengyu Yang, and Qijun Liang. "Test Data Automatic Generation Based on Modified Condition/Decision Coverage Criteria." In 2015 International Conference on Computer Science and Intelligent Communication. Atlantis Press, 2015. http://dx.doi.org/10.2991/csic-15.2015.69.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Prabhu, J., N. Malmurugan, G. Gunasekaran, and R. Gowtham. "Study of ERP Test-Suite Reduction Based on Modified Condition/Decision Coverage." In 2010 Second International Conference on Computer Research and Development. IEEE, 2010. http://dx.doi.org/10.1109/iccrd.2010.77.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chang, Jun-Ru, Chin-Yu Huang, and Po-Hsi Li. "An Investigation of Classification-Based Algorithms for Modified Condition/Decision Coverage Criteria." In 2012 International Conference on Software Security and Reliability Companion. IEEE, 2012. http://dx.doi.org/10.1109/sere-c.2012.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Modified Condition Decision Coverage"

1

Suir, Glenn, Christina Saltus, and Sam Jackson. Remote Assessment of Swamp and Bottomland Hardwood Habitat Condition in the Maurepas Diversion Project Area. Engineer Research and Development Center (U.S.), 2021. http://dx.doi.org/10.21079/11681/41563.

Full text
Abstract:
This study used high spatial resolution satellite imagery to identify and map Bottomland Hardwood (BLH) BLH and swamp within the Maurepas Diversion Project area and use Light Detection and Ranging (Lidar) elevation data, vegetation indices, and established stand-level thresholds to evaluate the condition of forested habitat. The Forest Condition methods and data developed as part of this study provide a remote sensing-based supplement to the field-based methods used in previous studies. Furthermore, several advantages are realized over traditional methods including higher resolution products, repeatability, improved coverage, and reduced effort and cost. This study advances previous methods and provides products useful for informing ecosystem decision making related to environmental assessments.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Modified Condition Decision Coverage' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography