TR201716836A2 - Bi̇r elektroni̇k ci̇haz i̇çi̇n bi̇r yazilim güncellemesi̇ni̇ test etmeye yöneli̇k yöntem - Google Patents
Bi̇r elektroni̇k ci̇haz i̇çi̇n bi̇r yazilim güncellemesi̇ni̇ test etmeye yöneli̇k yöntem Download PDFInfo
- Publication number
- TR201716836A2 TR201716836A2 TR2017/16836A TR201716836A TR201716836A2 TR 201716836 A2 TR201716836 A2 TR 201716836A2 TR 2017/16836 A TR2017/16836 A TR 2017/16836A TR 201716836 A TR201716836 A TR 201716836A TR 201716836 A2 TR201716836 A2 TR 201716836A2
- Authority
- TR
- Turkey
- Prior art keywords
- device feature
- electronic device
- feature combinations
- software update
- testing
- Prior art date
Links
- 238000012360 testing method Methods 0.000 title abstract 4
- 238000000034 method Methods 0.000 title abstract 3
- 230000007704 transition Effects 0.000 abstract 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
Mevcut açıklama, birden çok farklı cihaz özellik kombinasyonu ile kullanıma hazır olan bir elektronik cihaz için bir yazılım güncellemesini test etmeye yönelik bir yöntem ile ilgilidir. Yöntem elektronik cihazın muhtemel cihaz özellik kombinasyonlarını temsil eden bir temel sonlu durum makinesi, FSM, içeren bir model oluşturulmasını (S102), muhtemel cihaz özellik kombinasyonları arasından bir veya daha fazla birincil cihaz özellik kombinasyonunun belirlenmesini (S104) ve bir veya daha fazla birincil cihaz özellik kombinasyonunun her biri için aşağıdaki adımların gerçekleştirilmesini içermektedir: ilgili birincil cihaz özellik kombinasyonunu içermeyen cihaz özellik kombinasyonları ile ilişkili temel FSM arasındaki geçiş olasılıklarının 0 vasıtasıyla temel FSM nın oluşturulması (S108) ve oluşturulan bir veya daha fazla test vakasıyla ilişkili olarak elektronik cihaz için yazılım güncellemesine ilişkin bir veya daha fazla test gerçekleştirilmesi (S110).
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
EP17198294.5A EP3477484A1 (en) | 2017-10-25 | 2017-10-25 | Method for testing a software update for an electronic device |
Publications (1)
Publication Number | Publication Date |
---|---|
TR201716836A2 true TR201716836A2 (tr) | 2019-05-21 |
Family
ID=60182475
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
TR2017/16836A TR201716836A2 (tr) | 2017-10-25 | 2017-10-31 | Bi̇r elektroni̇k ci̇haz i̇çi̇n bi̇r yazilim güncellemesi̇ni̇ test etmeye yöneli̇k yöntem |
Country Status (2)
Country | Link |
---|---|
EP (1) | EP3477484A1 (tr) |
TR (1) | TR201716836A2 (tr) |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP3070611A1 (en) * | 2015-03-18 | 2016-09-21 | Vestel Elektronik Sanayi ve Ticaret A.S. | Statistical model-based test design for effective test case generation |
-
2017
- 2017-10-25 EP EP17198294.5A patent/EP3477484A1/en not_active Withdrawn
- 2017-10-31 TR TR2017/16836A patent/TR201716836A2/tr unknown
Also Published As
Publication number | Publication date |
---|---|
EP3477484A1 (en) | 2019-05-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2015130675A3 (en) | Apparatus and method for testing computer program implementation against a design model | |
MY182572A (en) | Method and apparatus for wireless charging | |
WO2016054352A3 (en) | System for electrically testing mobile devices at a consumer-operated kiosk, and associated devices and methods | |
WO2016164680A3 (en) | Automated model development process | |
EP3107017A3 (en) | Scalable methods for analyzing formalized requirements and localizing errors | |
WO2013181344A3 (en) | Modular alternator and starter tester with a four link hood hinge | |
EP2816554A3 (en) | Method of executing voice recognition of electronic device and electronic device using the same | |
EP2755112A3 (en) | Method and portable terminal for providing a haptic effect | |
GB2546666A (en) | Optical computing device diagnostics and treatment | |
TR201907737T4 (tr) | Test numunesi desteği ve çarpışma testi aparatı ve destek kullanılarak yapısal elemanın çarpışma testi yöntemi. | |
GB2573708A (en) | Automated well-log correlation using descriptors | |
EA201792424A1 (ru) | Сжатие модели | |
IN2014DN08430A (tr) | ||
JP2019501552A5 (ja) | ケーブリング試験結果をケーブリング試験構成と照合するためのシステム及びクラウドベースのコンピュータサーバ | |
JP2016518745A5 (tr) | ||
EP3532846A4 (en) | METHOD FOR REUSE OF A TEST PROBE AND REAGENTS IN AN IMMUNOASSAY BASED ON INTERFEROMETRY | |
TR201716836A2 (tr) | Bi̇r elektroni̇k ci̇haz i̇çi̇n bi̇r yazilim güncellemesi̇ni̇ test etmeye yöneli̇k yöntem | |
EP2829974A3 (en) | Memory dump method, information processing apparatus and program | |
EP3040730A3 (en) | Apparatus for testing semiconductor chip having built-in self test function | |
TW200632704A (en) | Tester simulation system and tester simulation method using same | |
TR201719203A2 (tr) | Bi̇r elektroni̇k ci̇hazin test edi̇lmesi̇ne yöneli̇k tekni̇k | |
JP2020003282A5 (tr) | ||
US20140331088A1 (en) | Computer and method for testing electronic device | |
TR201718978A2 (tr) | Bir Elektronik Cihazın Test Edilmesi Yöntemi | |
RU2017109705A (ru) | Способ тестирования |